3 ms·

This is an example where you'd really want static types for ergonomics. Having to name the monad explicitly does not allow to write generic code (i.e, instead o

by kaeluka 11y ago

This is an example where you'd really want static types for ergonomics. Having to name the monad explicitly does not allow to write generic code (i.e, instead of saying `Maybe.return` to just say `return).

LesZedCB 11y ago
Yes, in writing ruby during my day job, I often have conflicting feelings about dynamic typing. The other advantage would be being able to do real static analysis, I would love that.
- rozap 11y ago
  In Elixir you can annotate functions with type signatures and then use a tool like Dialyzer(1) to perform static analysis on the compiled bytecode. There is tooling that integrates with mix in Elixir called which makes this easy(2) 1) http://www.erlang.org/doc/apps/dialyzer/dialyzer_chapter.html http://www.erlang.org/doc/apps/dialyzer/dialyzer_chapter.htm... 2) https://github.com/jeremyjh/dialyxir https://github.com/jeremyjh/dialyxir
deleted 11y ago
[deleted]