You said that wrong. I think that what you meant to say was:

One does not simply... break userspace.

Yeah, this is a really nice feature; on the couple of rare occasions where an update completely borked things I was able to go from unbootable to everything back up and running in half an hour.

Hi! To be honest, I occasionally take a peek at Scryer Prolog, but it seems to have a lot of grand ambitions without showing a lot of progress towards meeting them; it's hard to see why I should care about it compared to a very mature and full-featured system like SWI prolog.

Since you say you are involved in this project, please take this opportunity to change my mind! :-)

Sure, but what's the end game supposed to be, then? Just making the same request over and over again indefinitely?

If that is what you are worried about, then isn't the easy solution to build thicker walls?

To clarify, it is not that you won't see content from other instances, it is that your instance only stores content from another instance when someone on your instance has subscribed to it. So if you decided to subscribe to a bunch of things on other instances with hashtags matching your interests, then you and other people would start to see this content showing up when searching for the hashtag on your instance.

That's not really an argument against lenses so much as an argument against extreme point-free style.

fresh :: FDState s c -> (Int, FDState s c)
fresh s = (i, inc_s & alive %~ Set.insert i)
  where (i, inc_s) = s & nextID <<+~ 1

Edit: Fixed some of the operators being replaced with HTML entities. Edit 2: Hmm, they keep showing up fine in Preview but then getting replaced again. I'm not sure what I'm supposed to do to make them work.

I agree with your second point but not the first, because presumably the code processing user input has a better idea of what to do if the input is invalid because it is an empty list then some other random part of your program that requires a non-empty list but finds out that it has been given an empty list instead.

In what way do you think it would feature python development?