Closures vs Objects (228ﾚｽ)
上下前次1-新
1: 2024/02/19(月)20:39 ID:VT95BnI9(1/2) AAS
It is well-known that closures and objects are equivalent. So are actors. Which one is the most fundamental?
よく知られたように、クロージャとオブジェクトは等価です。アクターも同様です。どの概念が最も基本的なのでしょうか？
209(1): 02/22(土)15:57 ID:es3U9V0K(1) AAS
>>207
あなたが混同してる
型検査をコンパイル時に行うかどうかは規格、セマンティクスの領分で
実行時の値とされているものを静的にチェックできる範囲でチェックして警告を出したりするのは実装の領分だろう
210(1): 02/22(土)16:05 ID:W3fSq5/I(1/2) AAS
>>207
その両者は明確に分かれてる
動的型付け言語は実行の途中で初めて型が確定しうる
静的型付け言語は必ず実行前に全ての型が定まる
これらは言語仕様で定まる
静的型付け言語は型の安全性やパフォーマンスに優れている
C/C++, Fortran, Go, Haskell, Java, OCaml, Pascal, Rust, Scala, Swiftなど
スクリプト言語以外は静的型付け言語が多数派
211: 02/22(土)16:35 ID:N/T45y64(1) AAS
>>209
>型検査をコンパイル時に行うかどうかは規格、セマンティクスの領分で
>実行時の値とされているものを静的にチェックできる範囲でチェックして警告を出したりするのは実装の領分だろう
>>207はまさにそう言っているのだが
212: 02/22(土)16:51 ID:1JZL08Pv(1/2) AAS
もうブログかなんかに書いててくれないか
213: 02/22(土)16:53 ID:W3fSq5/I(2/2) AAS
静的型付け言語はその言語仕様により
常に全ての型を静的に(＝実行前に)確定できる
これは言語仕様により定まることであり実装とは関係ない
214: 02/22(土)16:54 ID:1JZL08Pv(2/2) AAS
妄想乙
215: 02/22(土)17:46 ID:GOJ2wF4D(1) AAS
実行速度の速い言語がすべて静的型付けな点が答えだろうね
素人向けのスクリプト言語は動的型付けで遅い
216: 02/22(土)18:03 ID:NU7N7MY+(1) AAS
>>210
しれっとHaskell混ぜるなってのw
217: 02/22(土)19:31 ID:wKCHVlKT(1) AAS
馬鹿が常駐して終わったスレ
さよなら
218(1): 02/22(土)20:19 ID:FTk8qZlg(1) AAS
無意味な動的型付けにこだわってるのは一人だけだから無視すればよいだけかと
型推論の進歩により静的型付けの唯一の弱点も消えた
型指定を省略できるクロージャなどその典型例
219: 02/22(土)22:50 ID:bh0ZAEWN(1/2) AAS
>>218
> 動的型付けに拘ってる
書かれていることを正しく読もう
220: 02/22(土)22:56 ID:bh0ZAEWN(2/2) AAS
>>187は動的型付けとは何ら関係がない
むしろ、直後に指摘されているようにほとんどのケースでコンパイル前に検査できる
221: 02/23(日)02:25 ID:tIjZB/Ol(1) AAS
型が第一級オブジェクトの言語は、論理学でいえば命題を量化できる二階述語論理に相当するわけだ
222: 02/23(日)03:10 ID:ojjdIlYs(1/2) AAS
f x = 10
g y = 20
h z = 30
h . g . f 10 -- 30
223(1): 02/23(日)03:10 ID:ojjdIlYs(2/2) AAS
hの定義内で途中の計算結果10, 10, 20を参照するにはどうするか
224: 02/23(日)04:40 ID:upqukZrZ(1) AAS
トランポリン
225: 02/23(日)06:54 ID:jtLYghc/(1) AAS
h z x y = 30にする
226: 03/09(日)23:01 ID:eGDnXODc(1) AAS
>>223
途中を参照したいなら関数の返り値を複数にして返していく
途中を表示したいなら関数を副作用アリにする
227: 03/14(金)17:25 ID:TOg9uiCJ(1) AAS
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
228: 06/17(火)21:17 ID:66zQf9l5(1) AAS
はぁ？ クロージャって何すか？
クローゼットのことですか？
プログラマ「もういい」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.658s*