Our compiler/codegen [1] is all written in Haskell. That's a very significant part of Bond, but I wouldn't say that "everything else is just client libraries".

Our compiler/codegen [1] is all written in Haskell. That's a very significant part of Bond, but I wouldn't say that "everything else is just client libraries". All currently supported languages (C++, C# and Python) heavily rely on meta-programming [2] so the libraries for them are quite sophisticated. [1] https://microsoft.github.io/bond/manual/compiler.html https://microsoft.github.io/bond/manual/compiler.html [2] https://microsoft.github.io/bond/manual/bond_cpp.html#transforms https://microsoft.github.io/bond/manual/bond_cpp.html#transf...