PYFL 2.0 MANUAL
book
Bill Wadge's Blog
Just another WordPress.com site
Latest posts
In Memoriam: John W. Addison Jr, my Phd Advisor. [4200 views]
John Addison (1930–2025) died March 7, 2025, at the age of 95. He was my PhD advisor at UC Berkeley, and I count myself extraordinarily lucky to have worked under his guidance. My condolences go out to his family. When Continue reading
A Functional Approach to Dictionaries
Dictionaries are extremely useful data objects. A dictionary is an associative store, basically a set of key-value pairs. A dictionary takes a key and returns the associated value. Python has dictionaries and the Python engineers have put a lot of Continue reading
Functional OO in PyFL [130 views]
For along time I thought about adding object-oriented features to PyFL but couldn t figure out how. Classes and methods don t seem to fit into the declarative model, where all objects are immutable. But then I stumbled on an answer almost Continue reading
PyFL and its While Clauses [150 views]
[This is another excerpt from the paper we were going to submit to ICFP 2025. Unfortunately it was immediately rejected because we included our names, contrary to the instructions that it is anonymous. Sigh] PyFL is a pure and lazy Continue reading
The Yin and Yang of Programming [3100 views]
[This is from a paper we re submitting to the International Conference on Functional Programming (ICFP 2025)][update: the paper was rejected because we included our names, violating anonymity] Introduction Recursion and iteration are the Yin and Yang of programming. Conventional languages Continue reading
The Root of all Evil- more sayings [240 views]
We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil. ~ Donald Knuth Both women and computer science are the losers when a geeky stereotype serves as an unnecessary gatekeeper Continue reading
“Computers are Useless” and Other Sayings [500 views]
Computers are useless. They can only give you answers. ~ Pablo Picasso Science is to computer science as hydrodynamics is to plumbing. ~ Stan Kelly-Bootle Back then, the entire Internet consisted of two slow, boxcar-sized UNIVAC computers about 50 feet Continue reading
Old Masters, New Technology
Ive been looking at paintings a lot lately, and started to wonder, what would the old masters like Rembrandt make of new technology: trains, cars, TV etc? In particular, what would they make of computers and smart phones. How would Continue reading
The complete story of Gödel incompleteness. [4300 views]
The famous mathematician Kurt Gödel proved two incompleteness theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logic. Tarski described what exactly was an interpretation and what it meant for a Continue reading