c*9
2 楼
已经有绿卡了。
给父母申请B2，以往的797还用给父母准备吗？
给父母申请B2，以往的797还用给父母准备吗？
m*s
3 楼
全是狼来了的消息...就是狼毛也没碰见一根
g*t
4 楼
从基本的原理来讲。物理量都有单位。物理理论允许的世界里，没有纯数。不然就会
允许把一个球的亮度和他的质量相加这样的操作。
所以现存的物理理论，实证了 数据加 “label/类型 ”系统的合理性。你
的论证有可取之处，但是太过宽泛。因为把你的论证当作一个模版，改几个字，就会得
出爱因斯坦是流水线上的工人，高斯是自由的手艺人这样的结论。
允许把一个球的亮度和他的质量相加这样的操作。
所以现存的物理理论，实证了 数据加 “label/类型 ”系统的合理性。你
的论证有可取之处，但是太过宽泛。因为把你的论证当作一个模版，改几个字，就会得
出爱因斯坦是流水线上的工人，高斯是自由的手艺人这样的结论。
b*3
5 楼
用磷酸缓冲液会造成代谢物的leakage。但是不洗却会造成对代谢物分析的干扰。谢谢
！
！
b*t
6 楼
多说，多练。
p*d
7 楼
不用
★ 发自iPhone App: ChineseWeb 8.6
【在 c*****9 的大作中提到】
: 已经有绿卡了。
: 给父母申请B2，以往的797还用给父母准备吗？
★ 发自iPhone App: ChineseWeb 8.6
【在 c*****9 的大作中提到】
: 已经有绿卡了。
: 给父母申请B2，以往的797还用给父母准备吗？
E*o
8 楼
how to unsubscribe?
g*t
9 楼
话说回来。假如一个人认为做数论的比搞物理的更接近于自由的手艺人，也不能说是
mistake。因为这是个决定。也只是个决定。
mistake。因为这是个决定。也只是个决定。
h*r
10 楼
用新鲜培养基洗
m*a
11 楼
我也是很紧张,怎么办
n*i
12 楼
n多邮件，一看就是oos
h*i
13 楼
如RH所说，这些静态类型语言的问题就是没有单位。
静态类型推理能证明的东西，只限于计算机类型，这是个string，这是个list等等，对
人类用户没有任何意义。对人类有意义的名字，都被编译没了。
Clojure 里面，名字是用外显的Keyword 来表示的，不会被编译没了。
静态类型推理能证明的东西，只限于计算机类型，这是个string，这是个list等等，对
人类用户没有任何意义。对人类有意义的名字，都被编译没了。
Clojure 里面，名字是用外显的Keyword 来表示的，不会被编译没了。
b*3
14 楼
那样还是会有污染啊，就是不想有培养基的信号出现。
【在 h**********r 的大作中提到】
: 用新鲜培养基洗
【在 h**********r 的大作中提到】
: 用新鲜培养基洗
n*7
15 楼
同问
【在 E*******o 的大作中提到】
: how to unsubscribe?
【在 E*******o 的大作中提到】
: how to unsubscribe?
g*t
16 楼
把float改名为kg。
把str改名为second。
在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头，你也可以下
棋。
纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由和学问。
发明clojure那
哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大的意义
。物理常数或
者单位把科学世界分为声光电磁热等等。你
不认可这个流水线方法是可以的。但那是个人为的选择，或者偏好。不是自然律，也和
道德律无关。
: 如RH所说，这些静态类型语言的问题就是没有单位。
: 静态类型推理能证明的东西，只限于计算机类型，这是个string，这是个
list等
等，对
: 人类用户没有任何意义。对人类有意义的名字，都被编译没了。
: Clojure 里面，名字是用外显的Keyword 来表示的，不会被编译没了。
【在 h*i 的大作中提到】
: 如RH所说，这些静态类型语言的问题就是没有单位。
: 静态类型推理能证明的东西，只限于计算机类型，这是个string，这是个list等等，对
: 人类用户没有任何意义。对人类有意义的名字，都被编译没了。
: Clojure 里面，名字是用外显的Keyword 来表示的，不会被编译没了。
把str改名为second。
在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头，你也可以下
棋。
纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由和学问。
发明clojure那
哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大的意义
。物理常数或
者单位把科学世界分为声光电磁热等等。你
不认可这个流水线方法是可以的。但那是个人为的选择，或者偏好。不是自然律，也和
道德律无关。
: 如RH所说，这些静态类型语言的问题就是没有单位。
: 静态类型推理能证明的东西，只限于计算机类型，这是个string，这是个
list等
等，对
: 人类用户没有任何意义。对人类有意义的名字，都被编译没了。
: Clojure 里面，名字是用外显的Keyword 来表示的，不会被编译没了。
【在 h*i 的大作中提到】
: 如RH所说，这些静态类型语言的问题就是没有单位。
: 静态类型推理能证明的东西，只限于计算机类型，这是个string，这是个list等等，对
: 人类用户没有任何意义。对人类有意义的名字，都被编译没了。
: Clojure 里面，名字是用外显的Keyword 来表示的，不会被编译没了。
h*r
17 楼
做个新鲜培养基的
control
或者
配个不会造成leakage的
buffer
control
或者
配个不会造成leakage的
buffer
a*a
18 楼
同问
g*t
19 楼
基础的数据类型其实就是个单位。也就是说单位內存可以存幾個這樣類型的對象。
例如int的意思就是1 bit可以存1/8個int。
另外从反方面来讲。确有人认为物理规律应该是无单位的。
尽管没有work out 出来，也算是一门学问。
其实这个问题很有意思。我们想想看，神经网络可以fitting或者预测小的刚体球类型
的游戏的轨迹。它的单位在哪里？
这个问题似乎并不简单。因为神经网络对应的是nest起来的多项式。展开后的多项式，
系数就是单位。
Nest 多项式的系数和展开后的多项式的系数关系，不是线性的。总不能说好几个神经
网络的系数乘起来，共同拥有速度这个单位吧！
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头
，你也
可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由
和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型没有意义
。物理
常数或
: 者单位把科学世界分为声光电磁热等等。你
: 不认可这个流水线方法是可以的。但那是个人为的选择，或者偏好。不是
自然律
，也和
【在 g****t 的大作中提到】
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头，你也可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大的意义
: 。物理常数或
: 者单位把科学世界分为声光电磁热等等。你
例如int的意思就是1 bit可以存1/8個int。
另外从反方面来讲。确有人认为物理规律应该是无单位的。
尽管没有work out 出来，也算是一门学问。
其实这个问题很有意思。我们想想看，神经网络可以fitting或者预测小的刚体球类型
的游戏的轨迹。它的单位在哪里？
这个问题似乎并不简单。因为神经网络对应的是nest起来的多项式。展开后的多项式，
系数就是单位。
Nest 多项式的系数和展开后的多项式的系数关系，不是线性的。总不能说好几个神经
网络的系数乘起来，共同拥有速度这个单位吧！
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头
，你也
可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由
和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型没有意义
。物理
常数或
: 者单位把科学世界分为声光电磁热等等。你
: 不认可这个流水线方法是可以的。但那是个人为的选择，或者偏好。不是
自然律
，也和
【在 g****t 的大作中提到】
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头，你也可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大的意义
: 。物理常数或
: 者单位把科学世界分为声光电磁热等等。你
b*3
20 楼
我就是检测所有代谢物的，所以任何外源无论是细胞外代谢物还是培养基都不希望看到
。所以就在找buffer.
【在 h**********r 的大作中提到】
: 做个新鲜培养基的
: control
: 或者
: 配个不会造成leakage的
: buffer
。所以就在找buffer.
【在 h**********r 的大作中提到】
: 做个新鲜培养基的
: control
: 或者
: 配个不会造成leakage的
: buffer
j*w
21 楼
类型的根本的作用是：决定 operator 的语义。比如 123 + 456 和 123 + "hello" 两
条表达式，同样是 + operator，但是语义完全不同，语义的决定完全取决于两个
operand 的类型。类型存在于语言或者运行环境层面，两者配合决定该如何执行一个运
算。
如果想进一步理解这些，你可以尝试写一个语言的编译器和运行环境 VM，就会明白一
个源码程序是怎样编译，并且在 VM 上面执行，实现语义的。
【在 g****t 的大作中提到】
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头，你也可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大的意义
: 。物理常数或
: 者单位把科学世界分为声光电磁热等等。你
条表达式，同样是 + operator，但是语义完全不同，语义的决定完全取决于两个
operand 的类型。类型存在于语言或者运行环境层面，两者配合决定该如何执行一个运
算。
如果想进一步理解这些，你可以尝试写一个语言的编译器和运行环境 VM，就会明白一
个源码程序是怎样编译，并且在 VM 上面执行，实现语义的。
【在 g****t 的大作中提到】
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头，你也可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大的意义
: 。物理常数或
: 者单位把科学世界分为声光电磁热等等。你
s*n
22 楼
一堆的buffer可以试，Tris, HEPES, etc.
g*t
23 楼
在計算理論這方面，typed lambda calculus 1940年代就有了。無論從學理順序，還是
歷史順序看，编译器，vm什么的都是在计算理论基础上发展出来的技术。而不是反过来。
在數學裡面，type theory是羅素為了阻止悖論發明的。那是一戰以前了。
類型論和量綱分析的近似類比。是我的發明。不claim正確。
: 类型的根本的作用是：决定 operator 的语义。比如 123 456 和 123
"
hello" 两
: 条表达式，同样是 operator，但是语义完全不同，语义的决定完全取
决于两
个
: operand 的类型。类型存在于语言或者运行环境层面，两者配合决定该如
何执行
一个运
: 算。
: 如果想进一步理解这些，你可以尝试写一个语言的编译器和运行环境 VM
，就会
明白一
: 个源码程序是怎样编译，并且在 VM 上面执行，实现语义的。
【在 j*****w 的大作中提到】
: 类型的根本的作用是：决定 operator 的语义。比如 123 + 456 和 123 + "hello" 两
: 条表达式，同样是 + operator，但是语义完全不同，语义的决定完全取决于两个
: operand 的类型。类型存在于语言或者运行环境层面，两者配合决定该如何执行一个运
: 算。
: 如果想进一步理解这些，你可以尝试写一个语言的编译器和运行环境 VM，就会明白一
: 个源码程序是怎样编译，并且在 VM 上面执行，实现语义的。
歷史順序看，编译器，vm什么的都是在计算理论基础上发展出来的技术。而不是反过来。
在數學裡面，type theory是羅素為了阻止悖論發明的。那是一戰以前了。
類型論和量綱分析的近似類比。是我的發明。不claim正確。
: 类型的根本的作用是：决定 operator 的语义。比如 123 456 和 123
"
hello" 两
: 条表达式，同样是 operator，但是语义完全不同，语义的决定完全取
决于两
个
: operand 的类型。类型存在于语言或者运行环境层面，两者配合决定该如
何执行
一个运
: 算。
: 如果想进一步理解这些，你可以尝试写一个语言的编译器和运行环境 VM
，就会
明白一
: 个源码程序是怎样编译，并且在 VM 上面执行，实现语义的。
【在 j*****w 的大作中提到】
: 类型的根本的作用是：决定 operator 的语义。比如 123 + 456 和 123 + "hello" 两
: 条表达式，同样是 + operator，但是语义完全不同，语义的决定完全取决于两个
: operand 的类型。类型存在于语言或者运行环境层面，两者配合决定该如何执行一个运
: 算。
: 如果想进一步理解这些，你可以尝试写一个语言的编译器和运行环境 VM，就会明白一
: 个源码程序是怎样编译，并且在 VM 上面执行，实现语义的。
g*t
24 楼
哦。找到更晚近的资料了。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等等。
但是理论发展一直比较慢。
看来我自己发明的类比，还是有可取之处的。
: 在計算理論這方面，typed lambda calculus 1940年代就有了。無論從學
理順序
，還是
: 歷史順序看，编译器，vm什么的都是在计算理论基础上发展出来的技术。
而不是
反过来。
: 在數學裡面，type theory是羅素為了阻止悖論發明的。那是一戰以前了。
: 類型論和量綱分析的近似類比。是我的發明。不claim正確。
:
【在 g****t 的大作中提到】
: 在計算理論這方面，typed lambda calculus 1940年代就有了。無論從學理順序，還是
: 歷史順序看，编译器，vm什么的都是在计算理论基础上发展出来的技术。而不是反过来。
: 在數學裡面，type theory是羅素為了阻止悖論發明的。那是一戰以前了。
: 類型論和量綱分析的近似類比。是我的發明。不claim正確。
:
:
: 类型的根本的作用是：决定 operator 的语义。比如 123 456 和 123
: "
: hello" 两
:
: 条表达式，同样是 operator，但是语义完全不同，语义的决定完全取
: 决于两
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等等。
但是理论发展一直比较慢。
看来我自己发明的类比，还是有可取之处的。
: 在計算理論這方面，typed lambda calculus 1940年代就有了。無論從學
理順序
，還是
: 歷史順序看，编译器，vm什么的都是在计算理论基础上发展出来的技术。
而不是
反过来。
: 在數學裡面，type theory是羅素為了阻止悖論發明的。那是一戰以前了。
: 類型論和量綱分析的近似類比。是我的發明。不claim正確。
:
【在 g****t 的大作中提到】
: 在計算理論這方面，typed lambda calculus 1940年代就有了。無論從學理順序，還是
: 歷史順序看，编译器，vm什么的都是在计算理论基础上发展出来的技术。而不是反过来。
: 在數學裡面，type theory是羅素為了阻止悖論發明的。那是一戰以前了。
: 類型論和量綱分析的近似類比。是我的發明。不claim正確。
:
:
: 类型的根本的作用是：决定 operator 的语义。比如 123 456 和 123
: "
: hello" 两
:
: 条表达式，同样是 operator，但是语义完全不同，语义的决定完全取
: 决于两
j*w
25 楼
建议改一下，有些物理量没有单位的：
https://en.wikipedia.org/wiki/Dimensionless_physical_constant
【在 g****t 的大作中提到】
: 从基本的原理来讲。物理量都有单位。物理理论允许的世界里，没有纯数。不然就会
: 允许把一个球的亮度和他的质量相加这样的操作。
: 所以现存的物理理论，实证了 数据加 “label/类型 ”系统的合理性。你
: 的论证有可取之处，但是太过宽泛。因为把你的论证当作一个模版，改几个字，就会得
: 出爱因斯坦是流水线上的工人，高斯是自由的手艺人这样的结论。
https://en.wikipedia.org/wiki/Dimensionless_physical_constant
【在 g****t 的大作中提到】
: 从基本的原理来讲。物理量都有单位。物理理论允许的世界里，没有纯数。不然就会
: 允许把一个球的亮度和他的质量相加这样的操作。
: 所以现存的物理理论，实证了 数据加 “label/类型 ”系统的合理性。你
: 的论证有可取之处，但是太过宽泛。因为把你的论证当作一个模版，改几个字，就会得
: 出爱因斯坦是流水线上的工人，高斯是自由的手艺人这样的结论。
g*t
26 楼
物理量我指的是测量出来的东西。用脚就叫foot。
: 建议改一下，有些物理量没有单位的：
: https://en.wikipedia.org/wiki/Dimensionless_physical_constant
【在 j*****w 的大作中提到】
: 建议改一下，有些物理量没有单位的：
: https://en.wikipedia.org/wiki/Dimensionless_physical_constant
: 建议改一下，有些物理量没有单位的：
: https://en.wikipedia.org/wiki/Dimensionless_physical_constant
【在 j*****w 的大作中提到】
: 建议改一下，有些物理量没有单位的：
: https://en.wikipedia.org/wiki/Dimensionless_physical_constant
r*g
27 楼
F#走下坡路，市场没发展起来很遗憾。
dimensional
【在 g****t 的大作中提到】
: 哦。找到更晚近的资料了。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等等。
dimensional
【在 g****t 的大作中提到】
: 哦。找到更晚近的资料了。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等等。
h*i
28 楼
Isomorphism is insufficient for human use. Humans mostly care about identity
. Therefore automatic static typing is too weak to worth the cost it imposes
.
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头，你也
可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大
的意义
: 。物理常数或
: 者单位把科学世界分为声光电磁热等等。你
【在 g****t 的大作中提到】
: 物理量我指的是测量出来的东西。用脚就叫foot。
:
:
: 建议改一下，有些物理量没有单位的：
:
: https://en.wikipedia.org/wiki/Dimensionless_physical_constant
:
. Therefore automatic static typing is too weak to worth the cost it imposes
.
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头，你也
可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没有太大
的意义
: 。物理常数或
: 者单位把科学世界分为声光电磁热等等。你
【在 g****t 的大作中提到】
: 物理量我指的是测量出来的东西。用脚就叫foot。
:
:
: 建议改一下，有些物理量没有单位的：
:
: https://en.wikipedia.org/wiki/Dimensionless_physical_constant
:
h*i
29 楼
Kg cannot be changed into float without losing most of its information,
which is precisely what automatic static typing does.
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头
，你也
可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由
和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没
有太大
的意义
: 。物理常数或
: 者单位把科学世界分为声光电磁热等等。你
【在 g****t 的大作中提到】
: 物理量我指的是测量出来的东西。用脚就叫foot。
:
:
: 建议改一下，有些物理量没有单位的：
:
: https://en.wikipedia.org/wiki/Dimensionless_physical_constant
:
which is precisely what automatic static typing does.
: 把float改名为kg。
: 把str改名为second。
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头
，你也
可以下
: 棋。
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由
和学问。
: 发明clojure那
: 哥们讲的很多东西说实话我觉得他是半懂不懂。或者假装不懂。
: 从使用的角度批评现有的类型系统是一回事。从理论上否定类型我觉得没
有太大
的意义
: 。物理常数或
: 者单位把科学世界分为声光电磁热等等。你
【在 g****t 的大作中提到】
: 物理量我指的是测量出来的东西。用脚就叫foot。
:
:
: 建议改一下，有些物理量没有单位的：
:
: https://en.wikipedia.org/wiki/Dimensionless_physical_constant
:
h*i
30 楼
No response?
This is the crux of the matter.
【在 h*i 的大作中提到】
: Kg cannot be changed into float without losing most of its information,
: which is precisely what automatic static typing does.
:
:
: 把float改名为kg。
:
: 把str改名为second。
:
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头
: ，你也
: 可以下
:
: 棋。
:
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由
This is the crux of the matter.
【在 h*i 的大作中提到】
: Kg cannot be changed into float without losing most of its information,
: which is precisely what automatic static typing does.
:
:
: 把float改名为kg。
:
: 把str改名为second。
:
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头
: ，你也
: 可以下
:
: 棋。
:
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由
h*i
31 楼
最关键的东西不予置评，算不算鸵鸟？
【在 h*i 的大作中提到】
: No response?
: This is the crux of the matter.
【在 h*i 的大作中提到】
: No response?
: This is the crux of the matter.
h*i
32 楼
把“公斤”这个对人类有意义的词编译掉了， 只留下“浮点数”这个计算机类型，这
就是现代类型静态分析干的事，然后号称这就是对保证软件质量最重要的帮助了。
这不是扯鸡巴蛋是什么？
这就是静态类型扇子要让你们相信的扯淡。
【在 h*i 的大作中提到】
: Kg cannot be changed into float without losing most of its information,
: which is precisely what automatic static typing does.
:
:
: 把float改名为kg。
:
: 把str改名为second。
:
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头
: ，你也
: 可以下
:
: 棋。
:
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由
就是现代类型静态分析干的事，然后号称这就是对保证软件质量最重要的帮助了。
这不是扯鸡巴蛋是什么？
这就是静态类型扇子要让你们相信的扯淡。
【在 h*i 的大作中提到】
: Kg cannot be changed into float without losing most of its information,
: which is precisely what automatic static typing does.
:
:
: 把float改名为kg。
:
: 把str改名为second。
:
: 在比较远的代数抽象层上。都是一回事。这就好比把棋子拿掉，换成石头
: ，你也
: 可以下
:
: 棋。
:
: 纯数加上label这个想法,不管这个label是单位或者类型，有自己的理由
g*t
33 楼
我对自己的收获满意了。不需要再参与这些讨论。
等我仔细看看Terrance Tao那个blog，有空再说。
【在 h*i 的大作中提到】
: 最关键的东西不予置评，算不算鸵鸟？
等我仔细看看Terrance Tao那个blog，有空再说。
【在 h*i 的大作中提到】
: 最关键的东西不予置评，算不算鸵鸟？
相关阅读
文献求助！[Career Series]The Business Development Career Track博士学位找公司的research associate 职位行吗？Paper help张谢事件可能反映了国内学术界海归派和本土派的斗争接下来就看张生家的结果能不能被重复了清华想要展示自己是世界一流大学Paolo Sassone-Corsi人怎么样？张鲁谢教你们怎么作人Nature 为谢灿的文章配发的评论求一本电子书说话做事要负责任科学家，音乐家没有国界求点评Cancer Discovery或预测2015 IF关于公司博后请教Customize phospho protein antiobody 哪个公司好啊？致张生家有在gastroenterology投过稿的吗？张贝尔－张，诺贝尔事件起因就是生物界奇葩的发表审稿制度