We are pleased to announce the first release of the
Haskell Object Observation Debugger (HOOD)
http://www.haskell.org/hood/
HOOD is a small post-mortem debugger for the lazy functional language
Haskell. It is based on the concept of observation of intermediate
data stru
31 Jul 2000 12:33:31 -0700, Carl R. Witty <[EMAIL PROTECTED]> pisze:
> One simple constraint which proves termination is that every proper
> subterm of an "antecedent" must also be a proper subterm of the
> "conclusion". An instance declaration like
>
> (P (F [a]) (G [(a, b)]) (H a [b]), Q
"Claus Reinke" <[EMAIL PROTECTED]> writes:
> Fergus (and others): how about compiling a summary of the
> relationships (a kind of dictionary of terminologies) ? In
> particular, what is the state of the art in logic programming
> wrt determinism and termination analysis? Can you
> recommend a
[This may actually be the first call for participation on some of the
lists.]
The deadline for early conference registration and hotel reservations is
August 25th (please see below for details).
CALL FOR PARTICIPATION
PLI 2000
| Section 6.1.6 of the report says that "Functions are an instance of the
| Show class but not
| Read." How are functions meant to be shown? The standard prelude
| 'specification' doesn't say anything about it.
That's a typo. Section 6.3.3 says
``All Prelude types, except function types and IO t
Hello all,
Section 6.1.6 of the report says that "Functions are an instance of the
Show class but not
Read." How are functions meant to be shown? The standard prelude
'specification' doesn't say anything about it.
--
Tony Davie, Computer Science, St.Andrews University, North Haugh,
St.Andrews
Sc
Hello!
On Mon, Jul 31, 2000 at 12:40:07AM +, Bill Halchin wrote:
> Hello Haskell Community
> Where can I find the source for the Socket wrapper code,
> SocketPrim.hs??
If you're using GHC, in fptools/hslibs/net/. If you just want to use
it, import it and compile/link with -syslib net.
Hello!
On Mon, Jul 31, 2000 at 12:27:52AM +, Bill Halchin wrote:
> Hello Haskell Community,
> Is there a tutorial or simple sample Haskell scripts that
> demonstrate the use of Haskell Thread??. I know that Haskell
> threads are monad.
import Concurrent
main = forkIO a >> b
where
a
