These are chat archives for got-lambda/expression

30th
Jun 2016
jensli
@jensli
Jun 30 2016 09:55
Heh: “I think programmers who doubt that type systems help are basically the tech equivalent of an anti-vaxxer”
http://danluu.com/empirical-pl/#fn:V
jensli
@jensli
Jun 30 2016 10:01
@eriksvedang : I remember that you took an interest in Rust a while ago, but I don't remember I you told me how you liked it in the end. Do you recommend it? I am starting to feel an impulse to look at it.
Erik Svedäng
@eriksvedang
Jun 30 2016 10:15
yeah, it's pretty great I'd say
definitely worth trying out at least
jensli
@jensli
Jun 30 2016 10:18
My impression is that it is well designed, has a lot of useful features and is pretty mature. But that this lifetype system maybe is a little too complex to be convenient to work with.
That there's a big risk to get stuck on how to get simple things to compile because it's hard to fit them into the type system. Did you get any impression of that issue?
jensli
@jensli
Jun 30 2016 10:55
I started reading Dan Luu's blog (cited above) and came across this mail from Eric S. Raymond to Linus Torvalds: Curse Of The Gifted. Legendary!
"You're our chosen benevolent dictator and maybe the second
coming of Ken
" lol
jensli
@jensli
Jun 30 2016 11:10
This is something I'd really find interesting for a book club meeting: https://en.wikipedia.org/wiki/Substructural_type_system
I'll to find a suitable introduction to it.
Erik Svedäng
@eriksvedang
Jun 30 2016 12:09
yeah, that'd be rad!
I don't think the risk of getting stuck when making something in Rust is very big
but probably good to write some smallish programs in it first to get comfortable with the borrowing system
jensli
@jensli
Jun 30 2016 13:22
I got stuck reading Tomas Leonards blog on replacing Python with Ocaml for Zero Install and started reading about Ocaml.
I found this very interesting Ocaml feature, polymorphic variants. Basically structurally typed ADTs!