Re: Dynamic scopes in Haskell

On Wed, Dec 01, 1999 at 01:33:01PM +0100, Ch. A. Herrmann wrote: > Hello, > > > operators with suitable associations defined). So > > my symbolic expression type should be an instance > > of the Num class so that the (+) operator can > > be overloaded for it. But, as the function has > > now thre

Re: Dynamic scopes in Haskell

On Wed, Dec 01, 1999 at 08:59:09AM -0800, Jeffrey R. Lewis wrote: > "Ch. A. Herrmann" wrote: > > > I had just a fast look at the following I found at the > > page "http://www.cse.ogi.edu/PacSoft/projects/Hugs/hugsman/exts.html" > > for dynamic scoping: > > > >min :: [a] -> a > >min = lea

Re: Dynamic scopes in Haskell

Simon Peyton-Jones wrote: > | - Does other Haskell implementations (ghc, nhc, hbc, ...) > | would provide this extension in next releases? (This way, > | even been an extension, my system would be portable) > > Jeff Lewis is well advanced with adding functional dependencies > into GHC; I beli

Re: Dynamic scopes in Haskell

On Wed, Dec 01, 1999 at 02:05:04PM +, Jerzy Karczmarczuk wrote: > José Romildo Malaquias: > > > One of the algorithms I have to implement is the > > addition of symbolic expressions. It should have > > two symbolic expressions as arguments and should > > produce a symbolic expression as the r

Re: Dynamic scopes in Haskell

"Ch. A. Herrmann" wrote: > I had just a fast look at the following I found at the > page "http://www.cse.ogi.edu/PacSoft/projects/Hugs/hugsman/exts.html" > for dynamic scoping: > >min :: [a] -> a >min = least with ?cmp = (<=) > > Actually, I'm not sure how referential transparency can be

Re: Dynamic scopes in Haskell

I had just a fast look at the following I found at the page "http://www.cse.ogi.edu/PacSoft/projects/Hugs/hugsman/exts.html" for dynamic scoping: min :: [a] -> a min = least with ?cmp = (<=) Actually, I'm not sure how referential transparency can be established with these implicit parame

Haskell Workshop

PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS Haskell Workshop Montreal, Canada, September 2000 The Haskell Workshop forms part of the PLI 2000 c

Re: Dynamic scopes in Haskell

Hello, > operators with suitable associations defined). So > my symbolic expression type should be an instance > of the Num class so that the (+) operator can > be overloaded for it. But, as the function has > now three arguments, it cannot be a binary operator > anymore. maybe, an ad-hoc soluti

Re: Dynamic scopes in Haskell

José Romildo Malaquias: > One of the algorithms I have to implement is the > addition of symbolic expressions. It should have > two symbolic expressions as arguments and should > produce a symbolic expression as the result. But > how the result is produced is depending on series > of flags that c

QuickCheck

Hi all, John Hughes and I have been working on a Haskell module called "QuickCheck", which allows one to express properties about Haskell functions in a program. The module also provides functions that can generate random test cases for these properties, and perform the testing. Here is an exam

RE: Dynamic scopes in Haskell

| - Does other Haskell implementations (ghc, nhc, hbc, ...) | would provide this extension in next releases? (This way, | even been an extension, my system would be portable) Jeff Lewis is well advanced with adding functional dependencies into GHC; I believe that he plans then to add dynamic

Dynamic scopes in Haskell

The scope: - Looking at the Hugs98 (November release) I found an interesting extension: dynamic scoped variables. (for reference, just read the Hugs98 documentation, that can be found at their site). This extension just com