2 posts tagged with "performance"

I'm looking into performance differences between integers and int32s in Koka.

First blog post about readings of papers. This one is called Better Defunctionalization through Lambda Set Specialization.

The basic idea is to keep track of the lambdas that could flow to a particular location in the type system as a sort of set / effect type.

This allows for a large majority of call sites to reference first order functions, with just tags for which lambda is being called.