为何 Swift 里常量是 let?

[guoqiao]

谁能告诉我这是神马单词的缩写

其实我真正的疑惑是:
定义变量是var x, 这很自然.
但定义常量是let x, 与前面的var放在一起, 就很不和谐.
一个是名词, 一个是动词, 怎么看, 语法都不一致.
而苹果一向是一家很注重细节和一致性的公司, 这似乎不像他们的风格.
因此我才怀疑这里的let是不是神马我不知道的高深单词的缩写.

回答里很多同学在解释用let定义常量的合理性,对此我没有异议.
我关注的是为什么它和var的语法风格不一致.
好吧, 这本质上是个无关痛痒的问题, 但很高兴还是有很多人给出了有价值的解释, 至少让这个不一致看起来合理了一些:)

[snachx]

let a =1, 大概就是让a等于1吧…，没啥缩写

[casparchen]

这难道不是 让 的意思么。让pi这个符号等于3.14
let pi = 3.14 ?

[ffffwh]

数学课上有没有听过“令x=***”，就是这个let。
这个常量更接近于functional programming的“XX量”，而不是C家族的const。

[Zhang]

BASIC里面用let定义变量。

[limuxy]

木有缩写 就是自然语言 （话说这是新语言的趋势吗？越来越接近自然语言？

[skybr]

就是let的let吧

至于为什么用let, 开个玩笑. 其他像scala的地方已经很多了, 不好意思再用val, 就再从rust那边摘点喽.

[WildCat]

let
英 [let] 美 [lɛt]
允许，任由； 让，随； 假设； 出租

[sanddudu]

let it go

[shippo7]

Swift不再需要定义变量的属性(int,double,char之类的)，用let占位置了，同时将代码趋近于自然语言

[jsonline]

语法还有为什么么？

[riaqn]

lisp里赋值就是let。
黑客与画家里面说：越是新的语言，就越是接近lisp。

[guoqiao]

@snachx
@ffffwh

谢谢, 你们的这个说法应该是解答了我的疑问.

[guoqiao]

把let解释成数学里的"令"固然可以说得通, 但把它和var放在一起对比, 就觉得很不和谐, 类似的定义, 完全不同的语义. 这也是我有点疑惑的原因.
目前来说, swift这门语言给我的感觉, 谈不上很好, 有东拼西凑的感觉, 语法不够精炼, 而且作者对代码的taste并不是很好.
但无论如何, 至少比objc要强不少.

[eriale]

lisp中给变量赋值就是let。
lisp中表达式第一个符号基本上都是动词，赋值也是表达式，我估摸着为了统一风格，就用let作为赋值表达式的第一个符号。

[guoqiao]

@eriale 嗯, lisp这种做法自然是很赞的.
但在Swift里, 定义变量是var, 名词.
而到了定义常量, let, 是动词.
况且, let没有一点点定义"常量"的含义在里面, 只是生硬的把别的语言里定义变量的关键词拿过来, 用来定义常量.
这对编程语言的语法优雅与否十分敏感, 所以这个地方让我有点想吐槽.

[binux]

@guoqiao
如果你这么看：

variable a, b, c;
let d = 1;

variable 不需要赋初值，如果只是声明，没必要用动词。赋初值只是附加功能
let 在有些语言中是就是变量，即使是有些同样有 var 的语言中。只能说就是这么定的，不然你要用

let const d = 1 吗？

[binux]

更正：
不赋初值需要指定类型

[superbear]

lua

[Perry87]

对于强制类型转换，象 Int 转 String ，语法是 String(var) ，当 Optinal String 转 Int 又是 var.ToInt？

另外象 String 和 Array 的计数，一个是用括弧传参数，一个又是用点运算符传消息。

[love]

let没有值不变的意思吧？为什么不用const呢。

[hongdengdao]

scala党表示很淡定，哈哈

[tabris17]

@love const只能用常理表达式来初始化

let的意思是该值赋值后不能更改，immutable的意思

[ipconfiger]

抠字眼有意思么？

[notcome]

我看不出有何不妥，数学上也是 let sth = expr，只是接下来 sth 没有发生变化罢了

[caoz]

And God said, "Let there be light," and there was light.

[akfish]

po主想象力真丰富，居然认为let是缩写

多看点英文版的数学类文献吧。

A Guide to Writing Mathematics
http://www.cs.ucdavis.edu/~amenta/w10/writingman.pdf
见第10页：Defining variables and formulas

[lyazure]

@guoqiao 你需要rust语言,哈哈， let同样表示赋值后不可变，而定义可变的变量用的是let mut, 其中mut是指mutable可变的。

swift尝试抄各种语言优点于一身，比如rust, haskell， ruby等，这是作者都承认的，但要融合这些语言优点的同时又实现语言设计理念的纯粹和一致性也是不容易的，swift做得还算不错了。

站在llvm和jvm的肩膀上，现在要设计实现一门语言已经很容易了，以后新出现的语言理念会越来越先进，语法也会优美，每个人都能找到自己喜欢的语言的，哈哈

[akfish]

在数学里，被let定义过后的东西，一般不会再次被定义/赋值，在代码里对应的就是常量。
不要被标题里"defining variables"给迷惑了，数学里关心的是关系/性质，而不是值。所以这是说把一个符号定义为变量，这个符号作为变量的性质在定义过后一直是一个常量。

至于var，当然是variable的缩写。所以let和var的区分并无不妥。

[Seita]

let 表示命令，命令带有不可更改的意思 XD

[lsylsy2]

@Zhang 第一反应也是basic

[ioth]

basic,第一门学习的语言，快30年了。

[guoqiao]

谢谢各位的解答, 有一些答案很有价值.但总体说来,我对这个问题的结论是:
1. 语言的作者就是拿来主义, 直接从别的语言借鉴了比较常用的let关键字,用以区分var. 无他.
2. var和let摆在一起, 是杂糅的风格, 不和谐, 但也无关痛痒.
3. 一些相关的解释能让它的存在看起来更合理一些,但无法改变Swift拼凑语法的事实.

谢谢楼上各位耐心给出解释的大牛!

[guoqiao]

@binux 嗯, 这个解释很有深度. 谢谢!

[jiang42]

haskell 的语法

[s51431980]

怎么没人提scala中的变量定义是var，常量定义是val（value缩写），这应该满足楼主的和谐

Swift和ObjC都不是优雅的语言，但是赚钱的语言

[williamx]

Swift 的语法在我看来就是坨大便————但又有什么关系呢？

[bushnerd]

@akfish 终于明白了，这个回答不错。