Discussion:
static typing + macros?
(too old to reply)
raould
2009-04-27 23:54:10 UTC
Permalink
metaocaml's release was 2006, seems a little not-so-fresh. what's the
current state of the art wrt statically typed languages (a) that are
alive + kicking and (b) have good (e.g. hygenic) macros? there's stuff
like boo and nemerle. i guess i'd hope for something on the jvm, as
much as i appreciate what .net is doing. there's clojure, but that
isn't statically typed. there's typed plt-scheme, maybe that's nifty.

ta.
Paul Rubin
2009-04-28 00:27:41 UTC
Permalink
Post by raould
metaocaml's release was 2006, seems a little not-so-fresh. what's the
current state of the art wrt statically typed languages (a) that are
alive + kicking and (b) have good (e.g. hygenic) macros? there's stuff
like boo and nemerle. i guess i'd hope for something on the jvm, as
much as i appreciate what .net is doing. there's clojure, but that
isn't statically typed. there's typed plt-scheme, maybe that's nifty.
Does Template Haskell count?
Paul Sujkov
2009-04-28 01:04:53 UTC
Permalink
Post by raould
metaocaml's release was 2006, seems a little not-so-fresh. what's the
current state of the art wrt statically typed languages (a) that are
alive + kicking and (b) have good (e.g. hygenic) macros? there's stuff
like boo and nemerle. i guess i'd hope for something on the jvm, as
much as i appreciate what .net is doing. there's clojure, but that
isn't statically typed. there's typed plt-scheme, maybe that's nifty.
ta.
Hi,

Haskell do have quite good macrosystem via the Template Haskell GHC
extension:

http://haskell.org/haskellwiki/Template_Haskell
http://haskell.org/haskellwiki/Quasiquotation

not so flexible as the CL macros, but alive and kicking
raould
2009-04-28 17:11:24 UTC
Permalink
Re: Template Haskell, thanks for the reference. I should go learn that!
Jon Harrop
2009-04-28 22:17:00 UTC
Permalink
Post by raould
metaocaml's release was 2006, seems a little not-so-fresh. what's the
current state of the art wrt statically typed languages (a) that are
alive + kicking and (b) have good (e.g. hygenic) macros? there's stuff
like boo and nemerle. i guess i'd hope for something on the jvm, as
much as i appreciate what .net is doing. there's clojure, but that
isn't statically typed. there's typed plt-scheme, maybe that's nifty.
You may be interested in camlp4. Not for the faint of heart and the
documentation is lacking but it is a very powerful and useful tool that is
being widely adopted in the OCaml community.
--
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?u
raould
2009-04-29 17:19:26 UTC
Permalink
Post by Jon Harrop
You may be interested in camlp4. Not for the faint of heart and the
documentation is lacking but it is a very powerful and useful tool that is
being widely adopted in the OCaml community.
for sure i should have great respect for camlp4, but i'm scared that
it is complex and not an ideal tool. but of course we do not live in
an ideal world so maybe that's just as good as it gets and i should be
so lucky :-)

Continue reading on narkive:
Loading...