Amos Robinson is a PhD student at UNSW, exploring fusion for functional languages. He also works part-time at Ambiata, implementing the Icicle query language.
He believes that functional programming is the best way to manage the complexity of programs, and that while existing languages can perform impressive optimisations, these optimisations are heuristic at best.
Furthermore, one cannot know whether these optimisations occur without inspecting the compiler’s output.He dreams of a future subset of Haskell, where slow programs are outlawed as type errors.
Talks I've Given
Icicle: Write Once, Run Once
Featuring Amos Robinson
When dealing large data sets that do not fit in memory, it is crucial to limit the number of accesses and iterations over the data set. However, in a high level language it may not be immediately obvious how many iterations a particular program will require. The number of iterations becomes even...practice