# blog

Programming
• ## Compiler Optimizations for Functional Languages

A question in compiler design is: what optimizations should a given compiler perform? Optimizations for functional languages in particular are not well-known; it is not obvious which optimizations will provide the greatest speedup on user code.

• ## Termination Checking Is Theorem Proving

The totient function is defined for positive integers as:

• ## Polyglot Is the Fastest Code-counting Tool Available

As you may know, I have been working on polyglot for some time now. It is now the second-most popular ATS project on github0 and it has reached a state of relative maturity.

• ## Benchmarking the Edit Distance

As a follow-up to my post on computing the Levenshtein distance in ATS, I figured I'd write up some of the actual benchmark results, as well as some of the subtleties involved in benchmarking various ecosystems.

• ## A Look at the Packages on Hackage

Initially, I had written hackage-fetch to see if there was any use of coelgot anywhere on Hackage. At the time, there was not, but this has changed due to my gmpint package. As of writing, it is not surprisingly the only use of co-(Elgot algebra)s on the entirety of Hackage.

|