TGViewer
Elixir Formula Elixir Formula @elixir_formula · 387 subscribers
Post #1971 370
#elixir

Introducing caramel - an erlang backend for the ocaml compiler that provides a fast type-checker for beam-based technologies.

https://www.erlang-solutions.com/blog/introducing-caramel-an-erlang-backend-for-the-ocaml-compiler-that-provides-a-fast-type-checker-for-beam-based-technologies.html
Erlang-Solutions Introducing Caramel - An Erlang Backend for the OCaml compiler that provides a fast type-checker for BEAM-based technologies. |… Caramel is an Erlang backend for OCaml's type checker, offering a highly expressive, sound type-system, and a blazing fast type-checker. This allows you to rule out entire classes of errors by using types that are closer to your domain, and fearlessly refactor…
Open in Telegram All posts from @elixir_formula
More from @elixir_formula
  1. Mar 16, 2023#elixir #phoenix Embed and broadcast Whisper speech-to-text in your Phoenix app in 15 minu…
  2. Mar 16, 2023#elixir #phoenix Phoenix Dev Blog - Sounds Like a Bug https://fly.io/phoenix-files/phoenix…
  3. Mar 14, 2023#elixir #podcast #thinkingelixir Orion for Distributed Tracing in Production https://podca…
  4. Mar 14, 2023#elixir #phoenix Resizing Images using Elixir https://fly.io/phoenix-files/resizing-images…
  5. Mar 13, 2023#elixir Create a multi-tenant, whitelabel application in Elixir & Phoenix part III: Adding…
  6. Mar 12, 2023#elixir Creating a simple weather application with Phoenix LiveView - Erlang Solutions htt…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →