0004608: Metaprogramming features

(0004610)
ccshan (reporter)
2008-09-12 20:24

Aye!

(0004611)
jdh30 (reporter)
2008-09-12 20:51

Agreed.

(0004612)
philou (reporter)
2008-09-12 21:00

Yup would like to get it integrated in mainline ocaml too

(0004613)
eaubin (reporter)
2008-09-12 21:13

It would be great if ocaml could incorporate basic metaprogramming!

(0004615)
taha (reporter)
2008-09-15 22:06

I too would like to see this happen, and would be happy to help.

(0004616)
ccris (reporter)
2008-09-17 07:34

Good idea.
It would also respond to a request appeared in the OCaml Journal:
Metaprogramming with MetaOCaml (27th July 2008)

(0004617)
moggi (reporter)
2008-09-17 13:59

I support the proposal of making the basic meta-programming features of metaocaml part of OCaml

(0004618)
jun0 (reporter)
2008-09-17 22:05

This would be a fantastic addition to ocaml!

(0004619)
ponderosaTX (reporter)
2008-09-17 22:35

I strongly support this initiative.

(0004622)
bpr (reporter)
2008-09-19 00:02

I'd like to see these useful capabilities added to OCaml soon.

(0004623)
John Malecki (reporter)
2008-09-19 01:46

I've used PE techniques at the companies VLSI Libraries and Artisan Components
to great effect but I used them with Scheme. It would be great to be able to
use them with Ocaml. Not having the PE capability in a production release of
Ocaml prevents me from using MetaOcaml at work.

(0004624)
williamc (reporter)
2008-09-19 09:18

We'd be interested to use this in the investment bank where I work.

(0004647)
herrmann (reporter)
2008-10-03 15:01

The metaprogramming constructs .< >., .~, .! are really
useful for type-safe run-time code generation and should
be made part of the standard OCaml distribution, to be sure
that they are available in all future versions of OCaml!

(0004649)
squirrel (reporter)
2008-10-03 16:46

I think this is a wonderful idea.

(0004650)
yallop (reporter)
2008-10-03 16:51

I support this proposal!

(0004655)
Yoric (reporter)
2008-10-03 17:57

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.

(0004657)
pdonadeo (reporter)
2008-10-03 23:24

I think it would be great having typed metaprogramming into the standard OCaml distribution.

(0004658)
warren (reporter)
2008-10-04 00:12

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!)

Notes
(0004610) ccshan (reporter) 2008-09-12 20:24	Aye!

(0004611) jdh30 (reporter) 2008-09-12 20:51	Agreed.

(0004612) philou (reporter) 2008-09-12 21:00	Yup would like to get it integrated in mainline ocaml too

(0004613) eaubin (reporter) 2008-09-12 21:13	It would be great if ocaml could incorporate basic metaprogramming!

(0004615) taha (reporter) 2008-09-15 22:06	I too would like to see this happen, and would be happy to help.

(0004616) ccris (reporter) 2008-09-17 07:34	Good idea. It would also respond to a request appeared in the OCaml Journal: Metaprogramming with MetaOCaml (27th July 2008)

(0004617) moggi (reporter) 2008-09-17 13:59	I support the proposal of making the basic meta-programming features of metaocaml part of OCaml

(0004618) jun0 (reporter) 2008-09-17 22:05	This would be a fantastic addition to ocaml!

(0004619) ponderosaTX (reporter) 2008-09-17 22:35	I strongly support this initiative.

(0004622) bpr (reporter) 2008-09-19 00:02	I'd like to see these useful capabilities added to OCaml soon.

(0004623) John Malecki (reporter) 2008-09-19 01:46	I've used PE techniques at the companies VLSI Libraries and Artisan Components to great effect but I used them with Scheme. It would be great to be able to use them with Ocaml. Not having the PE capability in a production release of Ocaml prevents me from using MetaOcaml at work.

(0004624) williamc (reporter) 2008-09-19 09:18	We'd be interested to use this in the investment bank where I work.

(0004647) herrmann (reporter) 2008-10-03 15:01	The metaprogramming constructs .< >., .~, .! are really useful for type-safe run-time code generation and should be made part of the standard OCaml distribution, to be sure that they are available in all future versions of OCaml!

(0004649) squirrel (reporter) 2008-10-03 16:46	I think this is a wonderful idea.

(0004650) yallop (reporter) 2008-10-03 16:51	I support this proposal!

(0004655) Yoric (reporter) 2008-10-03 17:57	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.

(0004657) pdonadeo (reporter) 2008-10-03 23:24	I think it would be great having typed metaprogramming into the standard OCaml distribution.

(0004658) warren (reporter) 2008-10-04 00:12	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!)

Issue History
Date Modified	Username	Field	Change
2008-08-28 17:09	carette	New Issue
2008-09-12 20:24	ccshan	Note Added: 0004610
2008-09-12 20:51	jdh30	Note Added: 0004611
2008-09-12 21:00	philou	Note Added: 0004612
2008-09-12 21:13	eaubin	Note Added: 0004613
2008-09-15 22:06	taha	Note Added: 0004615
2008-09-17 07:34	ccris	Note Added: 0004616
2008-09-17 13:59	moggi	Note Added: 0004617
2008-09-17 22:05	jun0	Note Added: 0004618
2008-09-17 22:35	ponderosaTX	Note Added: 0004619
2008-09-19 00:02	bpr	Note Added: 0004622
2008-09-19 01:46	John Malecki	Note Added: 0004623
2008-09-19 09:18	williamc	Note Added: 0004624
2008-09-23 20:16	doligez	Status	new => acknowledged
2008-10-03 15:01	herrmann	Note Added: 0004647
2008-10-03 16:46	squirrel	Note Added: 0004649
2008-10-03 16:51	yallop	Note Added: 0004650
2008-10-03 17:57	Yoric	Note Added: 0004655
2008-10-03 23:24	pdonadeo	Note Added: 0004657
2008-10-04 00:12	warren	Note Added: 0004658

Relationships