One of these days I want to buy you a nice cafe drink and sit down and tell you stories from my industry life about how absolutely insanely hostile people are about static FP tho. Having helped in unlikely places making Clojure an accepted thing, I can tell you that's 10x easier
-
-
Replying to @KirinDave
Sure. I have tons of experience -- back to around 1993 -- being viscerally rejected by programmers. But there are tricks that can be used. One I'm fond of is acting against type.
2 replies 0 retweets 0 likes -
Replying to @marick @KirinDave
I also think Clojure is much easier for your average Ruby or Java programmer to learn than a static FP language is. It would be really interesting to do some sociology on why and how willing learners either grasp or bounce off a language.
1 reply 0 retweets 1 like -
Replying to @marick
I agree, but a lot of folks argue it's because it's inherently harder. I wish Idris was bigger. It's so easy to work with and so much fun.
1 reply 0 retweets 1 like -
Replying to @KirinDave
I've thought of hitching my star to Idris, partly because I like the language, partly because I think
@edwinbrady has the right attitude for a language's "benevolent dictator". But I'm going to stick with PureScript for now.1 reply 0 retweets 2 likes -
Replying to @marick @edwinbrady
PS is solid. Has a bigger audience, with closure and webasm it delivers industry compatible performance for a lot of workloads. PS is totally ruthless on requiring big high concept type models tho.
1 reply 0 retweets 0 likes -
Replying to @KirinDave @marick
I thought I'd replied to this but twitter may have eaten it. Anyway... A risk with a language made by a language researcher is that they may get bored and move on to the next fun thing.
1 reply 0 retweets 4 likes -
So, one main goal of Idris is to make mainstream(ish) developers aware of full dependent types, and convince people of their usability. If (say) Purescript gets them, I'd call that a win!
1 reply 0 retweets 2 likes -
Not that I expect to get bored any time soon. I'm having too much fun, but there's even more fun to be had with, say, linear types and effects.
1 reply 0 retweets 2 likes -
Replying to @edwinbrady @marick
I haven't had such fun with a language and its literature since I discovered PLT scheme in college. I'm trying to make space to use it in production contexts so I can contribute some indutry experience and feedback to the literature.
1 reply 0 retweets 1 like
That'd be great! My main thing now is working towards a new implementation with fewer annoyances... It'll take a while though.
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.