HackerTrans
TopNewTrendsCommentsPastAskShowJobs

blueberry87

no profile record

Submissions

[untitled]

1 points·by blueberry87·hace 6 meses·0 comments

Horrible answers to "What is a type?"

blueberrywren.dev
1 points·by blueberry87·hace 8 meses·0 comments

Opinion Piece: On Zig

blueberrywren.dev
18 points·by blueberry87·hace 9 meses·4 comments

Crafting a dependent typechecker, part 1

blueberrywren.dev
7 points·by blueberry87·hace 12 meses·0 comments

De Bruijn notation, and why it's useful

blueberrywren.dev
141 points·by blueberry87·el año pasado·44 comments

comments

blueberry87
·hace 2 años·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
·hace 2 años·discuss
this is wrong! ocaml is a functional programming language with side effects.
blueberry87
·hace 2 años·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