New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Metaprogramming features #4608
Comments
Comment author: ccshan Aye! |
Comment author: jdh30 Agreed. |
Comment author: philou Yup would like to get it integrated in mainline ocaml too |
Comment author: eaubin It would be great if ocaml could incorporate basic metaprogramming! |
Comment author: taha I too would like to see this happen, and would be happy to help. |
Comment author: ccris Good idea. |
Comment author: moggi I support the proposal of making the basic meta-programming features of metaocaml part of OCaml |
Comment author: jun0 This would be a fantastic addition to ocaml! |
Comment author: ponderosaTX I strongly support this initiative. |
Comment author: bpr I'd like to see these useful capabilities added to OCaml soon. |
Comment author: John Malecki I've used PE techniques at the companies VLSI Libraries and Artisan Components |
Comment author: williamc We'd be interested to use this in the investment bank where I work. |
Comment author: herrmann The metaprogramming constructs .< >., .~, .! are really |
Comment author: squirrel I think this is a wonderful idea. |
Comment author: @yallop I support this proposal! |
Comment author: Yoric I would simply love that. I can think of plenty of problems which could be solved by such a feature, from boilerplate stuff to optimizations. More than that: I can well see myself using this. |
Comment author: pdonadeo I think it would be great having typed metaprogramming into the standard OCaml distribution. |
Comment author: warren I think this would be great thing to have in the core distribution. It seems that as a feature it overlaps with camlp4 to a large extent, so it would be nice to see these brought more closely together into a unified meta/macro extension. I've never been thrilled with the syntax chosen for metaocaml though. [|...|] would be a much more natural for quasi-quoting since this what all the academic papers use, although unfortunately it's already in use for arrays. (FWIW, I would probably use metaocaml features much more often than arrays!) |
Comment author: @mshinwell Discussion about incorporating parts of MetaOCaml comes up fairly regularly, but given there have been no specific patches proposed here, I think this old issue is redundant. When and if those responsible for MetaOCaml (or others) would like to pursue further the question of integration we will be pleased to receive patches and discussion via Github as is now usual. That will give a substantive basis on which to proceed. |
Original bug ID: 4608
Reporter: carette
Status: closed (set by @mshinwell on 2016-12-12T16:14:49Z)
Resolution: not a bug
Priority: normal
Severity: feature
Version: 3.10.2
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @bobzhang ronan.lehy@gmail.com th5 pdonadeo moggi Yoric @glondu till @yallop @hcarty hirokawa @dbuenzli "Christoph Bauer" @oandrieu @mmottl
Bug description
I really wish that the basic features of metaocaml, namely .< >., .~ and .! were included in OCaml proper. The many other experimental features of metaocaml could stay 'experimental', those are the 3 which are sorely needed.
Note that OCaml could be really ahead of Haskell here (with its untyped Template Haskell, which is closer to camlp4 than to metaocaml) by being the first production language to have typed metaprogramming facilities.
The text was updated successfully, but these errors were encountered: