On: Go generate: A proposal for a Go preprocessor

[zuzun]

So how many programming languages besides LISP are powerful enough to support turning Protocol Buffers into code during compilation? And is this the ultimate must have?

[logicchains → zuzun]

It could be done in OCaml or Haskell, considering they both have compile-time AST generation/manipulation, but I'm not sure if anyone's written an actual implementation of this. Nimrod too, as that has AST macros. As does Elixir.

[pjmlp → zuzun]

D, Rust, Nim(rod), Template Haskell, OCaml, C++...

[mseepgood → pjmlp]

I don't think these can open and read .proto files during compilation.

[pjmlp → mseepgood]

D has meta-programming and compile-time evaluation, including reading files.

I bet C++ can do it with some clear use of template metatprogramming, compile time evaluation and processor macros.

Nim has meta-programming capabilities, including reading files.

Not sure about Template Haskell, though.

[thesz → pjmlp]

Template Haskell code can runIO I/O actions, including reading files.

[pcwalton → mseepgood]

Rust can.

[tuxychandru → pcwalton]

Are you referring to compiler plugins like the one providing regex! macro or is it something else?

[wycats → tuxychandru]

Yes, compiler plugins. For a relevant example, check out the Rust docopt crate[1].

An identical technique could be used for yacc or protobufs.

[1]: https://github.com/docopt/docopt.rs

[jeremyjh → mseepgood]

Haskell can, but there is not an implementation that does this.

[hawkice → jeremyjh]

To be clear for the Haskell newbies, he's talking about an implementation of the protobuf library, not Haskell. You can fairly easily lift from Template Haskell types into IO in GHC (not sure about TH in other compilers).

[ben0x539 → zuzun]

F# type providers sound like they're for this sort of thing. I expect Scala has a similar macro facility. Nemerle can probably do it too.

[natefinch → zuzun]

I don't want my language to be that complicated. "Powerful" has nothing to do with it.