高石的编程杂谈

摘要： 微软公司的f-star语言，是一种函数式语言，可以用于正确性要求很高的代码的设计。 它可以通过工具生成c语言。 可以支持纯函数之类的，有较强的编译期查错的能力。唯一麻烦的，就是不支持循环，要习惯递归才行。 https://fstar-lang.org/ https://github.com/FSta 阅读全文

摘要： 给markdown文件引入位置标签通过这种标签的引入，可以给特定内容，进行结构化，以方便位置引用，比如文档间的需求追溯,比如root/1358。 <!-- { p( id="id1358" ) --> [id1358]Markdown 内容（任意）<!-- p( id="<id1358" ) } - 阅读全文

摘要： 系统构架的层次化用目录和名字映射来模拟，不同的视图，用域来界定，比如: 订单系统.时序图.puml。 系统构架信息本身用.puml文件来描述 系统构架的附加信息用markdown来描述，信息关联都通过文件名和注释来关联。 当然也可以用package 可以用宏 !function来自定义DSL实现扩展 阅读全文

摘要： 这个方案不是官方推荐的方案，但看起来可以达到效果 示例：用 C4 容器图模拟一个简单 DFD plantuml @startuml !include https://raw.githubusercontent.com/plantuml-stdlib/C4-PlantUML/master/C4_Con 阅读全文

摘要： 方法一：时序图 (Sequence Diagram) —— 描述交互细节 这是最直观表达消息传递的方式，非常适合分析业务流程或API调用链路。 表示方法：使用箭头 -> 连接参与者（participant）。 基础语法： plantuml @startuml ' 声明参与者 actor "用户" a 阅读全文

摘要： 用paintuml结合自定义的宏来画，尽量简化。 如下面的示例 @startuml skinparam component { BackgroundColor white BorderColor black FontColor black} !define SYS(x) rectangle x as 阅读全文

摘要： 在PlantUML中表示组件接口非常灵活，主要支持两种标准UML方式：“球-窝”记号和“显式接口”表示法。这里的核心思路是使用 () 语法定义接口，再用不同的连接线来表达“提供”或“需求”关系。 ⚙️ 基础元素：如何定义接口 在PlantUML中，表示接口的基础语法很简洁。 定义接口：通常用一对圆括 阅读全文

摘要： 看了几个实现，完成度都不算高，比如c4模型，paintuml 的4+1 ，以及tect. 实际上还是要以结构为中心，以数据为中心，图形显示只是一个辅助。 这么看起来aadl可能更好一点，但是它那个又太细太窄了。而且同样过分关注图形，虽然去掉了笨重的xml. 结构和markdown文本结合得也不太好， 阅读全文

摘要： 在gitcode上开了一个项目https://gitcode.com/lao1000/SchemaSu 用来方便进行数据格式的描述。 算是xml schema的一个改良版吧。 用来定义数据和数据类型。 阅读全文

摘要： 用来用去，还是sublime text便于码代码，耐看，基本编辑功能也够用。 某些方便性是不如notepad++，但是那个可以临时启动notepad++作为互补，补充。 VSCode很强大，但变成了功能的堆砌，过分强调自动化，而使得最基本的编辑功能反而非常难受。 字体方面 sublime 缺省字体英 阅读全文