3 ms·
This does not appear to pass the criterion I gave: > used by someone in a production software setting to solve a problem not related to category theory If thi
by j2kun 3y ago
This does not appear to pass the criterion I gave:
> used by someone in a production software setting to solve a problem not related to category theory
If this stuff or its derivative work is used in production in a mainstream compiler (GHC, perhaps?), then I would see it differently.
- nextaccountic 3y agothere was a startup that used this to compile functional programs into circuits not sure if it went anywhere, but it even included self modifying fpga-like circuits iirc