/explore
|
You are here 
|
guillaume.baierouge.fr | ||
| | | | |
www.chriswarbo.net
[AI summary] The post explores embedding imperative languages like Bash into Haskell using free constructions to enable compile-time optimization and testing of foreign scripts. |
|
| | | | | ||
| | | | |
lambdaland.org
Theres a neat paper Type Systems as Macros by Chang, Knauth, and Greenman [1] that describes how to implement a typed language using an untyped host language and macro expansion. The paper is neat, but I found the code hard to followthe paper uses a compact notation thats convenient for print, but not so much for reproducing on ones own. This post is my attempt to implement and explain in more accessible terms whats presented in the paper. |
|
| | | | | ||
| | | | |
www.avanderlee.com
Macros in Swift allow you to extend the compiler with custom build errors and code generation to eliminate extraneous boilerplate code. |
|
| | | | | ||
| | | | |
msm.runhello.com
|
|
| | | |||
