HackerTrans
TopNewTrendsCommentsPastAskShowJobs

blueberry87

no profile record

Submissions

[untitled]

1 points·by blueberry87·6 เดือนที่ผ่านมา·0 comments

Horrible answers to "What is a type?"

blueberrywren.dev
1 points·by blueberry87·8 เดือนที่ผ่านมา·0 comments

Opinion Piece: On Zig

blueberrywren.dev
18 points·by blueberry87·9 เดือนที่ผ่านมา·4 comments

Crafting a dependent typechecker, part 1

blueberrywren.dev
7 points·by blueberry87·12 เดือนที่ผ่านมา·0 comments

De Bruijn notation, and why it's useful

blueberrywren.dev
141 points·by blueberry87·ปีที่แล้ว·44 comments

comments

blueberry87
·2 ปีที่แล้ว·discuss
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 ปีที่แล้ว·discuss
this is wrong! ocaml is a functional programming language with side effects.
blueberry87
·2 ปีที่แล้ว·discuss
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
blueberry87
·3 ปีที่แล้ว·discuss
that's not how compile time works buddy