Inspiration

[mewmew]

This is a meta-issue collecting sources of inspiration for Galvin.

• Garbage collection and type inference.

  • If we at a later state decide to implement our own GC, instead of simply relying on the Go GC (as we do when transpiling to Go), this may be a source of inspiration.
  • http://okmij.org/ftp/ML/generalization.html

• Get inspiration from Funky :)

  • @karlek, we may do a video chat with @faiface to learn more about Funky. In particular, @faiface mentioned that they have a novel approach to handling IO and other side effects, would be great to get insight into how this works.