4 ms·
I hereby officially announce the Elixir type system effort is into development
- joriskok1 3y ago> Something went wrong. Try reloading. Not 100% sure, but this might be related: https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ https://elixir-lang.org/blog/2023/06/22/type-system-updates-...
- neodypsis 3y agoTwitter is unusable as of now for me as well... can't load the tweet.
- totallywrong 3y agoMe neither, I believe it only shows tweets to registered user since a few days ago.
- SpaghettiCthulu 3y agoLet me guess, the announcement is also on twitter?
- rideontime 3y agoTime to stop making announcements on Twitter. The full text: I hereby officially announce the Elixir type system effort is transitioning from research into development: https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ https://elixir-lang.org/blog/2023/06/22/type-system-updates-... A huge thank you to Fresha and Starfish for sponsoring this new stage. They are also hiring: * https://fresha.com/careers/openings?department=engineering https://fresha.com/careers/openings?department=engineering * https://starfish.team/jobs https://starfish.team/jobs
- __float 3y agoWhat does Starfish do? Their website makes vague references to "decentralized organizations", "focus on payments and banking". I cannot tell if this means it's all cryptocurrencies or what their work actually accomplishes.
- rideontime 3y agoScrolling through their blog, I think something's getting lost in translation; their idea of a "decentralized organization" sounds more like a flat hierarchy in the style of Valve, but you've got to try to parse this tortured "starfish vs spider" metaphor to get there. https://starfish.team/blog/adaptive-vs-reactive-strategies-what-we-can-learn-from-the-starfish-and-the-spider https://starfish.team/blog/adaptive-vs-reactive-strategies-w... Likewise, I clicked "portfolio" expecting some samples of their work and instead got another unintelligible sales pitch and a mailto: link. Their corporate culture sounds nice, I like their healthy attitudes toward remote work, but maybe they should get some native english speakers to edit their copy?
- appleflaxen 3y agoJose Valim is so prolific, and I love his work. Thank you Jose!
- SpriglyElixir12 3y agoExcellent. I've been meaning to explore into elixir but the lack of types has made me drag my feet.
- neodypsis 3y agoI look forward to typed-Elixir! Some interesting projects targeting the Erlang VM are Gleam [0] and caramel (ML-like, but unfortunately no longer active) [1]. [0] https://github.com/gleam-lang/gleam https://github.com/gleam-lang/gleam [1] https://github.com/AbstractMachinesLab/caramel https://github.com/AbstractMachinesLab/caramel
- bnchrch 3y agoIm so thrilled to see this come into Elixir! Ive recently transitioned away from writing Elixir full time (nearly 7 years) to a role that uses a array of strongly typed languages. While I still love the ErlangVM and Elixir, the benefits of typing are hard to understate. So happy to see that I may get to have my cake and eat it to some day.
- pavel_lishin 3y agoI would just be happy to never see Dialyzer output again in my life.
- no_wizard 3y agoWill the syntax look like I wonder. This is for being able to specify types correct?