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

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

把float改名为kg。
把str改名为second。
在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉,换成石头,你也可以下
棋。

纯数加上label这个想法,不管这个label是单位或者类型,有自己的理由和学问。

发明clojure那
哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。

从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大的意义
。物理常数或
者单位把科学世界分为声光电磁热等等。你
不认可这个流水线方法是可以的。但那是个人为的选择,或者偏好。不是自然律,也和
道德律无关。


【 在 hci(海螺子) 的大作中提到: 】
<br>: 如RH所说,这些静态类型语言的问题就是没有单位。
<br>: 静态类型推理能证明的东西,只限于计算机类型,这是个string,这是个
list等
等,对
<br>: 人类用户没有任何意义。对人类有意义的名字,都被编译没了。
<br>: Clojure 里面,名字是用外显的Keyword 来表示的,不会被编译没了。
<br>




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

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

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

友情链接


 

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

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