So I hoped to get that erlang/idris stuff done today. Nope. Will finish it off tomorrow, it threw up some weird type errors… :/
-
-
Replying to @robstewartUK
@robstewartUK but yeah, idris erases all the dependent types before code generation.1 reply 1 retweet 0 likes -
Replying to @robstewartUK
@robstewartUK nope, it doesn’t even do concurrent processes yet… (awkward) :/1 reply 0 retweets 0 likes -
Replying to @lenary
@Lenary sounds like a really promising start! Compiling@edwinbrady 's Idris protocol examples to distributed Erlang is a strong ICFP paper!2 replies 0 retweets 0 likes -
Replying to @robstewartUK
@robstewartUK@Lenary I'm looking forward to getting there but I'm not especially happy with the protocol story yet. Next year, perhaps.2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@Lenary not happy with the language design, or not happy with the implementation?1 reply 0 retweets 0 likes -
Replying to @robstewartUK
@robstewartUK@Lenary it's too complicated, mostly. Trying to shoehorn it into the effects library was probably a mistake.1 reply 0 retweets 0 likes
@robstewartUK @Lenary been tinkering with a better way but I need to get to a power socket to continue!
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.