I'm really curious about the project Jose mentioned in his ElixirConf keynote to do local type inference for intersection types: https://youtu.be/suOzNeMJXl0?t=43m2s . Even if the project isn't in a usable state, I'd be really interested in seeing the code for it. I'm also interested in which papers specifically influenced its design. I've tried reading papers on inference for intersection types, but I have trouble wrapping my head around them. Is the code available?
Thanks much! -- You received this message because you are subscribed to the Google Groups "elixir-lang-core" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/elixir-lang-core/29c3511e-8cde-4433-be05-ab07749668ca%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
