Re: [Haskell-cafe] fast, strongly typed heterogeneous collections

В сообщении от 19 февраля 2010 15:20:30 Serguey Zefirov написал:

And, actually, what looks like O(n) at the compile time is O(1) at runtime. This is so because it is really hard to create types at runtime. ;)

What did you mean by "really hard"? One have to use black magic and ask demons for help or possible but very difficult.