Unfortunately the arbitrary "leave everything un-optimized" also misses the point because in practice we don't. > (d)evolves into a lookup table We can make t

Unfortunately the arbitrary "leave everything un-optimized" also misses the point because in practice we don't. > (d)evolves into a lookup table We can make the arbitrary decision not to accept that, and instead try to use our best judgement on what optimizations to accept. "One can, with sufficient effort, essentially write C code in Haskell using various unsafe primitives. We would argue that this is not true to the spirit and goals of Haskell, and we have attempted in this paper to remain within the space of "reasonably idiomatic" Haskell. However, we have made abundant use of strictness annotations, explicit strictness, and unboxed vectors. We have, more controversially perhaps, used unsafe array subscripting in places. Are our choices reasonable?" http://www.leafpetersen.com/leaf/publications/ifl2013/haskell-gap.pdf http://www.leafpetersen.com/leaf/publications/ifl2013/haskel...