跪求几篇文章，包子答谢。 (转载)# Chemistry - 化学
r*e
1 楼
Pending: PERSONALINCOME/PAINDIVLTX $58
has anyone seen this one?
has anyone seen this one?
r*u
2 楼
请问给父母签B2,父母要交他们的出生证吗？还是要交我的出生证？
我的出生证找不到了。一定要去补办吗？或是交公民纸也可以？
我的出生证找不到了。一定要去补办吗？或是交公民纸也可以？
p*2
3 楼
有很大程度都是因为继承搞得吧
s*g
4 楼
【 以下文字转载自 Immigration 讨论区 】
发信人: shanefeng (shane), 信区: Immigration
标 题: 跪求几篇文章，包子答谢。
发信站: BBS 未名空间站 (Wed Nov 13 21:56:57 2013, 美东)
3. Current Nanoscience, Volume 8, Issue 3, Pages 441-450
http://www.benthamdirect.org/pages/content.php?CNANO/2012/00000
发信人: shanefeng (shane), 信区: Immigration
标 题: 跪求几篇文章，包子答谢。
发信站: BBS 未名空间站 (Wed Nov 13 21:56:57 2013, 美东)
3. Current Nanoscience, Volume 8, Issue 3, Pages 441-450
http://www.benthamdirect.org/pages/content.php?CNANO/2012/00000
f*r
5 楼
没听说过需要出生证的，没打算把这个放到LIST里
c*o
6 楼
很多原因了。
第一是为了和java interact, 要是只有FP, 很多type feature都不用，要是只有OO,也
是type feature都不用。要是两个都有，那就不是1+1=2了。
第二是因为本来这个是一个语言研究，想做的高大上, 做的很牛，scala type system
是 turing complete, 理论上是什么都可以实现的一门独立语言。shapeless 就是利用
这个的一个library.
不过，
第一你不会都用到的，不用的就别学了，就学
Abstract Types
Type Bounds
Variances
第二啥自从商业化以后, scala的方向就是越来越简单，下一次大概可能就会砍type
system的feature.
第一是为了和java interact, 要是只有FP, 很多type feature都不用，要是只有OO,也
是type feature都不用。要是两个都有，那就不是1+1=2了。
第二是因为本来这个是一个语言研究，想做的高大上, 做的很牛，scala type system
是 turing complete, 理论上是什么都可以实现的一门独立语言。shapeless 就是利用
这个的一个library.
不过，
第一你不会都用到的，不用的就别学了，就学
Abstract Types
Type Bounds
Variances
第二啥自从商业化以后, scala的方向就是越来越简单，下一次大概可能就会砍type
system的feature.
a*n
7 楼
不需要，那个就是证明他们是你父母的一个证明，要没有就拿其他证明就好了
【在 r**********u 的大作中提到】
: 请问给父母签B2,父母要交他们的出生证吗？还是要交我的出生证？
: 我的出生证找不到了。一定要去补办吗？或是交公民纸也可以？
【在 r**********u 的大作中提到】
: 请问给父母签B2,父母要交他们的出生证吗？还是要交我的出生证？
: 我的出生证找不到了。一定要去补办吗？或是交公民纸也可以？
b*e
8 楼
Haskell's type system 不复杂么？
【在 p*****2 的大作中提到】
: 有很大程度都是因为继承搞得吧
【在 p*****2 的大作中提到】
: 有很大程度都是因为继承搞得吧
c*o
9 楼
比scala的其实简单一些。
【在 b***e 的大作中提到】
: Haskell's type system 不复杂么？
【在 b***e 的大作中提到】
: Haskell's type system 不复杂么？
b*e
10 楼
我个人的感觉是implicit parameters and type/constructor classes其实还是很复杂
的，不过一般人不会deep dive。还有就是GADT。Haskell里面搀的东西太多了。作为教
材是合适的。但是如果有一条实用路的话，还是scala比较接地气。
【在 c******o 的大作中提到】
: 比scala的其实简单一些。
的，不过一般人不会deep dive。还有就是GADT。Haskell里面搀的东西太多了。作为教
材是合适的。但是如果有一条实用路的话，还是scala比较接地气。
【在 c******o 的大作中提到】
: 比scala的其实简单一些。
n*w
11 楼
这两者是不是可以用来实现类似于duck type又是强类型的调用？
【在 b***e 的大作中提到】
: 我个人的感觉是implicit parameters and type/constructor classes其实还是很复杂
: 的，不过一般人不会deep dive。还有就是GADT。Haskell里面搀的东西太多了。作为教
: 材是合适的。但是如果有一条实用路的话，还是scala比较接地气。
【在 b***e 的大作中提到】
: 我个人的感觉是implicit parameters and type/constructor classes其实还是很复杂
: 的，不过一般人不会deep dive。还有就是GADT。Haskell里面搀的东西太多了。作为教
: 材是合适的。但是如果有一条实用路的话，还是scala比较接地气。
b*e
12 楼
你这个说法有点儿意思。一般来讲duck type和strongly typed是不两立的。但是你这
个说法确实有意义。其实GADT的本质是吧runtime type identification变成了一个
first class value。在Java里可以说
o instanceOf Integer
如果用GADT的方式就变成了
o.type == rttiOfInteger
GADT的expressiveness在于等式的右侧可以是variable, like
o.type == rttiOfSomeType
而instanceof的右侧只能是一个type, which is not a first class value。
GADT还有一个好处是type constructor也可以有rtti as first class (higher order)
value。For instance:
o.type == rttiOfArray(rttiOfInteger)
这就是判断o的type是不是[Int]。我印象里Java的rtti由于历史原因无法支持higher
order values。
【在 n*w 的大作中提到】
: 这两者是不是可以用来实现类似于duck type又是强类型的调用？
个说法确实有意义。其实GADT的本质是吧runtime type identification变成了一个
first class value。在Java里可以说
o instanceOf Integer
如果用GADT的方式就变成了
o.type == rttiOfInteger
GADT的expressiveness在于等式的右侧可以是variable, like
o.type == rttiOfSomeType
而instanceof的右侧只能是一个type, which is not a first class value。
GADT还有一个好处是type constructor也可以有rtti as first class (higher order)
value。For instance:
o.type == rttiOfArray(rttiOfInteger)
这就是判断o的type是不是[Int]。我印象里Java的rtti由于历史原因无法支持higher
order values。
【在 n*w 的大作中提到】
: 这两者是不是可以用来实现类似于duck type又是强类型的调用？
w*z
13 楼
我报了个Scala day training， Fast Track to Scala， 应该是给我这种scala 零基
础的
【在 p*****2 的大作中提到】
: 有很大程度都是因为继承搞得吧
础的
【在 p*****2 的大作中提到】
: 有很大程度都是因为继承搞得吧
l*t
14 楼
scala有。可以去看下using的实现
【在 n*w 的大作中提到】
: 这两者是不是可以用来实现类似于duck type又是强类型的调用？
【在 n*w 的大作中提到】
: 这两者是不是可以用来实现类似于duck type又是强类型的调用？
p*2
15 楼
跟我有overlap吗？
【在 w**z 的大作中提到】
: 我报了个Scala day training， Fast Track to Scala， 应该是给我这种scala 零基
: 础的
w*z
16 楼
我周四周五。你住哪？
【在 p*****2 的大作中提到】
:
: 跟我有overlap吗？
【在 p*****2 的大作中提到】
:
: 跟我有overlap吗？
相关阅读
Drug discovery 的high throughput screening data怎么分析呢？ (转载)paper help, please诚恳请求审稿机会，万分感谢！Eastern Analytical SymposiumWhy is N(w higher electronegativity) in NBr3 is the central atom?苯环硝化反应在浓硝酸中加冰醋酸是什么原因啊？paper help找工作这事儿求文献paper help please!paper help (link included)抗议杀光华人网站地址 -- for your conveniencepaper help (Journal of Materials Chemistry)paper help求文献，谢谢！paper help (ChemSusChem)谁知道有什么酶能把polymer切断？为什么老板们宁可从国内招博后过来也不给我们一条活路？Help on synthesizing this product (see attachment)求审稿杂志推荐：化学方向 (转载)8g一个诺贝尔科学奖获得者-他欠我一封感谢信 (转载)