/dpt/ - Daily Programming Thread

Is that F#?

dependent types

Attached: coq_de_paulus_1913.png (800x894, 1.09M)

do you love to program in coq?

Attached: 1553682269137.jpg (720x720, 99K)

;)

Attached: ;).jpg (803x688, 141K)

looks like ocaml, looks fine except you may want to watch 'effective ML' on youtube to use pattern matching as ur frend and avoid wildcard _ when possible

>literally me but with .net

Attached: 1519960122281.jpg (640x1129, 226K)

how smart and more importantly how autistic are you
if the answer to both is very you will enjoy sepples

dumb frogposter

what the fuck
how can anyone defend a language that evolved like this

Did you read your Software Foundations tody?