Elixir
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Elixir v1.20 released: now a gradually typed language
Elixir v1.20 released: now a gradually typed language In 2022, we announced the effort to add set-theoretic types to Elixir. In June 2023, we published an award winning paper on Elixir’s type system design and said our work was transitioning from research to development. With Elixir v1.20, we have completed our first development milestone which is to perform type inference and gradually type check every Elixir program, without introducing type annotations.
Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Announce Type: replace Abstract: We formalize a new type system for Elixir, a dynamically typed functional programming language of growing popularity that runs on the Erlang virtual machine. Our system combines gradual typing with semantic subtyping to enable precise, sound, and practical static type analysis, without requiring any changes to Elixir's compilation pipeline or runtime. Type soundness is ensured by leveraging runtime checks -- both implicit, from the Erlang VM, and explicit,...
AccessOwl (YC S22) is hiring an AI TypeScript Engineer to connect 300 SaaS tools
TL;DR: Senior Software Engineer specializing in TypeScript while using AI daily to build browser automations, seeking a fully remote role within ±3 hours of CET (Berlin). You thrive on solving real problems, are eager to grow, and want to work closely with a small, tight-knit team to transform how companies worldwide manage their SaaS tools. 💶 If this role isn't for you but you know someone great, share a referral with us.
Building iOS Apps with Doom Emacs
I shipped SPEEM, my first iOS app, from Doom Emacs. I don’t mean I just edited a few files in Emacs and switched back when it was time to build. I mean the whole loop: write Swift, build, boot a simulator, install the app, launch it, stream logs, restart LSP, scaffold new projects.