
Functional Algorithm Design, Part 1
Calculating a greedy algorithm for an optimization problem, functionally.
Calculating a greedy algorithm for an optimization problem, functionally.
Fast “metal languages” like C and C++ are important, but code is increasingly written in inefficient “irrational exuberance” languages like Python and Javascript. We in the research community can develop technology to make them run better.
From its beginning 15 years ago, gradual typing is now part of everyday development practice for massive code bases at companies from Facebook to Microsoft to Stripe to Dropbox, all of which have developed their own gradual type systems. In this post, we cover the goals of gradual typing, why it’s had such an impact already, and what remains to be accomplished.
On May 27, 2019, Laurie Hendren, Professor of Computer Science at McGill University, Montreal, passed away after a long illness. She leaves her daughter Jane and husband Prakash Panangaden. Laurie shared the Sable Lab with Clark Verbrugge.