You are here:
(04 Apr 2016,
<noautolink> ---+!! Typed Elixir %TOC% ---++ Introduction I've been a fan of [[%GH%/clojure/core.typed][Typed Clojure]] (now adopted as [[%WP%/Clojure][Clojure]]'s =core.typed= library) for several years. It adds "opt-in" type checking to [[%WP%/Clojure][Clojure]], plays nicely with editors, etc. What's not to like? Typed Clojure started with [[%ttrg%][Typed Racket]], then added support for Clojure's somewhat different worldview. The project improves each year, adding convenience, features, etc. Feeling a bit of Clojure Envy, I posted this note to [[%elt%][elixir-lang-talk]]: <blockquote> Ambrose Bonnaire-Sergeant is a really smart guy who has been working for a few years on Typed Clojure. Basically, it uses typespec-like annotations and type inferencing to perform very cool type checking. Typed Clojure started as an adaptation of Typed Racket, so there are at least two existence proofs for other languages to draw from. The Strange Loop 2014 talk shows what the tooling can now do, how it's being integrated into IDEs and such, and how it's being used: [[%YT%=a0gT0syAXsY][Typed Clojure in Practice]]. Writing Typed Elixir is considerably beyond my pay grade, but I'm wondering if someone out there is looking for a cool and useful (albeit demanding) project of this sort. (ducks) -- [[%elt_ip%][%elt_ip_t%]] </blockquote> Happily, I got positive responses from Ambrose, Booker Bense, and José Valim. Ambrose and José lauded each other's efforts, Booker suggested taking a look at [[%weod%/apps/dialyzer/dialyzer_chapter.html][Dialyzer]], etc. More recently, Guillermo Iguarán restarted the conversation, evoking responses from a number of Elixeros. This wiki page is my attempt to organize some of the material; comments and suggestions welcome! * [[Issues]] * [[Resources]] <!-- * Set YT = https://www.youtube.com/watch?v * Set WP = https://en.wikipedia.org/wiki * Set elt = https://groups.google.com/forum/#!forum/elixir-lang-talk * Set elt_ip = %elt%/myBttgOMqRM * Set elt_ip_t = Anyone interested in creating Typed Elixir? * Set ttrg = http://docs.racket-lang.org/ts-guide * Set weod = http://www.erlang.org/doc --> %ZB%
ore topic actions
Topic revision: r56 - 04 Apr 2016,
Copyright © by the contributing authors. All material on this wiki is the property of the contributing authors.
, Plugin API version
Ideas, requests, problems regarding CFCL Wiki?
Send us email