Saul Shanabrook

λω for Metadsl

2019-04-01

I think that metadsl is a λω / System F-ω language.

Should we represent the type system outside of the Python representation?

Probably, at the moment, no. Let's just represent it implicitly using Python's type signatures.

http://okmij.org/ftp/tagless-final/