[Haskell-cafe] fast, strongly typed heterogeneous collections

[Khudyakov Alexey]

В сообщении от 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.