[Haskell-cafe] Re: System.Posix

Galchin Vasili vigalchin at gmail.com
Mon Oct 15 23:39:10 EDT 2007


    I am fairly familiar with 1st order  logic  ... hence I think I
understand where Z (Zed) is "going" ... i.e.
http://en.wikipedia.org/wiki/Z_notation. It seems to be based on the ZFC
formal notion of set theory.

1) I have a formal spec in Z (Zed) and the implementation is in ANSI C. Can
I (easily!) develop a Haskell implementation from the Zed`specification? The
reason I ask is that I don't want to waste a lot of time reading the Zed
spec if useless.

Kind regards, Vasili Galchin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20071015/f2d0d0ca/attachment.htm

More information about the Haskell-Cafe mailing list