This is not helpful. It's tribalism. (Sorry to be rude.) Speaking as a dynamic type person who's spent a *lot* of effort on static types. https://leanpub.com/outsidefp https://twitter.com/rufuse/status/978211125811732480 …
This is the legacy version of twitter.com. We will be shutting it down on June 1, 2020. Please switch to a supported browser, or disable the extension which masks your browser. You can see a list of supported browsers in our Help Center.
CompSci Lecturer. Go player. Programming language researcher. Idris hacker. Denies knowledge of Whitespace. He/him. http://tinyurl.com/TypeDD
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Add this Tweet to your website by copying the code below. Learn more
Add this video to your website by copying the code below. Learn more
By embedding Twitter content in your website or app, you are agreeing to the Twitter Developer Agreement and Developer Policy.
| Country | Code | For customers of |
|---|---|---|
| United States | 40404 | (any) |
| Canada | 21212 | (any) |
| United Kingdom | 86444 | Vodafone, Orange, 3, O2 |
| Brazil | 40404 | Nextel, TIM |
| Haiti | 40404 | Digicel, Voila |
| Ireland | 51210 | Vodafone, O2 |
| India | 53000 | Bharti Airtel, Videocon, Reliance |
| Indonesia | 89887 | AXIS, 3, Telkomsel, Indosat, XL Axiata |
| Italy | 4880804 | Wind |
| 3424486444 | Vodafone | |
| » See SMS short codes for other countries | ||
This timeline is where you’ll spend most of your time, getting instant updates about what matters to you.
Hover over the profile pic and click the Following button to unfollow any account.
When you see a Tweet you love, tap the heart — it lets the person who wrote it know you shared the love.
The fastest way to share someone else’s Tweet with your followers is with a Retweet. Tap the icon to send it instantly.
Add your thoughts about any Tweet with a Reply. Find a topic you’re passionate about, and jump right in.
Get instant insight into what people are talking about now.
Follow more accounts to get instant updates about topics you care about.
See the latest conversations about any topic instantly.
Catch up instantly on the best stories happening as they unfold.
Brian Marick Retweeted Denis Redozubov
This is not helpful. It's tribalism. (Sorry to be rude.) Speaking as a dynamic type person who's spent a *lot* of effort on static types. https://leanpub.com/outsidefp https://twitter.com/rufuse/status/978211125811732480 …
Brian Marick added,
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
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.
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.
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.
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.
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. 
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.
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!
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.
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.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.