This isn't a specifically Haskell related question, but has any one seen any
applications of Internal Set Theory (Edward Nelson's approach to non-standard
analysis) to functional programming or symbolic manipulation. I'm just
beginning to learn about IST, but at least superficially it's
Hello, I'm an undergraduate student in mathematics. I don't really know
much about Quantum Computing, but i'm interesting in proving that the
Hindley-Milner type system is still safe if you allow supper-position.
(This is all after restricting to reversible computations) I don't think
this
Is there a way to get Haskell give an arbitrary user defined compile time
error? For example
if true then 0 else ERROR "Fix the source!"
would return 0, but
if false then 0 else ERROR "Fix the source!"
would give a compile time (not runtime) error and print the text. The
reason is that for
This is in response to your message about removing the overloading of list
operations in ``Questions on the Table''---actually it more in response to the
message about removing monad comprehension. I'm pretty new to Haskell (and
functional programming in general), but my understanding is that