Redian新闻
>
感觉现在中国的工资比美国都高了
avatar
感觉现在中国的工资比美国都高了# Chemistry - 化学
l*t
1
大家好,小弟现在还在OPT,今年4月公司要帮我递H1b申请。但是我现在想申请内部调
动到美国另一个州另一个组。现在就面临以下问题:
1)如果我来不及在4月1日之前换组,那我就让我现在的组给我申请,应该可以马上递上
去。但是假如在4月到10月之间我调动成功了,我需要file一个H1b amendment吗?
2)如果需要的话,会不会影响我已经在4月1日拿到的H1b的quota? 也就是说,等于需要
重新申请一个H1b去占用名额吗?
3)如果我到10月之前OPT都有效的话,理论上是不是我即使内部调动的新office都可以
马上工作呢?
谢谢大家,祝大家新年快乐,万事如意!
avatar
s*u
2
http://learnyouahaskell.com/syntax-in-functions
ex1:
first :: (a, b, c) -> a
first (x, _, _) = x

second :: (a, b, c) -> b
second (_, y, _) = y

third :: (a, b, c) -> c
third (_, _, z) = z
从第一个例子看,_可以match一个single value.
ex2:
head' :: [a] -> a
head' [] = error "Can't call head on an empty list, dummy!"
head' (x:_) = x
从这个例子看,_可以match任意长度的value
到底是single,or任意长度呢?
ex3:
length' :: (Num b) => [a] -> b
length' [] = 0
length' (_:xs) = 1 + length' xs
这里,assume这个_ match一位,而不是任意长度.任意长度被xs来match.为什么不是_
match任意长度,xs来match最后一个single value?
谢谢!
avatar
f*r
3
有没有打算参加九月在woods hole 举行New Optical Methods in Cell Physiology会
的朋友吗?有一个问题想请教一下,就是$675.00的报名费是否包含食宿。 多谢。
avatar
R*k
4
一家猎头公司的广告
继续号外:某中国超大型NB公司招聘人力资源副总HR VP,Prefer男性,35岁以上,须
有来自世界500强(如宝洁,通用,IBM,惠普,西门子,联想等)或大型国企(中国移
动,中国联通)人力资源副总裁或者集团人力资源部总经理级别任职经历。形象气质佳
,身体健康,体力充沛。Package: RMB400万/year 工作地点:北京。
avatar
b*0
5
_可以match一切 与类型长度无关
这个match是构造这个变量的逆过程 应该是有唯一的结果的

【在 s*******u 的大作中提到】
: http://learnyouahaskell.com/syntax-in-functions
: ex1:
: first :: (a, b, c) -> a
: first (x, _, _) = x
:
: second :: (a, b, c) -> b
: second (_, y, _) = y
:
: third :: (a, b, c) -> c
: third (_, _, z) = z

avatar
y*s
6
红果果的年龄歧视
avatar
s*u
7
谢谢!
那么为什么例子3:
ex3:
length' :: (Num b) => [a] -> b
length' [] = 0
length' (_:xs) = 1 + length' xs
underscore是match第一个value,而不是前面所有的values(除了最后一个)?为什么xs来
match可变长度,而不是underscore?
avatar
c*r
8
VP in big pharma $5M and up
avatar
l*e
9

你可以看看这个
http://en.wikibooks.org/wiki/Haskell/Pattern_matching
Pattern match是deconstruct的过程,要一步一步来。冒号是constructor,先match,
然后_和xs再match。_不绑定,xs绑定到list的tail。

【在 s*******u 的大作中提到】
: 谢谢!
: 那么为什么例子3:
: ex3:
: length' :: (Num b) => [a] -> b
: length' [] = 0
: length' (_:xs) = 1 + length' xs
: underscore是match第一个value,而不是前面所有的values(除了最后一个)?为什么xs来
: match可变长度,而不是underscore?

avatar
e*e
10
一般500强的VP400万人刀绝对不止。不过我估计这广告做样子走形势的。

★ 发自iPhone App: ChineseWeb 7.8

【在 c*********r 的大作中提到】
: VP in big pharma $5M and up
avatar
b*0
11
比如说[1,2,3] 就是 1:2:3:[]
match _:xs 就是 1, :, 2:3:[]
如果你要match 1:2, :, 3:[]
你会发现1:2不是一个有效的类型

【在 s*******u 的大作中提到】
: 谢谢!
: 那么为什么例子3:
: ex3:
: length' :: (Num b) => [a] -> b
: length' [] = 0
: length' (_:xs) = 1 + length' xs
: underscore是match第一个value,而不是前面所有的values(除了最后一个)?为什么xs来
: match可变长度,而不是underscore?

avatar
l*t
12
属实。1:2不存在

【在 b********0 的大作中提到】
: 比如说[1,2,3] 就是 1:2:3:[]
: match _:xs 就是 1, :, 2:3:[]
: 如果你要match 1:2, :, 3:[]
: 你会发现1:2不是一个有效的类型

avatar
a*e
13
写成 1 : ( 2 : ( 3 : [] ) ) 就容易理解了,因为 : 操作是 right associative。
Haskell 里面如果用符号做 data constructor 或者 function name,缺省是作为中缀
操作使用的。

【在 b********0 的大作中提到】
: 比如说[1,2,3] 就是 1:2:3:[]
: match _:xs 就是 1, :, 2:3:[]
: 如果你要match 1:2, :, 3:[]
: 你会发现1:2不是一个有效的类型

avatar
s*u
14
thanks for all helps. understand now. key point is :, not _ or xs.
相关阅读
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。