... example, the more I want to blow that brain to smitherines.  Ah...whatever happened to the spiritually uplifting, hehe. It's unfair to place the blame at another persons doorstep. I find Sir Fredericks musings to be unlifting.. Except for the political soap opera junk. The more basic the better. Fuck the global stories. ME-ME-ME. ;-) http://www.youtube.com/watch?v=R795KiMD4zs

... the recursive knot. . Workarounds for polymorphic recursion. . Solutions to the expression problem. . Manual lambda-lifting to avoid unnecessary closures in OCaml. Manual lambda-unlifting to exploit branches in F#. . Representation of symbolic expressions and abstract syntax trees. . Dynamically-typed interfaces. Can you think of any others? The...

.... . Untying the recursive knot. . Workarounds for polymorphic recursion. . Solutions to the expression problem. . Manual lambda-lifting to avoid unnecessary closures in OCaml. Manual lambda-unlifting to exploit branches in F#. . Representation of symbolic expressions and abstract syntax trees. . Dynamically-typed interfaces. Can you think of any others? -- Dr Jon D ...

... is powerful enough to express the proposition 1=2 as a type then you can even "prove" it with _|_ as the proof. Non-total languages are unsound logics. People often talk about the unlifted type - especially in languages whose semantics can be defined comfortably without _|_! - rather than the lifted one, on the basis that they're not interested in proofs that may as well be "because I ...

...out-of-context... Anyway, the fact that there are people like beginanew, Fajkaum among others who are attempting to cause disorder in our country is helping us to expain to SCL members who is working hard to unlift Laos and its people for a better life and who is trying to make trouble. Anyway thank you for your good comment. Sok dee On Apr 24, 7:04 am, "Phi Dung Mo" <phidun...@...