> We haven't figured out macros yet. the racket lang team has investigated this heavily. https://www.youtube.com/watch?v=ABWLveMNdzg https://www.youtube.com/w

> We haven't figured out macros yet. the racket lang team has investigated this heavily. https://www.youtube.com/watch?v=ABWLveMNdzg https://www.youtube.com/watch?v=ABWLveMNdzg https://www.cs.utah.edu/plt/publications/popl16-f.pdf https://www.cs.utah.edu/plt/publications/popl16-f.pdf https://www.cs.utah.edu/plt/scope-sets/ https://www.cs.utah.edu/plt/scope-sets/ > Haskell, an implementation of typed category theory http://math.andrej.com/2016/08/06/hask-is-not-a-category/ http://math.andrej.com/2016/08/06/hask-is-not-a-category/