Michael Peyton Jones
Michael Peyton Jones
### Description `PATH_DIRS` can make completion very slow depending on your `PATH` (>10s). It is instant without it, and the `PATH_DIRS` feature doesn't seem *so* great. I observed this for...
If I run `bash -c 'cat $(ls | selecta)'` and `^C` out of the `selecta` prompt, then I get the following error: ``` /home/michaelpj/bin/selecta:782:in `block in command': Command failed: "stty...
I'm a bit confused. I thought `niv` would use `nix-prefetch-git` or similar to get the hash that it puts into `sources.json`, which should also put the downloaded source in the...
"Topological sorting" is under-specified wrt the ordering of the independent vertices at each "level" of the sort. We could reflect this in the output type, by returning something like `[Set...
A mild annoyance. Often you want to topologically sort your SCCs after condensing them. Indeed, part of the point is to get rid of cycles so your topological sort is...
Seems like there are much the same considerations as for https://github.com/snowleopard/alga/issues/9. Again, I think the main driver would be getting rid of the type family. We could have both, as...
I understand that the intention of `ToGraph`, like `Foldable`, is that some of the methods can be overridden to provide better performance. But in practice it seems like the only...
Here it is, a prototype interpretation of sums and products in PLC. Unfortunately, it has garbage performance. Significantly worse than master. Products alone was ~2-5% slower, and sums makes it...
This PR tries to put certain variables into a global environment represented as a single mutable array. See `Globalify.hs` for a note explaining the approach. However: it's not faster! It's...
Another one of Ed's suggestions. I got rid of annotations and replaced names with `Unique`s directly, which we can even unpack into the term. This seems to have better Core:...