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

发信人: rgg (rgg), 信区: Programming
标  题: Re: Hci, 物理量都是有单位的
发信站: BBS 未名空间站 (Wed May 15 09:44:02 2019, 美东)

F#走下坡路,市场没发展起来很遗憾。

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 哦。找到更晚近的资料了。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等等。
: ...................



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 65.]

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

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

友情链接


 

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

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