Member since 1 year
Specialises In (based on submitted proposals)
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.