发帖数: 1 | 1 除了F-22，唯一能战胜F-35的一款战机：败在闪电的新世纪海盗——波音X-32
公元2000年9月18日，竞标联合打击战斗机项目（Joint Strike Fighter）的波音X-32A
战斗机首飞，比起其对手X-35的首飞早了一个多月，后续的试飞进度更是遥遥领先X-
35A整整五个月，试飞中的X-32也展现出不错的机动性，此时的X-32一片情势大好，斩
将夺旗成为JSF的胜利者似乎只是时间上的问题……
一眨眼，X-32A首飞已经快要17年了
JSF项目缘起：多项目的综合版
1980年代洛克希德秘密研发的F-117A夜鹰式隐身战斗机在1983年进入美国空军服役后，
为了保持对苏联的空中优势，美国在1984年正式启动了ATF项目（Advanced Tactical
Fighter，先进战术战斗机），该机将做为F-15的后继机，并具有隐身、短场起降、超
音速巡航等能力，而海军则在1986年正式推动ATA项目（Advanced Tactical Aircraft
，先进战术飞机），研发一款具备隐身能力的攻击机，用以取代老旧的A-6，ATA项目推
动后两年，公元1988年，在国防部要求下海... 阅读全帖 |
|
a***n
发帖数: 2632 | 2 （纽约Lambda Legal)报纸Lambda Legal发表了第一份全国范围内的有关LGBT和HIV
感染者的医疗经历问卷调查。
“这份结果可以说很令人震惊。它很清楚地表明当谈到对LGBT和HIV+者来说这个医
疗系统已经坏死。”Beverly Tillery,教育协会主席和本报告的作者之一说。“当
一个人生病和寻求医疗帮助的时候，没有人应该被拒绝或面临歧视。”
2009年春，Lambda Legal和其合作组织在全国对LGBT和HIV病毒携带者发出了这份问
卷。“当医疗不再照管时”（这是问卷的题目）是基于全国5000份回复的问卷，给
出这一针对LGBT和HIV感染者的景况的。
调查包括下面这几种有关医疗歧视的条款：需要帮助时被拒绝;医疗人员拒绝触碰病
人或过度谨慎;医疗人员使用严厉或粗暴的语言；因为自己的病情而指责；或医疗工
作人员举止粗鲁和谩骂。
根据结果，约56%的LGT说至少受到过一种上面的经历；70%的变性人有过一种或多种
上面的经历；而63%以上的HIV感染者经历过一种或更多的医疗歧视行为。 |
|
m******1
发帖数: 19713 | 3 Amazon Gives $25K to Gay Writers
By Advocate.com Editors
LAMBDA LITERARY WRITERS RETREAT X390 (THEM) | ADVOCATE.COM
Amazon.com has signed on to give the organizers behind the Lambda Literary
Awards $25,000 in the form of a grant to support its annual Writer's Retreat
for Emerging LGBT Voices.
The retreat was established in 2007 to give writers access to some of the
top LGBT voices in literature. According to Lambda Literary, the retreat
will take place August 6-13 at the University of California... 阅读全帖 |
|
a*****n
发帖数: 682 | 4 只用过很短时间的python，面试的那家发来一些题目，其中一道是关于python的，能帮
忙解答一下吗？谢谢
There's a problem with the following Python 2.x code, please fix it.
print reduce(lambda x, y: x+y, filter(lambda x: x%2, map(lambda x: x*x,
xrange(10**6)))) = sum(x*x for x in xrange(1, 10**6, 2))
After the fix, what would be printed? Explain the result. |
|
t****a
发帖数: 1212 | 5 这题可以用布尔线性规划来解决。
Define x \in {0, 1}, represent if the package i is selected to fill car 1.
Define variable $y=∑{x_i*w_i}-\frac{∑{w_i}}{2}$
Constraints: abs(y) < lambda, lambda > 0
Objective: minimize lambda
解法，测试数据以及结果参见http://kangtu.me/~kangtu/study/interview.html#sec-16
嗯，实际上只有5行程序来解这个问题。 |
|
b*****o
发帖数: 715 | 6 那还是贴code吧，我算出来是140240。 code很没有效率，要算半分钟～
//////////////////////////////////
import fractions
import time
N = 3
M = 3
def notCollinear(i, j):
a, b = map(lambda x: (x / N, x % N), (i,j))
if abs(fractions.gcd(a[0] - b[0], a[1] - b[1])) > 1:
return False
return True
def adjoin(S):
return reduce(lambda x, y: x + y, S)
def nextRound(pw):
return adjoin(map(lambda x: [x + [i] for i in xrange(N * M)
if not i in x and notCollinear(i,x[-1])], pw))
def findAll():
pw = [[[i] for i in xrang... 阅读全帖 |
|
c**z
发帖数: 669 | 7 10. If you know Python, please answer the following:
There's a problem with the
following Python 2.x code, please fix it.
print reduce(lambda x, y: x+y, filter(lambda x: x%2, map(lambda x: x*x,
xrange
(10**6)))) = sum(x*x for x in xrange(1, 10**6, 2))
After the fix, what would be printed? Explain the result. |
|
y****2
发帖数: 1017 | 8 print reduce(lambda x, y: x+y, filter(lambda x: x%2, map(lambda x: x*x,
xrange(10**6)))) == sum(x*x for x in xrange(1, 10**6, 2))
=号改成==
结果是True
等式两边都是是1~ 10**6 的奇数求和 |
|
d********w
发帖数: 363 | 9 http://dongfei.baijia.baidu.com/article/54768
提到大数据分析平台，不得不说Hadoop系统，Hadoop到现在也超过10年的历史了，很多
东西发生了变化，版本也从0.x进化到目前的2.6版本。我把2012年后定义成后Hadoop平
台时代，这不是说不用Hadoop，而是像NoSQL （Not Only SQL）那样，有其他的选型补
充。我在知乎上也写过Hadoop的一些入门文章 如何学习Hadoop - 董飞的回答，为了给
大家有个铺垫，简单讲一些相关开源组件。
背景篇
Hadoop: 开源的数据分析平台，解决了大数据（大到一台计算机无法进行存储，一台计
算机无法在要求的时间内进行处理）的可靠存储和处理。适合处理非结构化数据，包括
HDFS，MapReduce基本组件。
HDFS：提供了一种跨服务器的弹性数据存储系统。
MapReduce：技术提供了感知数据位置的标准化处理流程：读取数据，对数据进行映射
（Map），使用某个键值对数据进行重排，然后对数据进行化简（Reduce）得到最终的
输出。
Amazon Elastic Map Red... 阅读全帖 |
|
d********w
发帖数: 363 | 10 http://dongfei.baijia.baidu.com/article/54768
提到大数据分析平台，不得不说Hadoop系统，Hadoop到现在也超过10年的历史了，很多
东西发生了变化，版本也从0.x进化到目前的2.6版本。我把2012年后定义成后Hadoop平
台时代，这不是说不用Hadoop，而是像NoSQL （Not Only SQL）那样，有其他的选型补
充。我在知乎上也写过Hadoop的一些入门文章 如何学习Hadoop - 董飞的回答，为了给
大家有个铺垫，简单讲一些相关开源组件。
背景篇
Hadoop: 开源的数据分析平台，解决了大数据（大到一台计算机无法进行存储，一台计
算机无法在要求的时间内进行处理）的可靠存储和处理。适合处理非结构化数据，包括
HDFS，MapReduce基本组件。
HDFS：提供了一种跨服务器的弹性数据存储系统。
MapReduce：技术提供了感知数据位置的标准化处理流程：读取数据，对数据进行映射
（Map），使用某个键值对数据进行重排，然后对数据进行化简（Reduce）得到最终的
输出。
Amazon Elastic Map Red... 阅读全帖 |
|
s**********1
发帖数: 73 | 11 不是已经满了么？估计都不招entry-level？
我实习一直做的Lambda东西，服务很新，很多东西需要完善的=。=估计进去可以学很多
东西==不过感觉on call应该也很重吧
补充==实习不是在Amazon，只是公司开始用Lambda服务而已，把EC2迁移到Lambda |
|
Y********d
发帖数: 1478 | 12
我刚才想了一下，假定我们每个人每个月上网灌水的次数大概服从Poisson分布。
过去半年，我的参数lambda大概是30；
您的参数lambda大概是15；
潮水的参数lambda大概是1500，谁让他上厕所的频率那么高呢？ |
|
L*****e
发帖数: 8347 | 13 发发龙，这句话其实就是“沟代尔（哥德尔）不完备性定理的饶舌表述。下面补充点背
景知识：
1931年，哥德尔还是一个20岁出头的名不见经传的博士生，但是他发表了一篇让数学界
地动山摇的论文。
那个年代，希尔伯特在数学天才比太阳更加光辉夺目，希尔波特成了数学形式主义派的
一杆大旗。希尔伯特认为：借助于形式化的手段，抽掉数学证明中的意义，把数学证明
抽象成一堆无意义的符号转换，就连我们人类赖以自豪的逻辑推导，也不过只是一堆堆
符号转换而已。这样一来，一个我们日常所谓的，带有直观意义和解释的数学系统就变
成了一个纯粹由无意义符号表达的、公理加上推导规则所构成的形式系统，而数学证明
呢，只不过是在这个系统内玩的一个文字游戏。
希尔伯特希望能够证明，在任一个无矛盾的形式系统中所能表达的所有陈述都要么能够
证明要么能够证伪。这看起来是个非常直观的结论，因为一个结论要么是真要么是假，
而它在它所处的领域/系统中当然应该能够证明或证伪了（只要我们能够揭示出该系统
中足够多的真理）。
然而，哥德尔的证明无情的击碎了这一企图，哥德尔的证明揭示出，任何足够强到蕴含
了皮亚诺算术系统（PA）的一致（即无矛盾）的... 阅读全帖 |
|
S***k
发帖数: 370 | 14 似乎是 OO language 同 functional language 的差别.那么在C# 这个OO 里引进
functional programming (Linq) 应该怎样看?
这其实就是编码，在我们现在看来是很显然的，因为一个程序就可以被编码成二进制数
，反过来也可以解码。但是在当时这是一个全新的思想，也是最关键的辅助性工作之一
，另一方面，这正是“程序即数据”的最初想法。以此为前提开放了计算机界最初的两
朵奇葩：一个就是图灵机，另一个是lambda算子。图灵机着重于运算的机械过程（可能
是受小白这个机械系学生的影响^_^)，lambda算子着重于运算的抽象性质。这两朵奇葩
后来又结出了不同类型的程序语言，图灵机的后代是C,C++,Java等等，lambda算子的后
代是Lisp,Scheme,Haskell等等。这些是后话了。 |
|
c******q
发帖数: 2995 | 15 厄.....
请普及指数分布...google了完全不懂...
在概率论和统计学中，指数分布（Exponential distribution）是一种连续概率分布。
指数分布可以用来表示独立随机事件发生的时间间隔，比如旅客进机场的时间间隔、中
文维基百科新条目出现的时间间隔等等。
概率密度函数
一个指数分布的概率密度函数是：
f(x;\lambda) = \left\{\begin{matrix} \lambda e^{-\lambda x} &,\; x \ge 0
, \ 0 &,\; x < 0. \end{matrix}\right.
其中λ > 0是分布的一个参数，常被称为率参数（rate parameter）。指数分布的区间
是[0,∞)。 如果一个随机变量X 呈指数分布，则可以写作：X ~ Exponential（λ）。
然后我更加混乱了... |
|
l*******b
发帖数: 2586 | 16 \frac{\beta}{\lambda} + \frac{\lambda c -\beta}{\lambda^2(P-cL)} |
|
d**********o
发帖数: 1321 | 17 我与Emacs的不解情缘（9）
差不多去年暑假后回学期也学会了自己写macro，贴个前段时间做题时写过的写lc的模
板吧：M-x lc ENT ：
(fset 'lc
[?# ?i ?n ?c ?l ?u ?d ?e ? ?< ?i ?o ?s ?t ?r ?e ?a ?m ?> return ?# ?i ?n
?c ?l ?u ?d ?e ? ?< ?v ?e ?c ?t ?o ?r ?> return ?# ?i ?n ?c ?l ?u ?d ?e ?
?< ?a ?l ?g ?o ?r ?i ?t ?h ?m ?> return ?# ?i ?n ?c ?l ?u ?d ?e ? ?< ?c ?s
?t ?r ?i ?n ?g ?> return ?# ?i ?n ?c ?l ?u ?d ?e ? ?< ?c ?m ?a ?t ?h ?>
return ?# ?i ?n ?c ?l ?u ?d ?e ? ?< ?s ?t ?a ?c ?k ?> return ?# ?i ?n ?c ?l
?u ?d ?e ? ?< ?q ?u ?e ?u ?e ?> retur... 阅读全帖 |
|
d**********o
发帖数: 1321 | 18 我与Emacs的不解情缘（9）
差不多去年暑假后回学期也学会了自己写macro，贴个前段时间做题时写过的写lc的模
板吧：M-x lc ENT ：
(fset 'lc
[?# ?i ?n ?c ?l ?u ?d ?e ? ?< ?i ?o ?s ?t ?r ?e ?a ?m ?> return ?# ?i ?n
?c ?l ?u ?d ?e ? ?< ?v ?e ?c ?t ?o ?r ?> return ?# ?i ?n ?c ?l ?u ?d ?e ?
?< ?a ?l ?g ?o ?r ?i ?t ?h ?m ?> return ?# ?i ?n ?c ?l ?u ?d ?e ? ?< ?c ?s
?t ?r ?i ?n ?g ?> return ?# ?i ?n ?c ?l ?u ?d ?e ? ?< ?c ?m ?a ?t ?h ?>
return ?# ?i ?n ?c ?l ?u ?d ?e ? ?< ?s ?t ?a ?c ?k ?> return ?# ?i ?n ?c ?l
?u ?d ?e ? ?< ?q ?u ?e ?u ?e ?> retur... 阅读全帖 |
|
s******y
发帖数: 28562 | 19 那三篇文章说的和王垠说的根本就不是一回事吧。
第一篇说的是popular descriptions不够准确。注意针对的是“popular”（世俗人）
的一些传说搞错了。
第二篇是一篇科普文，说的是图灵并没有发明计算机（学术界也从来没有人说他发明了
计算机），也是针对世俗人的一些误会进行澄清。
第三篇相当于一个科技历史考察文，对图灵对计算机理论的贡献讲得很清楚，并把图灵
和高斯作比（我觉得这个比方非常的恰当）。
而王垠说的无非就是三件事情：
1。图灵机不如Lambda 计算好用，所以图灵是傻B；
2。计算机学领域里面那么多人居然都没有看出图灵机不如Lambda 计算好用，所以计算
机学领域里面的人全部都是傻B；
3。计算机学会(ACM)居然把他们的大奖用图灵而不用Lambda命名，所以他们是大傻B
所以我还真不觉得他说的有什么道理，俗话常说的半桶水乱晃，在他那里是连半桶水都
没有，就是一个空桶在那里乱敲。
至于我为什么趟这个混水，那是因为他（王）的文章贴得到处都是，想不看到都难。 |
|
x****d
发帖数: 1766 | 20 I guess this is what I heard.
Project Lambda: JSR 335 (Lambda Expressions for the Java™ Programming
Language), http://openjdk.java.net/projects/lambda/
We will see something like these:
(int x, int y) -> x + y
() -> 42
(String s) -> { System.out.println(s); }
with |
|
r*********r
发帖数: 3195 | 21 boost::lambda，但是c++0x proposal 里 lambda exp 和 boost::lambda
不太一样。 |
|
d****n
发帖数: 1637 | 22 q=lambda x:(lambda o=lambda s:[i for i in x if cmp(i,x[0])==s]:len(x)>1
and
q(o(-1))+o(0)+q(o(1)) or x)( )
>>> q([1,23,1,4,1,23,65,6,78,9,234,10])
[1, 1, 1, 4, 6, 9, 10, 23, 23, 65, 78, 234] |
|
t****t
发帖数: 6806 | 23 you can use macro (define OPER as + or -), or use lambda. lambda expression
has nothing to do with performance. in fact, lambda expression is used as
anonymous functor, which keeps performance. |
|
n*w
发帖数: 3393 | 24 就programming language features来说，说抄实在没意义。如果一定说抄，大部分语
言都在抄。
比如java 8准备抄c#的lambda了，实现的syntax将会是一模一样。当然你也可以说c#的
lambda抄了某functionary 的lambda。 |
|
n*w
发帖数: 3393 | 25 不知道python的lambda什么时候有的。
推测最早的lambda是从lisp的。(lambda (arg) (...))
不过java 8的syntax将完全“抄”c#。 |
|
k******a
发帖数: 2436 | 26 来自主题: Programming版 - 关于FP I am baffled by these discussions. You guys need to spend a few minutes with
Lisp to understand what functional programming is. IO are both considered
immutable values and there is no assignment or concept of variables.
C# only introduced lambda as a language feature, which allows run-time
created function instances, not just compile-time. That makes functions
first class data types.
Did java added lambda? I have no knowledge of it. But without a language
level change you can at most get syntax ... 阅读全帖 |
|
p**o
发帖数: 3409 | 27 import struct
import socket
def inet_atoi (ipstr):
""" Converts xxx.xxx.xxx.xxx IPv4 string to a 32-bit int.
"""
#Equivalent pure Python implementations:
#lambda ipstr: reduce(lambda x, y: (x << 8) | y,
# map(int, ipstr.split('.')))
#lambda ipstr: long(''.join("%02x" % int(i)
# for i in ipstr.split('.')), 16)
#
return struct.unpack ("!I", socket.inet_aton (ipstr)) [0]
def inet_itoa (ipint):
""" Converts 32-bit int IPv4... 阅读全帖 |
|
|
p****s
发帖数: 3184 | 29 LISP就是Alonzo Church的Lambda Calculus (Turing Machine的一种等价物）在具体机
器上的incarnation。
当年我老人家的私人研究发现，Lambda Calculus唯一比Turing Machine高明的地方就
是用一个巨简单的Y Combinator给自我复制(clone克隆繁殖)建了模。
所以计算机科学还没有走到对研究自我复制的计算感兴趣的阶段，如果到了那个阶段，
Lambda Calculus, LISP，Scheme这些东西就有用武之地了。
基于LISP的系统，如Emacs，还有个特点，一旦启动不必退出，搞来搞去演变的结果既
是原来的那个东西，又不是原来的那个东西，就像一个人在婴儿阶段，不断吸收外界的
东西，结果二十年后长大成人，和原来那个婴儿的关系是什么？是那个婴儿吃了食物吸
收了人生经验演变出来的成果。一个Emacs你可以开上20年，结果就是你当初刚启动出
来的那个Emacs吃了很多.elisp程序(类似生化食物和人生经验)演变出来的成果。 |
|
G***l
发帖数: 355 | 30 只是另外一种方式，就像牛肉和猪肉没有哪个更好吃一样。
实在不想搞语言坑。这个算是“科普”文吧。fp并不是跟oo对立的，跟什么
declarative，dynamic，script等等更没有一毛钱直接关系。fp说到底就是对lambda
calculus，另外一种可图灵机等价的可计算方式的支持。
lambda calculus和图灵机，也不是哪个更先进。大多程序都是实现各种算法和业务逻
辑。有一些算法和逻辑，用图灵机的方式实现更顺手。而又有不少算法和业务逻辑，如
果能用lambda calculus的方式实现会比传统的状态机好，更易实现，易读，易修改，
不易出错。在那些情况下，fp就能发挥优势。哪怕是C#,Ruby这样非fp的语言，里面加
入了一些简单的fp的支持，都大受欢迎，也说明了这一点。fp以前不流行主要是计算机
硬件是图灵机的方式，于是底层的语言也是图灵机方式，后来渐渐发展流行起来的语言
自然也是图灵机方式。如果计算机程序的应用范围还停留在90年代以前，那现在也不会
有fp的屁事。主要是因为计算机程序渗透到各个领域，越来越多的复杂算法和业务逻辑
的实现和维护的挑战，让人们体会了im... 阅读全帖 |
|
z****e
发帖数: 54598 | 31 恰好我还知道这些个概念
你给zkss pojo是lambda的另外一种形式是怎么来的
匿名类是为了支持lambda还比较make sense
但是pojo跟lambda扯上我还是第一次听说
另外对于高阶函数，用反射不就行了，又不是什么很难的事
表告诉我你不会反射
traits |
|
p*****2
发帖数: 21240 | 32 按照王垠的说法，貌似也就是lambda， JS跟Lisp搭边吧？可是支持lambda的语言也很
多呀。难道JS是第二个支持lambda的语言吗？
Lisp 的语法是世界上最精炼，最美观，也是语法分析起来最高效的语法。这是 Lisp
独一无二的，其他语言都没有的优点。有些人喜欢设计看起来很炫的语法，其实都是自
找麻烦。为什么这么说呢，请参考这篇《谈语法》。
Lisp 是第一个可以在程序的任何位置定义函数，并且可以把函数作为值传递的语言。
这样的设计使得它的表达能力非常强大。这种理念被 Python，JavaScript，Ruby 等语
言所借鉴。
Lisp 有世界上最强大的宏系统（macro system）。这种宏系统的表达力几乎达到了理
论所允许的极限。如果你只见过 C 语言的“宏”，那我可以告诉你它是完全没法跟
Lisp 的宏系统相提并论的。
Lisp 是世界上第一个使用垃圾回收（garbage collection）的语言。这种超前的理念
，后来被 Java，C# 等语言借鉴。 |
|
z****e
发帖数: 54598 | 33 lambda
scala的问题是语法糖太多
以至于可读性下降得太厉害
lambda在java7的时候就已经说要加进去了
但是jcp认为，这个可读性下降太多，加进去之后负面影响大于正面影响
所以打回去要求重新设计
修改后的lambda才被加入，所以版本号就推迟到了8 |
|
a*****e
发帖数: 1700 | 34 指针当然是 first class，但是函数指针不能够方便地组合，比如在 Haskell 里面写
f . g 的结果就是一个新函数，换到 C++ 里面就没有这么方便。
新的 C++ 标准提供了 lambda 语法糖，虽然需要手工指定 environment variable 也
不方便，但我觉得比有些其它语言里的方式要好。
总的来说，lambda 已经进入了主流语言的语法，是一件好事。但大部分非函数语言都
无法提供一个高效的实现。
另外，真正明晰的函数闭包语义需要严格区分 reference 和 value，这点上在
javascript, ruby, python, perl, 包括 swift 里面，都做得不好，甚至不如 C++。
最后的结果就是 lambda 和 closure 不好用，主要用途也都是充当一个回调的语法糖
而已。归根结底还是因为语义不明晰，这些语言设计者还不能够理解函数语言的精髓。 |
|
w***g
发帖数: 5958 | 35 文章作者convert并不能说明什么。要搞programming language的话基本上就得用
haskell。
C++的模板是有类型系统的，现在可能不完善吧，但是至少是可以完善的。
另外C++里的lambda就是语法糖，所有的lambda都可以通过定义一个重载了()方法的类
来实现。本质上就是带一个隐含this指针参数的函数指针。你说的子程序签套运算我怀
疑C++11也可以用库来实现，但都不能避免side effect的问题。
我Google了下FP的定义
In computer science, functional programming is a programming paradigm, a
style of building the structure and elements of computer programs, that
treats computation as the evaluation of mathematical functions and avoids
changing-state and mutable data.
我觉得关键还是avoid c... 阅读全帖 |
|
l******t
发帖数: 55733 | 36 因为lambda里没有变量的位置啊。
你要想吧lambda写的像有变量很容易的。haskell的let，where够你用的。scala直接可
以定义val。当然，let，where的本质还是声明了一个匿名lambda传参。
你要想定义状态，那更完全没问题。用FP定义状态保证比你在过程里声明一堆var好用
维护的多。
如果你非要z=x; x=y;y=z;来做swap，没for(int i =0;)就不会写了。那还是别用fp了
， |
|
z****e
发帖数: 54598 | 37 会依次对比node.js, fp, spring, ejb和vert.x的解决方案，然后自己看哪个最好
从最基本的说起，所有语言都一定会有两个东西
一个是变量，我们用var(variable)来表示
另外一个是方法/函数，用func(function)表示
假设有一个函数和一个变量
var var1;
func func1(){
var1 = 0;
return var1+1;//应该是1
}
那现在如果有多个线程并发
那结果会怎样？
那在func1执行完var1 = 0;之后
就有可能有其他线程插入，把var1改成其他值
比如改成var1 = 2; 或者var1 = "goodbug乱入";
那瞬间func1返回值不再是1了，那这个显然是不可接受的
那怎么办？
第一种是fp的做法，fp说，把变量做成immutable
也就是var -> val(value)，把var1改成
val1 = 0;
return val1+1;//就一定是1鸟
但是这样为了多线程把所有的参数都搞成immutable鸟
然后你写代码时候，需要时刻提醒自己
常量啊，常量啊，常量啊……
第二种是node.js等... 阅读全帖 |
|
z****e
发帖数: 54598 | 38 会依次对比node.js, fp, spring, ejb和vert.x的解决方案，然后自己看哪个最好
从最基本的说起，所有语言都一定会有两个东西
一个是变量，我们用var(variable)来表示
另外一个是方法/函数，用func(function)表示
假设有一个函数和一个变量
var var1;
func func1(){
var1 = 0;
return var1+1;//应该是1
}
那现在如果有多个线程并发
那结果会怎样？
那在func1执行完var1 = 0;之后
就有可能有其他线程插入，把var1改成其他值
比如改成var1 = 2; 或者var1 = "goodbug乱入";
那瞬间func1返回值不再是1了，那这个显然是不可接受的
那怎么办？
第一种是fp的做法，fp说，把变量做成immutable
也就是var -> val(value)，把var1改成
val1 = 0;
return val1+1;//就一定是1鸟
但是这样为了多线程把所有的参数都搞成immutable鸟
然后你写代码时候，需要时刻提醒自己
常量啊，常量啊，常量啊……
第二种是node.js等... 阅读全帖 |
|
z****e
发帖数: 54598 | 39 future并不是真正的异步
callback的时候会block
当然wwzz说了completefuture那个我不知道
没有用过，不知道运作原理如何
但是最原始的future还是容易block住
而用了lambda之后就可以不用future
直接把callback func扔进去就好了
java8之所以需要弄lambda多少也是为了这个考虑
否则弄个匿名类放进去就有些怪异了
但是lambda层层嵌套还是会造成灾难
所以要用rxjava |
|
d****n
发帖数: 1637 | 40 结尾没有ｒｅｔｕｒｎ, at 9:17AM PCT
package main
import (
"encoding/csv"
"fmt"
"io"
"os"
)
func main() {
if err := readUserCSV("./test.csv", lambda); err != nil {
//do something
}
}
func readUserCSV(file string, lambda func(string, string) error) error {
csvfile, err := os.Open(file)
if err != nil {
return err
}
defer csvfile.Close()
reader := csv.NewReader(csvfile)
for {
record, err := reader.Read()
if err != nil {
... 阅读全帖 |
|
t****m
发帖数: 135 | 41
错，你用typeid看看就知道了。
http://stackoverflow.com/questions/7951377/what-is-the-type-of-
The type of a lambda expression is unspecified.
It is a unique unnamed structure that overloads the function call operator.
Every instance of a lambda introduces a new type.
std::function是call operator的wrapper，支持函数指针，functor、lambda之类的玩
意。并不是一种型别。 |
|
w***g
发帖数: 5958 | 42 用存储在介质上的程序来控制机器这个概念自古就有。音乐盒拆播放什么音乐就是由
金属片上不同位置的突起点控制的。巴贝奇造差分机是也是这么做的，Ada Lovelace
写得程序先在还能够看到。这个才是现代计算机真正的祖宗。巴贝奇的机器最终没有
造出来是因为当时蒸汽－机械科技枝的局限。电子器件出现后，即使没有Church没有
Turing，计算机一样会被造出来的，而且存储程序计算机在当时的历史条件下是唯一
的可能。从古至今，lambda calculus只存在于纸上，或者软硬件图灵机的模拟中。
沿着lambda calculus走，走到头无非就是数学。沿着图灵机走才能走出来计算机科学
和现在的IT业。图灵的贡献在于把程序控制机器这种做法理论化了，建立了一个严格
的用来研究算法及其复杂度的框架，并且证明了这种看似粗糙的做法在理论上的
自洽性。这个基本上就是后来整个CS发展的大前提。Lambda calculus里既没有时间
概念又没有空间概念(先在当然都可以倒推回去)，基本上就是然并卵。放100年前
看不到图灵机在实践上的优越性，可以说是没有远见。先在还看不到或者不愿意看到，
也怪不得他PhD... 阅读全帖 |
|
z****e
发帖数: 54598 | 43
所以底层做硬件的不懂啊
java05年的时候没有lambda的api，不存在callback hell的问题
java的lambda是什么时候有的呢？
来来来，回答一下这个最基本的入门级问题
别告诉我05年时候就有了哦
green thread最早60年代就有了
actor model也是80年代就有了
但是java没有lambda，这个时候只能开线程，不管这个线程是不是虚拟的
都会造成lock过多的问题，lock一多，性能就下来了
有了lambad之后，actor model才能真正成形
然后才能把这些lock数量减下来
从而对于coroutine的要求就变成了：像node.js一样，只要能搞定单核，我们就能把性
能提升上去 |
|
|
g***i
发帖数: 90 | 45 ( M+\delta K ) V = M V \Lambda
here \Lambda is the diagonal matrix with
diagonal entries to be the eigenvalues
so
M V \Lambda V' = M+\delta K
...
may or may not work. pls check |
|
P*******t
发帖数: 202 | 46 lambda = 1:1:200;
for a = 1:200
x4(a) = 0.5*(-4*pi+acot(0.5*sqrt(lambda(a))*cot(sqrt(lambda(a)))-0.5));
end
syms z xk % z is \kappa*r_0
for b=1:200
temp(b) = x4(b);
f = 0.5+z*exp(xk)*(-0.5*(besselk(2*i-1,z*exp(xk))+besselk(2*i+1,z*exp(xk
))))/besselk(2*i,z*exp(xk)) - sqrt(1-(z^2)*exp(2*xk))*cot(sqrt(1-(z^2)*exp(2
*xk)));
solve(subs(f,xk,temp(b)),z);
end
//solve解不出来怎么办？ |
|
h**********c
发帖数: 4120 | 47 correction:
stiff problem:
x'=\lambda x, when Re(\lambda)-> -\infty
x could be extended to n-vector, \lambda thus could be a matrix D, thus one
of the eigenvalues of D has its real part approaches negative infinity.
This is a totally different thing from singular Jaconbian of ODEs.
Stiff problem can be attacked by stability analysis. Normally a multi-step
implicit mesh scheme should help.
Just for discussion. |
|
R********s
发帖数: 182 | 48 我有fortran 的code YYY.f90 如下：
PROGRAM MAIN
!
implicit none
INTEGER lambda(2),lim
integer df(2),ifault
REAL q,nc(2),sigma,acc,trace(7),res
nc = (/0,0/)
lambda=(/0.5,0.5/)
df = (/1,1/)
q = 10
lim = 10000
sigma = 0
acc = 0.0001
res = 0
call compute(lambda,nc,df,2,sigma,q,lim,acc,trace,ifault,res)
END program MAIN
XXX.cpp的code 如下：
#define UseDouble 0 /* all floating point double */
#include
#include 阅读全帖 |
|
w**********m
发帖数: 82 | 49 比如在OFDM系统中，接受信号和发送信号的关系是
y(m)=C(m)X(m)+w(m)
这里，m是time index，C(m)是要估计的channel impulse response vector。
w(m)是高斯白噪声。系统的多普勒频移是fd，可以很高。
通常在time domain中用RLS算法估计第n时刻的C(n)是
min sigma [y(m)-C(m)X(m)]^2 lambda^{n-m}
sigma中的m从0到n。lambda是forgetting factor，小于1.
如果引入smoothing算法的话，估计n时刻的C(n)是
min sigma [y(m)-C(m)X(m)]^2 lambda^{abs(n-m)}
m从0到整个Packet的结尾。
现在的simulation 结果是用了smoothing反而效果变差了。
确实比较想不通。那位能解释一下？
再说一下packet的结果。有4个pilot symbol，加上10个data symbol。
后面的data symbol的估计值是通过decision directed方式得到的。 |
|
l*****i
发帖数: 296 | 50 I=k(vgs-vth)^2(1+lambda vds)
一般情况下，比如差分输入的OTA里面，虽然输入管的Vg是给定偏置，但是source端一
般是接在一个电流镜的drain，所以随着电流变化，vgs是会变的，而且电流变化主要是
由于vgs的变化。所以在W/L不变的情况下电流变大，vgs-vth会变大，vds怎么变不是很
确定，但是rds肯定是会变小的，而且变小速度比gm增大要快。所以增益会变小。
你做的simulation里面，vgs-vth是定值，所以电流变大必然是vds变大。求导可以得到
gm=2k(vgs-vth)(1+lambda vds)，是随电流变大而变大的；gds=k lambda(vgs-vth)^2
，vgs-vth不变时是不变的，所以gm/gds会变大。
，g |
|
