by the bottom two items
-
@@ -830,7 +822,7 @@ sushi => 'pizza'`}
-
Just like the JS code, the emoji puzzle ended up with a{' '} @@ -868,13 +860,14 @@ sushi => 'pizza'`}
The above steps are a visual representation of how functions are
evaluated. They are equivalent to how JavaScript evaluates{' '}
-
By learning these rules, non-programmers will be able to evaluate @@ -1139,7 +1132,7 @@ sushi => 'pizza'`}
…is represented by the bottom row:
And the two arguments…
@@ -1321,7 +1314,7 @@ sushi => 'pizza'`}
Next, here’s slightly different JS code. Compared to the last
time, there’s an extra pair of parentheses around{' '}
-
Now, suppose that we apply
Here’s an emoji puzzle that represents{' '}
-
-
(Church numeral
(Church numeral
-
(Church numeral
The result is equivalent to{' '}
-
-
(Church numeral
-
(Church numeral
-
@@ -970,176 +958,43 @@ const H = ({ args, highlightType, episodeNumberOverrides }: HProps) => {
+
Once again, thank you for reading!
) - - if (episodeNumber <= numEpisodesExceptFirstAndLast) { - return ( - <> -
-
-
-
Once again, thank you for reading!
- - ) - } } else { - const question = ( -
- また、本稿の内容について質問がございましたら、
-
+ お疲れ様でした！本稿の内容について質問がございましたら、メール(
+
+
+
+ 
+
重ね重ね、本稿をお読みになってくださりありがとうございました！
+ ) - - if (episodeNumber <= numEpisodesExceptFirstAndLast) { - let quitReason: React.ReactNode - if (episodeNumber === 0) { - quitReason =
-
- 差し支えなければ、このページを閉じる前に
-
- お疲れ様でした！本稿に対するご意見・ご感想を、ぜひ
-
-
-
- プログラミング抜きに、コンピュータサイエンスを学べる教材が他にもあればご紹介したいのですが、現時点では筆者がおすすめできるものが見つかっておりません。 -
-
- というわけで、
-
- 続編をリクエストしたい方は、
-
-
-
-
-
-
-
- 重ね重ね、本稿をお読みになってくださりありがとうございました！ -
- - ) - } } } if (args.name === 'shareTitle') { @@ -1227,7 +1082,6 @@ const H = ({ args, highlightType, episodeNumberOverrides }: HProps) => { )} - {args.includeTwitter && shareVisible &&Here are some of the readers’ comments:
- {testimonials.map(id => ( -Press the button below to continue to the course!
- - ) - } else { - return ( - <> -みなさまコメントありがとうございます！
- {testimonials.map(id => ( -- 「読んでみたいかも」と思ってくださった方は、下のボタンを押してみてください！ -
- - ) - } - } if (args.name === 'goToOtherPage') { if (locale === 'en') { return <>Looking for some other page? @@ -1841,7 +1663,7 @@ const H = ({ args, highlightType, episodeNumberOverrides }: HProps) => { <>
だから、
If we don’t do anything, it won’t be
- able to calculate
However, the =
+ VariableExpression & VariableStates[S]
-export type VariableWithStateShorthandNumber<
- S extends keyof VariableStates
-> = VariableShorthandNumber & VariableStates[S]
+export type VariableWithStateShorthandNumber =
+ VariableShorthandNumber & VariableStates[S]
export type VariableWithEmphasizePriorityAndState<
S extends keyof VariableStates
@@ -51,9 +49,8 @@ export type VariableWithEmphasizePriorityAndState<
readonly emphasizePriority: true
}
-export type VariableWithStateShorthandFunc<
- S extends keyof VariableStates
-> = VariableShorthandFunc & VariableStates[S]
+export type VariableWithStateShorthandFunc =
+ VariableShorthandFunc & VariableStates[S]
interface VariableStates {
default: {
@@ -365,57 +362,51 @@ type ExecutableRegular<
S extends CallStates,
F extends FunctionExpression,
E extends Expression
-> = CallExpression &
- ({
- readonly state: S
- readonly arg: E
- readonly func: F
- })
+> = CallExpression & {
+ readonly state: S
+ readonly arg: E
+ readonly func: F
+}
type ExecutableShorthand<
S extends CallStates,
F extends VariableShorthandFunc,
N extends VariableShorthandNumber
-> = CallExpression &
- ({
- readonly state: S
- readonly arg: N
- readonly func: F
- })
+> = CallExpression & {
+ readonly state: S
+ readonly arg: N
+ readonly func: F
+}
type ExecutableConditionalNumber<
C extends VariableShorthandNumber,
T extends Expression,
F extends Expression,
S extends ConditionalStates
-> = ConditionalExpression &
- ({
- readonly condition: C
- readonly trueCase: T
- readonly falseCase: F
- readonly state: S
- })
+> = ConditionalExpression & {
+ readonly condition: C
+ readonly trueCase: T
+ readonly falseCase: F
+ readonly state: S
+}
type ExecutableBinaryNumber<
A extends VariableShorthandNumber,
B extends VariableShorthandNumber,
S extends BinaryStates
-> = BinaryExpression &
- ({
- readonly first: A
- readonly second: B
- readonly state: S
- })
+> = BinaryExpression & {
+ readonly first: A
+ readonly second: B
+ readonly state: S
+}
export type StepVariable =
+ DistributeStepConditional = S extends ConditionalStates
? ExecutableConditional
: never
-export type ExecutableConditionalStatesDistributed = DistributeExecutableConditionalStates<
- ConditionalStates
->
+export type ExecutableConditionalStatesDistributed =
+ DistributeExecutableConditionalStates =
+ DistributeStepBinary = S extends BinaryStates
? ExecutableBinary
: never
-export type ExecutableBinaryStatesDistributed = DistributeExecutableBinaryStates<
- BinaryStates
->
+export type ExecutableBinaryStatesDistributed =
+ DistributeExecutableBinaryStates