by Sam Westrick, Jatin Arora, and Umut Acar on Jan 13, 2022 | Tags: functional programming, garbage collection, memory management, parallelism
You have heard your grandmother tell you many times: parallel programming is hard. In 2022, does it still have to be? Back in grandma’s heyday, they knew a cool and breezy way to do parallelism: pure functional programming. They knew that pure functions are parallel by default, being free of pesky concurrency bugs and all. But, parallel functional programming remained slow and steady, resisting practical efficiency for decades. This post shows the way towards solving the performance problems of functional programming.
Read more...
by Justin Hsu on Jan 28, 2021 | Tags: functional programming, programming paradigms, static analysis, teaching, type systems
How can we refocus and modernize the undergraduate “programming paradigms” course?
Read more...
by Jeremy Gibbons on Dec 1, 2020 | Tags: formal specifications, functional programming, nondeterminism, randomized algorithms
Sometimes functions are not enough.
Read more...
by Jeremy Gibbons on Nov 25, 2020 | Tags: algorithms, functional programming, mathematical proof, optimization
Calculating a greedy algorithm for an optimization problem, functionally.
Read more...
by Jeremy Gibbons on Nov 17, 2020 | Tags: algorithms, functional programming
Why reason *about* algorithms, when you can reason *with* them?
Read more...