深入理解運算原理錯誤
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
頁數翻譯原文修正說明
2
33第一行, reduce錯打成redice
3
36
We could choose to destructively modify the current environment instead of making a new one, but avoiding destructive updates forces us to make the consequences of #reduce completely explicit.
我們大可以選擇破壞性更改目前的環境而不是製作新的,但是避免破壞性更改能強迫我們把 #reduce 的後果設計成完全外顯(explicit)的。
4
36
which tells us that reducing a statement can have an effect on the environment.
這告訴我們對陳述式化簡是可以對環境造成影響的。
5
40
That all works as expected, but it would be nice if we could support conditional state-ments with no « else » clause, like « if (x) { y = 1 } »
一切都如預想一般地運作,但如果我們能支援沒有 else 的條件陳述式就好了。
6
46
小步語意使得我們必須從諸如 3 的不可約運算式辨識出像是 1 + 2 的可化簡運算式。
With small-step semantics we had to distinguish reducible expressions like « 1 + 2 » from irreducible expressions like « 3 »
在小步語意我們必須分辨可化簡運算式(如 1 + 2 )與不可化簡運算式(如 3 )
7
50
when we call #reduce on a large program, that might cause a handful
of nested #reduce calls as the message travels down the abstract syntax tree until it
reaches the piece of code that is ready to reduce.
handful 被譯為棘手的
8
52
Instead, it concerns itself with leveraging the established meaning of another lan-
guage—one that is lower-level, more formal, or at least better understood than the
language being described—in order to explain a new one.
反之,它涉及靠另一個語言已經確立的意義來解釋新的語言。該語言是較低階,更正規,或者至少比被解釋的語言更被了解。
9
52不需要混亂的練
an undeniably higher level form of communication, no messy exercise required.
不用大費周章地運動指之前提到跟沒有共同語言的人解釋「走」得靠真的走路,
10
58
By contrast, the language-to-language translation of denotational semantics is like a compiler
這邊「指稱語意」被翻為「操作語意」
11
59指稱語意的優點是操作語意更為抽象漏了一個「比」
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
Loading...
 
 
 
工作表1