[Haskell-cafe] Where is "Typing Haskell in Haskell"?

Hi Mark, Cc Haskell-café,   It seems the OGI links for THIH have gone dead. Is there any preferred download location for THIH these days? I couldn’t spot anything.   Thanks, Ralf   ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.

Re: [Haskell-cafe] Re: Why Haskell?

Bulat Ziganshin <[EMAIL PROTECTED]> writes: >> The problem I'm having with SQL right now is that there are a number >> of not complete and splintered implementation efforts. Having one >> library outside GHCs libraries but still promoted as the default >> implementation (and hosted under haskell.o

Re: [Haskell-cafe] Why Exotic Languages Are Not Mainstream

On 11/08/06, Clifford Beshers <[EMAIL PROTECTED]> wrote: I've been avoiding that, because there are too many things I'm tempted to fiddle with inside it. But you've talked me into it. See also the really simple Hoogle/Emacs integration: http://haskell.org/haskellwiki/Hoogle#Using_Hoogle_from_

Re[4]: [Haskell-cafe] Compiling To C And Why Not Compiling To Java Or C#?

Hello Kaveh, Sunday, August 6, 2006, 5:40:26 PM, you wrote: > I think we need a subset of haskell as a new language (or as a > developing pattern) to work with and teach and learn more easily as > you have mentioned. it called Helium :) but in general problem is what Haskell's way to deal with

Re[4]: [Haskell-cafe] Re: Why Haskell?

Hello Johan, Monday, August 7, 2006, 7:25:47 PM, you wrote: (sorry for too late answer) >> http, smtp and other networking protocols - yes. xml/sql is too large >> things. actually, haxml package is already included in GHC sources >> distribution and i think that it should be excluded from there

Re: [Haskell-cafe] Re: Why Exotic Languages Are Not Mainstream

Hello Shae, Monday, August 14, 2006, 1:11:49 AM, you wrote: >> - lack of specialists (and this means lack of teaching, training, books) > There's lots of interactive teaching and training on #haskell > What exactly do you think is missing? high school. while some advanced universities teach FP

Re: [Haskell-cafe] Can someone explain this typing restriction?

Google Scholar is often quite handy for this sort of situation. http://scholar.google.com/scholar?q=typing-haskell-in-haskell+jones Jared. On 8/14/06, Tim Walkenhorst <[EMAIL PROTECTED]> wrote: > > It can be found here: Thanks! Actually I've seen t

[Haskell-cafe] Local functional dependencies: solving show . read and XML generation problems

Sorry for a late reply, I'm out of town. As I understand it, the problem is as follows: we'd like to construct different realizations of XML documents from data of different types. We wish to write p (p "foo") and specify the desired type of the XML document, like (p (p "foo")) :: X

Re: [Haskell-cafe] Can someone explain this typing restriction?

It can be found here: Thanks! Actually I've seen this page before, but was too retarded to figure that you can access the actual document there. I thought it was just an abstract... (*embarrassed*) ___ Ha

Re: [Haskell-cafe] Can someone explain this typing restriction?

On Aug 14, 2006, at 4:52 PM, Gerrit van den Geest wrote: Tim Walkenhorst wrote: I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 1

Re: [Haskell-cafe] Can someone explain this typing restriction?

Tim Walkenhorst wrote: I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by Mark Jones. No

Re: [Haskell-cafe] Can someone explain this typing restriction?

I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by Mark Jones. Now you got me hooked. Whe

Re: [Haskell-cafe] Can someone explain this typing restriction?

Gerrit van den Geest wrote: I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by Mark Jones.

Re: [Haskell-cafe] Can someone explain this typing restriction?

I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper). It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by Mark Jones. Gerrit __

Re: [Haskell-cafe] Can someone explain this typing restriction?

On Mon, Aug 14, 2006 at 02:17:05PM +0200, Tim Walkenhorst wrote: > I've stumbled over the following (code *extremely* simplified): > > f :: Bool > f = g 1 > > g :: Num a => a -> Bool > g _ = f > > This results in the following error message (on GHC): > >Contexts differ in length >When m

Re: [Haskell-cafe] Can someone explain this typing restriction?

> [...] Basically I interpret a symbol in a syntax-tree which can belong to different type-classes. [...] I meant, to different types of the same type-class. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

[Haskell-cafe] Can someone explain this typing restriction?

I've stumbled over the following (code *extremely* simplified): f :: Bool f = g 1 g :: Num a => a -> Bool g _ = f This results in the following error message (on GHC): Contexts differ in length When matching the contexts of the signatures for f :: Bool g :: forall a. (Num a) =>

"class []" proposal Re: [Haskell-cafe] One thought: Num to 0 as ? to list?

Hello Marc, Sunday, August 13, 2006, 10:36:39 PM, you wrote: > In other words: why not overload (:) ? i have such proposal, more or less complete: 1) define [] as type class and [] and ':' as operations of this class: class [] c where [] :: c a -- creates empty container (: