Closures vs Objects

**デフォルトの名無しさん** · 2025/02/22(土) 20:19:25.50

無意味な動的型付けにこだわってるのは一人だけだから無視すればよいだけかと
型推論の進歩により静的型付けの唯一の弱点も消えた
型指定を省略できるクロージャなどその典型例

**デフォルトの名無しさん** · 2025/02/22(土) 22:50:21.56

>>218
> 動的型付けに拘ってる
書かれていることを正しく読もう

**デフォルトの名無しさん** · 2025/02/22(土) 22:56:32.72

>>187は動的型付けとは何ら関係がない
むしろ、直後に指摘されているようにほとんどのケースでコンパイル前に検査できる

**デフォルトの名無しさん** · 2025/02/23(日) 02:25:36.50

型が第一級オブジェクトの言語は、論理学でいえば命題を量化できる二階述語論理に相当するわけだ

**デフォルトの名無しさん** · 2025/02/23(日) 03:10:06.06

f x = 10
g y = 20
h z = 30
h . g . f 10 -- 30

**デフォルトの名無しさん** · 2025/02/23(日) 03:10:58.23

hの定義内で途中の計算結果10, 10, 20を参照するにはどうするか

**デフォルトの名無しさん** · 2025/02/23(日) 04:40:15.50

トランポリン

**デフォルトの名無しさん** · 2025/02/23(日) 06:54:06.73

h z x y = 30にする

**デフォルトの名無しさん** · 2025/03/09(日) 23:01:10.03

>>223
途中を参照したいなら関数の返り値を複数にして返していく
途中を表示したいなら関数を副作用アリにする

**デフォルトの名無しさん** · 2025/03/14(金) 17:25:51.81

S式
(+ 1 (* 2 3))

RPN
1 2 3 * +

CPS
1 >> (x ->
2 >> (y ->
3 >> (z ->
(y * z) >> (m ->
(x + m))))))

Do記法
x <- 1
y <- 2
z <- 3
m <- y * z
x + m

**デフォルトの名無しさん** · 2025/06/17(火) 21:17:24.66

はぁ？　クロージャって何すか？
クローゼットのことですか？

プログラマ「もういい」