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

发信人: justnow (阿材), 信区: Programming
标  题: Re: Hci, 物理量都是有单位的
发信站: BBS 未名空间站 (Wed May 15 01:59:32 2019, 美东)

类型的根本的作用是:决定 operator 的语义。比如 123 + 456 和 123 + "hello" 两
条表达式,同样是 + operator,但是语义完全不同,语义的决定完全取决于两个
operand 的类型。类型存在于语言或者运行环境层面,两者配合决定该如何执行一个运
算。

如果想进一步理解这些,你可以尝试写一个语言的编译器和运行环境 VM,就会明白一
个源码程序是怎样编译,并且在 VM 上面执行,实现语义的。

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉,换成石头,你也可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型,有自己的理由和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大的意义
: 。物理常数或
: 者单位把科学世界分为声光电磁热等等。你
: ...................




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

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

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

友情链接


 

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

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