3 ms·
Excited to see how this develops! I'm hoping that they share more examples of how this works in the near future.
by photon_collider 3y ago
Excited to see how this develops! I'm hoping that they share more examples of how this works in the near future.
- josevalim 3y agoThe examples will be very gradual - no pun intended - as we need to go through each Elixir construct and either add inference (if a pattern or a guard) or type checking rules. Right now we infer and type check one single construct (bitstring) but the foundation is there to build on.