Viewing profile — edwardkmett

"Use our bouncer or else." Sounds like a very democratic, open source, do what you will solution to me.

This has been the major reason why #haskell didn't try to move more forcefully. We'd like to get some of the old logging bots moved over, etc. We have some number of users who conn…

(Sorry, Lindsey, not Lindsay.)

Without the propagators themselves being monotone they don't have enough to ensure determinism. They also don't have a guarantee of termination. e.g. repeatedly taking Heron steps …

Indeed. Our old discussions about "omega-continuous semiring homomorphisms" as the way to try to make something half-way between Dyna and the datalog bits I was working on have bee…

Talk about timely, I recently took the opportunity to unmothball the old propagators idea and have been running a bunch of ideas past Sussman's former student Alexey Radul on a fai…

On the other hand, here's a problem. Extend your numeric type tower to handle whatever new numeric types I come up with in an internally consistent manner. In haskell I have number…

Nah, it is a type of numeric ID's for different types of things. The parameter 'a' is just a phantom type parameter to keep you from mixing up a mesh ID with a texture ID.

import Control.Lens and let us use two components from lens: rewriteOf :: Setter' a a -> (a -> Maybe a) -> a -> a which can take a rewrite rule and apply it to any 'self-similar' s…