PTT
Submit
Submit
选择语言
正體中文
简体中文
PTT
Gossiping
Re: [问卦] 物件导向的程式语言是废物?
楼主:
ousapas
(komica123)
2022-07-19 06:52:00
图灵奖得主Lesslie Lamport近年来一直在推崇Formal Verification工具
TLA Plus
基本概念就是把软件架构写成数学状态机定义
然后透过Temporal Logic的理论来做到100%的正确性验证
但是TLA Plus没有办法直接转换成应用程式 所以用的人一直不多
基于这个概念微软又开发出了P语言
号称可以兼顾Formal Verification和应用程式开发
https://github.com/p-org/P
继续阅读
Re: [问卦] 政黑版为何一副死气沉沉的样子?
Twinkling
[问卦] 捷运是不是该开放饮食啊?
xxxluke
Re: [问卦] 中坜的优点是啥?
Kenshilo
Re: [问卦] 所谓佛法者即非佛法 j洗虾
xa9277178
Re: [问卦] 这世界上有民主国家发生A党骂B党,A党开
ak47good
[问卦] 有没有了不起的XXX的卦?
iLeyaSin365
[问卦] 嘻嘻~肥宅帮正妹捡到钱有加分吗?
aventardorsv
[新闻] 习近平11月将召见欧洲领导人
kis28519
[问卦] 巴哈站长反对数位中介法
lupin2401
Re: [问卦] 海贼王给的感触,为什么没有火影深?
skylion
Links
booklink
Contact Us: admin [ a t ] ucptt.com