Hello aditya,
Saturday, April 3, 2010, 6:56:23 AM, you wrote:
Haskell. And I'm also wondering why metaprogramming is used much more
in Ocaml than in Haskell.
reasons are two-folded: haskell is more powerful language. in
particular, there are lots of generic programming approaches besides
TH.
Don Stewart wrote:
I think we don't see as much metaprogramming because of other language
features -- laziness, operator syntax, and type classes -- make a bunch
of common designs work without needing metaprogramming.
While true, there are also 2 other reasons for meta-programmers are not
On Mon, Apr 5, 2010 at 12:27 PM, Jacques Carette care...@mcmaster.cawrote:
Don Stewart wrote:
I think we don't see as much metaprogramming because of other language
features -- laziness, operator syntax, and type classes -- make a bunch
of common designs work without needing metaprogramming.
On Mon, Apr 5, 2010 at 7:05 PM, Jason Dagit da...@codersbase.com wrote:
On Mon, Apr 5, 2010 at 12:27 PM, Jacques Carette care...@mcmaster.ca
wrote:
2. people who care about types use a typed meta-language (like metaocaml)
instead of an untyped template layer atop a (fantastic!) typed language.
Jason Dagit wrote:
While true, there are also 2 other reasons for meta-programmers
are not all over Haskell:
1. efficiency nuts are already using C++ templates and don't see
why they would switch,
2. people who care about types use a typed meta-language (like
Casey McCann wrote:
Not to speak for Jacques,
:-)
and then you followed that up with a post with which I fully agree.
Jacques
but my impression is that while TH itself is
typed--it's just more Haskell after all--it doesn't do much to prevent
you from generating code that is not well-typed.
Hi all,
I would like to learn a little bit more about metaprogramming in
Haskell. And I'm also wondering why metaprogramming is used much more
in Ocaml than in Haskell.
Camlp4 (Ocaml's metaprogramming facility) doesn't seem to much more
powerful that Template Haskell. The former is celebrated in
aditya.siram:
Hi all,
I would like to learn a little bit more about metaprogramming in
Haskell. And I'm also wondering why metaprogramming is used much more
in Ocaml than in Haskell.
Camlp4 (Ocaml's metaprogramming facility) doesn't seem to much more
powerful that Template Haskell. The