User loginNavigation 
Type BombsPeople like blowing stuff up, explosions are great! I started wondering about type bombs, small expressions which have large type terms. Is there anything known about that, in particular for Haskell/ML since these are popular? The small bomb I know of employs 'dup' and is relatively well known. I.e., take `dup`
The repeated application gives back a type term which grows exponentially in the size of the expression.
(It depends on the type checker, of course, whether the type actually is represented exponentially.) You can lift `dup` further but can you grow faster? I tried `let t = (\f > f . f) in let d = (\x > (x,x)) in (t.t.t.t) d 0` which doesn't type check in ghci as a first order approximation. But I thought I would ask you, people. What is the fastest growing type term you can come up with? Or what term will keep a type checker really, really busy? By marco at 20180428 00:31  LtU Forum  previous forum topic  next forum topic  other blogs  3965 reads

Browse archivesActive forum topicsNew forum topics 
Recent comments
1 day 20 hours ago
2 days 19 hours ago
3 days 13 hours ago
3 days 22 hours ago
5 days 18 hours ago
6 days 24 min ago
6 days 11 hours ago
6 days 11 hours ago
1 week 2 days ago
1 week 2 days ago