eliminator

The idea is that data is represented by its eliminator, so you kind of get pattern matching in javascript.

Idris does however recover parametricity anyway for types, since it lacks an eliminator for the universe (i.e.

Turns out that somebody's already invented it (search for 'self eliminator chess') and they considered it to have potential.

The eliminator for Maybe (a -> r) -> r -> Maybe a -> r means you only access the `a` if it's there and the access/matching are inextricably linked.

I guess I'm mostly curious about a minimal example of useful code that a dead code eliminator will incorrectly optimize.

I preferred Eliminator and Frogbot to the Reaper bot because they were simply a little less perfect in how they played.

One more tip: try Gear Aid Revivex Odour Eliminator (formerly Myrazime).

(Step f seed, seed) and then you can write an eliminator for this type which just handles each step.

Self eliminator chess sounds like an interesting dynamic.

As far as I can tell, I won't have the problem of having nested functions returning before their parent does because of the eliminator model.

That approach requires some ergonomic sacrifices (e.g., having to use a reified eliminator rather than the built-in `switch` statement), and people using those languages may prefer convenience over strong guarantees.

(I've occasionally used a duplicate file eliminator that finds dups over a certain size and replaces them with symlinks.

Edit: tel's comment is quite good as-is, but I'd like to add that part of what makes ST nice isn't just having an eliminator, but also so you have a more precise delineation of what "effects" could happen.

Because of the problem, the Xerox company provided a "scorch eliminator", which was actually a small fire extinguisher, along with the copier.[1] Ralph Nader was among those to complain about the copier fires, reporting that the machine at his office in Washington had caught fire three times in four months.

For a similar, albeit a little older, game that you can play in mame today, check out Gremlin's 1981 game Eliminator.