RE: Usability of M$ specs [was: Haskell and the NGWS Runtime]

2000-09-14 Thread Don Syme
Amongst other projects, I'm working on aspects of a GHC based Haskell compiler for .NET. We're currently at a fairly early stage, but if by "system dependent" you mean "Windows dependent", then I can happily say that it looks like a basic, functioning Haskell system should not need to access any

Re: Usability of M$ specs [was: Haskell and the NGWS Runtime]

2000-09-14 Thread Fergus Henderson
On 11-Sep-2000, Andrew Kennedy <[EMAIL PROTECTED]> wrote: > Perhaps some of the non-MS > .net compiler implementers would like to comment further? One serious usability problem with the Microsoft .net specs that I have seen is that Microsoft only provided them in a proprietry documentation format

RE: Usability of M$ specs [was: Haskell and the NGWS Runtime]

2000-09-14 Thread Doug Ransom
Are there formal semantics for either C# or common runtime? > -Original Message- > From: Matthias Kilian [mailto:[EMAIL PROTECTED]] > Sent: Monday, September 11, 2000 8:32 AM > To: Andrew Kennedy > Cc: Erik Meijer; Ketil Malde; [EMAIL PROTECTED]; [EMAIL PROTECTED]; > Marcin 'Qrczak' Kowal

Re: help, classes!

2000-09-14 Thread Jan de Wit
> > "Fergus" == Fergus Henderson <[EMAIL PROTECTED]> writes: > > Fergus> Basically there is no way to do this in Haskell. About the > Fergus> best you can do is to create your own `EqMonad' class, which is > Fergus> like `Monad' except that it has an `Eq a' constraint o

RE: Patterns Catalog

2000-09-14 Thread Doug Ransom
Unfortunately there are only 3 idioms cataloged. Maybe someone could get a thesis or textbook out of this. Here is a link to a description of such a book for OO: http://www.chapters.ca/books/details/default.asp?ISBN=0201633612&mscssid=L5D 5PBN270S92G3S00AKHCJKTTGEF1C7&WSID=1009F699A2218A0411D

Re: XML Programming Languages...

2000-09-14 Thread Ketil Malde
Andy Moran <[EMAIL PROTECTED]> writes: > Jino Hyun wrote: >> - Whether there is any XML Programming Language. > There is XMLambda, developed by Mark Shields and Erik Meijer. And, probably more familiar to the XML camp, DSSSL, which is (sorta) a Scheme dialect for manipulating XML (and SGML)

Re: help, classes!

2000-09-14 Thread kirstin reese
> "Fergus" == Fergus Henderson <[EMAIL PROTECTED]> writes: Fergus> Basically there is no way to do this in Haskell. About the Fergus> best you can do is to create your own `EqMonad' class, which is Fergus> like `Monad' except that it has an `Eq a' constraint on the Fergus> t

Re: XML Programming Languages...

2000-09-14 Thread Sylvan Ravinet
Hello, On Thu, 14 Sep 2000, Jino Hyun wrote: > - What XML Programming Language is. Maybe you refer to XSL and XSLT. There are specifications on http://www.w3.org/ One other possibility would be to define a programming language using a XML syntax. This programming language could then be tran

Re: XML Programming Languages...

2000-09-14 Thread Andy Moran
Jino Hyun wrote: > - Whether there is any XML Programming Language. There is XMLambda, developed by Mark Shields and Erik Meijer. It's a language for conveniently constructing and pattern-matching XML, essentially a higher-order, polymorphic functional programming language based on XML. The b

Re: XML Programming Languages...

2000-09-14 Thread Ketil Malde
"Jino Hyun" <[EMAIL PROTECTED]> writes: >   - What XML Programming Language is. Dunno - a language with good libraries for XML parsing and validation, perhaps? I'm using Haskell to take a bunch of HTML-pages, extract data from them, manipulate it a bit, and generate a new HTML-page with the