Typed metaprogramming languages

Posted by Jacques Carette on Stack Overflow See other posts from Stack Overflow or by Jacques Carette
Published on 2010-06-14T13:39:13Z Indexed on 2010/06/14 13:42 UTC
Read the original article Hit count: 200

Filed under:

metaprogramming

|

static-typing

I want to do some metaprogramming in a statically typed language, where both my programs and my meta-programs will be typed. I mean this in a strong sense: if my program generator compiles, I want the type system to be strong enough that only type-correct programs can be generated.

As far as I know, only metaocaml can do this. (No, neither Template Haskell nor C++ templates fit the bill -- see this paper).

© Stack Overflow or respective owner

Related posts about metaprogramming

python metaprogramming

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to archive a task which turns out to be a bit complicated since I'm not very good at Python metaprogramming. I want to have a module locations with function get_location(name), which returns a class defined in a folder locations/ in the file with the name passed to function. Name of a… >>> More
Metaprogramming - self explanatory code - tutorials, articles, books

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello everybody, I am looking into improving my programming skils (actually I try to do my best to suck less each year, as our Jeff Atwood put it), so I was thinking into reading stuff about metaprogramming and self explanatory code. I am looking for something like an idiot's guide to this (free… >>> More
Getting template metaprogramming compile-time constants at runtime

as seen on Stack Overflow - Search for 'Stack Overflow'
Background Consider the following: template <unsigned N> struct Fibonacci { enum { value = Fibonacci<N-1>::value + Fibonacci<N-2>::value }; }; template <> struct Fibonacci<1> { enum { value = 1 }; }; template <> struct Fibonacci<0> { … >>> More
Cannot cout data [C++] [metaprogramming]

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, Guys, reffering to last post I'm trying to output data while template is instantiated template <unsigned long N> struct binary { std::cout << N;//<---------------------------------I'M TRYING HERE static unsigned const value = binary<N/10>::value… >>> More
Java Code Generation (Metaprogramming, Reflection, wtv)

as seen on Stack Overflow - Search for 'Stack Overflow'
Does anyone knows a tool for Java (something like codedom for C#) that provides a way to generate Java code to a .java file? >>> More

Related posts about static-typing

What can I do with dynamic typing that I can not do with static typing

as seen on Programmers - Search for 'Programmers'
I've been using python for a few days now and I think I understand the difference between dynamic and static typing. What I don't understand is why it's useful. I keep hearing about its "flexibility" but it seems like it just moves a bunch of compile time checks to runtime, which means more unit tests… >>> More
Simulating aspects of static-typing in a duck-typed language

as seen on Stack Overflow - Search for 'Stack Overflow'
In my current job I'm building a suite of Perl scripts that depend heavily on objects. (using Perl's bless() on a Hash to get as close to OO as possible) Now, for lack of a better way of putting this, most programmers at my company aren't very smart. Worse, they don't like reading documentation… >>> More
Static Typing and Writing a Simple Matrix Library

as seen on Stack Overflow - Search for 'Stack Overflow'
Aye it's been done a million times before, but damnit I want to do it again. I'm writing a simple Matrix Library for C++ with the intention of doing it right. I've come across something that's fairly obvious in mathematics, but not so obvious to a strongly typed system -- the fact that a 1x1 matrix… >>> More
What functionality does dynamic typing allow?

as seen on Programmers - Search for 'Programmers'
I've been using python for a few days now and I think I understand the difference between dynamic and static typing. What I don't understand is under what circumstances it would be preferred. It is flexible and readable, but at the expense of more runtime checks and additional required unit testing… >>> More
Are there any empirical studies on the effect of different languages on software quality?

as seen on Programmers - Search for 'Programmers'
The proponents of functional programming languages assert that functional programming makes it easier to reason about code. Those in favor of statically typed languages say that their compilers catch enough errors to make up for the additional complexity of type systems. But everything I read on these… >>> More