当前在线人数7044
首页 - 分类讨论区 - 电脑网络 - 葵花宝典版 -阅读文章
未名交友
[更多]
[更多]
文章阅读:Re: Hci, 物理量都是有单位的
[同主题阅读] [版面: 葵花宝典] [作者:guvest] , 2019年05月15日02:57:21
guvest
进入未名形象秀
我的博客
[上篇] [下篇] [同主题上篇] [同主题下篇]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: Re: Hci, 物理量都是有单位的
发信站: BBS 未名空间站 (Wed May 15 02:57:21 2019, 美东)

哦。找到更晚近的资料了。F sharp里面有。



http://typesatwork.imm.dtu.dk/material/TaW_Paper_TypesAtWork_Kennedy.pdf

这个作者90年代开始搞类型理论和量纲分析。

https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-391.pdf) (文中的dimensional
的意思是中文的“量纲”)

应该是后来加进去F sharp里了。他这个
贴举的例子也是牛顿力学。

其实更早也有数学软件可以用类型来处理物理量的单位的。就是你在程序里可以直接写
1 kg,2 A等等。
但是理论发展一直比较慢。

看来我自己发明的类比,还是有可取之处的。
【 在 guvest(我爱你老婆Anna) 的大作中提到: 】
<br>: 在計算理論這方面,typed lambda calculus 1940年代就有了。無論從學
理順序
,還是
<br>: 歷史順序看,编译器,vm什么的都是在计算理论基础上发展出来的技术。
而不是
反过来。
<br>: 在數學裡面,type theory是羅素為了阻止悖論發明的。那是一戰以前了。
<br>: 類型論和量綱分析的近似類比。是我的發明。不claim正確。
<br>:


--
※ 修改:·guvest 於 May 15 03:06:39 2019 修改本文·[FROM: 47.]
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

[上篇] [下篇] [同主题上篇] [同主题下篇]
[转寄] [转贴] [回信给作者] [修改文章] [删除文章] [同主题阅读] [从此处展开] [返回版面] [快速返回] [收藏] [举报]
 
回复文章
标题:
内 容:

未名交友
将您的链接放在这儿

友情链接


 

Site Map - Contact Us - Terms and Conditions - Privacy Policy

版权所有,未名空间(mitbbs.com),since 1996