the static vs dynamic debate is a false debate. I use many (reasoning) techniques some related to types, some purity, ...
-
-
Replying to @SusanPotter @jlouis666
TL;DR it's the combination of techniques that matters. Right now I am loving expressive type systems that happen to be static.
2 replies 0 retweets 4 likes -
Replying to @SusanPotter
How are you finding Idris btw? I’ve been wanting to toy with it.
1 reply 0 retweets 0 likes -
Replying to @jlouis666
I know very little about *how* it works behind scenes but as a programmer familiar with Haskell & slight math bias: I <3 it...
1 reply 0 retweets 0 likes -
Replying to @SusanPotter @jlouis666
tooling is in a very reasonable state for a research language, language "usability" is high given other dependently typed langs.
1 reply 0 retweets 0 likes -
Replying to @SusanPotter @jlouis666
lib / pkg ecosystem needs more community but expected for maturity of lang. It's a good mix of pragmatism and elective formalism.
1 reply 0 retweets 0 likes -
Replying to @SusanPotter @jlouis666
use richer type expressiveness when it matters for you seems to be its mantra and that suits how my brain works. :)
1 reply 0 retweets 0 likes -
Replying to @SusanPotter
Certainly sounds like something I should check out :)
1 reply 1 retweet 0 likes -
-
Actually I take it back, it's currently nowhere near as mature as Idris.
1 reply 0 retweets 0 likes
this must be the first time I've heard the phrase "as mature as Idris" :)
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.