HackerTrans
トップ新着トレンドコメント過去質問紹介求人

blueberry87

no profile record

投稿

[untitled]

1 ポイント·投稿者 blueberry87·6 か月前·0 コメント

Horrible answers to "What is a type?"

blueberrywren.dev
1 ポイント·投稿者 blueberry87·8 か月前·0 コメント

Opinion Piece: On Zig

blueberrywren.dev
18 ポイント·投稿者 blueberry87·9 か月前·4 コメント

Crafting a dependent typechecker, part 1

blueberrywren.dev
7 ポイント·投稿者 blueberry87·12 か月前·0 コメント

De Bruijn notation, and why it's useful

blueberrywren.dev
141 ポイント·投稿者 blueberry87·昨年·44 コメント

コメント

blueberry87
·2 年前·議論
i mean, then we get into defining multi-paradigm :P does it have objects that could, theoretically, be used in a java-like object oriented system? yes! does anybody do that? not really! it's far more functional than any other paradigm, and that's what counts.
blueberry87
·2 年前·議論
this is wrong! ocaml is a functional programming language with side effects.
blueberry87
·2 年前·議論
annoyingly go can't have proper sum types, as the requirement for a default value for everything doesn't make any sense for sum types