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 的大作中提到】
: 最关键的东西不予置评，算不算鸵鸟？
相关阅读
长生不老药何时能发明？央视关于韩春雨事件的新闻调查到底在调查什么？生物paper真是追求大而全如何把图作的更专业in vitro transcription for short template如何寄动物样品（干冰）到国内？你练到哪一级了？2017年影响因子公布了啊，Cell Systems只有8.4Guest Editor 机会 (Nanoscience/Food and Agriculture science (转载)Sales ManagerScience 投稿状态的变化请问有啥好的clinical database么？如何发表综述文章投稿建议：cell metabolism or NCB。谢谢！咨询肿瘤样品测序的公司，先谢了。生物物理所袁增强文章造假，有人讨论过吗？Biologics Discovery and Development Positions Available at (转载)Invited Review for General publicMitbbs水平挺高的，纯从科学家角度质疑韩春雨转行要慎重