Comment by voldacar

Cool. How necessary is the type system? Could you make something similar for lispy languages?