#nanopass — Public Fediverse posts

Nanopass Framework: Clean Compiler Creation Language

https://nanopass.org/

#HackerNews #Nanopass #Framework #Clean #Compiler #CompilerCreation #Language

interesting Cadence Research Systems-oriented Cisco patent featuring Andy Keep as an inventor:

"Theres a system compiler comprising: block 1 compiler to compile logic for a logical block in a first language, the 1st language being a DSL & the 1st logic block being switching logic for a network switch; a 2nd block compiler to compile logic for a 2nd logical block in another DSL, the 2nd language being a non-DSL..."
https://patents.justia.com/patent/10558440

#chez #scheme #nanopass #cisco #compilers

@mzan @pfpoitras

Totally, and the #nanopass framework is a joy to use. While I'm starting to get interested in #LLVM, primarily because the learning resources are immense, I'm not sure why anyone would choose it except for very low-level matters, or targeting something like SPIRV.

Nora: an experimental #Racket implementation using #MLIR (the megapass variant of the #nanopass framework from #LLVM)

https://github.com/pmatos/nora

If #Grothendieck were a programmer he would have been a #lisp hacker. His advice to construct simplified theories to interpret the problem at hand has deep #nanopass and #LanguageOrientedProgramming vibes.

#scheme #racket

andy keep's #nanopass framework for chez #scheme should become the #LLVM of functional programming