anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Removes the matcheds that slowed down sbcl compilation time in geb.lisp #28

Closed mariari closed 1 year ago

mariari commented 1 year ago

Before it was 0.75 seconds per function, meaning the file would take over a second to load, which is much too slow when we start to write a lot of functions.

Another solution is to wrap it in a declare/declaim in SBCL only that turns speed to 0 just so it doesn't optimize the code as much.

However since these don't impact readability much, I don't see a problem in just changing it over to the typecase-of variant