[Haskell-cafe] hircules resurrected (partially ;-)

I stumbled upon hircules-0.3 IRC client and decided to take it for a test drive. I managed to get it to compile under ghc-6.8.3/win32, converted it to use Text.Codec.Iconv (the old version of included Iconv.hs should also work), but it seems it doesn't work. It only gives an empty form and accordi

Re: [Haskell-cafe] Predicativity?

On 17 Sep 2008, at 07:05, Wei Hu wrote: Hello, I only have a vague understanding of predicativity/impredicativity, but cannot map this concept to practice. We know the type of id is forall a. a -> a. I thought id could not be applied to itself under predicative polymorphism. But Haksell

Re: [Haskell-cafe] Mac OS X dylib woes

On Tue, Sep 16, 2008 at 4:49 PM, John MacFarlane <[EMAIL PROTECTED]> wrote: > I'm hoping some Haskell developers who use Macs can help me with this > one. I can install pcre-light just fine using cabal install. But when I > try to use it, I get this error: > [snip] > OK, so it can't find the pcre l

Re: [Haskell-cafe] Predicativity?

Here is another example that doesn't compile under current GHC directly: > f = (runST .) ghci reports the type of f as (a1 -> forall s. ST s a) -> a1 -> a But (f return) doesn't typecheck, even though the type of return is > return :: forall a s. a -> ST s a Oddly, this does typecheck if we

Re: [Haskell-cafe] Predicativity?

Maybe this example is more enlightening? > -- doesn't compile > -- f x = x x > -- does compile under GHC at least > g :: (forall a. a -> a) -> (forall a. a -> a) > g x = x x > h = g id (although I don't know if it really answers your question) One big motivation for impredicativity, as I under

Re: [Haskell-cafe] Mac OS X dylib woes

I'm not getting this issue, but to fix it, given whatever you shell you use with your terminal (Terminal.app, iTerm, etc) program, just stick this into the rc file for it: > export DYLD_LIBRARY_PATH=/opt/local/lib:$DYLD_LIBRARY_PATH For example, in this case it would exist in my ~/.zshrc - it sho

[Haskell-cafe] Python's big challenges, Haskell's big advantages?

http://www.heise-online.co.uk/open/Shuttleworth-Python-needs-to-focus-on-future--/news/111534 "cloud computing, transactional memory and future multicore processors" Get writing that multicore, STM, web app code! -- Don ___ Haskell-Cafe mailing list H

Re: Hyena Status? Re: [Haskell-cafe] Starting Haskell with a web application

On Tue, Sep 16, 2008 at 11:15 AM, Donnie Jones <[EMAIL PROTECTED]> wrote: > Hello Johan Tibell, > > Hyena looks very interesting. From the github tracking, you've been > working... Maybe a release soon? I'm working towards it. I've been very busy at work lately but it's getting there. I need to

[Haskell-cafe] Predicativity?

Hello, I only have a vague understanding of predicativity/impredicativity, but cannot map this concept to practice. We know the type of id is forall a. a -> a. I thought id could not be applied to itself under predicative polymorphism. But Haksell and OCaml both type check (id id) with no prob

Re: [Haskell-cafe] GHC trouble on Leopard

Miguel, I tried to compile some code on Mac Os X (Intel) Leopard. I have GHC 6.8.3 installed - the installer from GHC webpage (GHC-6.8.3-i386.pkg). But when I run make I get this error ghc-6.8.3: could not execute: /Library/Frameworks/GHC.framework/ Versions/608/usr/lib/ghc-6.8.3/ghc-asm

Re: [Haskell-cafe] Re: Comparing GADTs for Eq and Ord

Thanks for all the input. It helped me arrive at the following solution. I took the strategy of converting the parameterized type into an unparameterized type which can be easily compared for Eq and Ord. The unparameterized type enumerates the possible Const types with help from an auxiliary typ

Re: [Haskell-cafe] GHC trouble on Leopard

Could you provide us with the command line you were using? -- _jsn ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] haskell blas bindings: does iomatrix gemv transposing of matrix a?

Hey Patric, Thanks for your great work on the blas bidnings. I have a question on gemv. I thought its possible for blas to transpose the input matrix before doing the multiplication. Is it possible to do that with the haskell bindings? Or am I mistaken in how gemv is used Thanks, Anatoly

Re: [Haskell-cafe] How to check if two Haskell files are the same?

Before you reinvent the wheel, have you looked at Language.Haskell.Pretty? http://haskell.org/ghc/docs/latest/html/libraries/haskell-src/Language-Haskell-Pretty.html On Tue, Sep 16, 2008 at 10:30 AM, Mauricio <[EMAIL PROTECTED]> wrote: > Hi, > > I would like to write a Haskell pretty-printer, >

[Haskell-cafe] Mac OS X dylib woes

I'm hoping some Haskell developers who use Macs can help me with this one. I can install pcre-light just fine using cabal install. But when I try to use it, I get this error: GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help :Loading package base ... linking ... done. Prelude> :m Text.

Re: [Haskell-cafe] How to check if two Haskell files are the same?

On Tue, Sep 16, 2008 at 7:30 AM, Mauricio <[EMAIL PROTECTED]> wrote: > Hi, > > I would like to write a Haskell pretty-printer, > using standard libraries for that. How can I > check if the original and the pretty-printed > versions are the same? For instance, is there > a file generated by GHC at

Re: [Haskell-cafe] How to check if two Haskell files are the same?

On 2008 Sep 16, at 10:30, Mauricio wrote: I would like to write a Haskell pretty-printer, using standard libraries for that. How can I check if the original and the pretty-printed versions are the same? For instance, is there a file generated by GHC at the compilation pipe that is always guarante

Re: [Haskell-cafe] How to check if two Haskell files are the same?

On Tue, Sep 16, 2008 at 9:30 AM, Mauricio <[EMAIL PROTECTED]> wrote: > Hi, > > I would like to write a Haskell pretty-printer, > using standard libraries for that. How can I > check if the original and the pretty-printed > versions are the same? For instance, is there > a file generated by GHC at t

[Haskell-cafe] Semantic Domain, Function, and denotational model.....

Daryoush, Hopefully, the other replies about proving the monad laws already answered your previous question: yes! As for notions of semantic domain and denotational model, these ideas go back quite a ways; but, were given solid footing by Dana Scott. In a

Re: [Haskell-cafe] Float instance of 'read'

On Tue, Sep 16, 2008 at 5:29 AM, Mauricio <[EMAIL PROTECTED]> wrote: > > Do you think 'read' (actually, > 'readsPrec'?) could be made to also > read the international convention > (ie., read "1,5" would also work > besides read "1.5")? No, as read is really intended to be a language-level tool,

Re: [Haskell-cafe] Semantic Domain, Function, and denotational model.....

exactly. it's a specification of the denotational semantics of "time". any valid implementation must satisfy such properties. 2008/9/16 Ryan Ingram <[EMAIL PROTECTED]> > "at time = id" is not valid Haskell. It's expositional, describing a > law that "at" and "time" fulfill. > > It's like sayin

Re: [Haskell-cafe] Semantic Domain, Function, and denotational model.....

"at time = id" is not valid Haskell. It's expositional, describing a law that "at" and "time" fulfill. It's like saying "m >>= return = m" when describing the Monad laws. You can't write that directly, but it better be true! -- ryan 2008/9/16 Daryoush Mehrtash <[EMAIL PROTECTED]>: > I can sor

Re: [Haskell-cafe] Float instance of 'read'

Mauricio wrote: Do you think 'read' (actually, 'readsPrec'?) could be made to also read the international convention (ie., read "1,5" would also work besides read "1.5")? I'm happy to finaly use a language where I can use words of my language to name variables, so I wonder if we could also make t

Re: [Haskell-cafe] Real World HAppS: Cabalized, Self-Demoing HAppS Tutorial (Version 3)

Hi all, taking a look at this tutorial under Windows Vista I ran into a problem: happs-tutorial depends on HAppS-state which again depends on the unix package which doesn't work under windows. So my question is: is there another way to compile HAppS-State and happs-tutorial on windows? Reg

Re: [Haskell-cafe] Float instance of 'read'

Mauricio wrote: Do you think 'read' (actually, 'readsPrec'?) could be made to also read the international convention No. read and show are meant to be KISS, suitable for toy programs and casual debugging messages. Real applications should use or invent a sophisticated, general library. (The

Re: [Haskell-cafe] Float instance of 'read'

Mauricio asked: > Do you think 'read' (actually, > 'readsPrec'?) could be made to also > read the international convention > (ie., read "1,5" would also work > besides read "1.5")? What would you hope the value of > read "(1,2,3)"::(Float,Float) would be? -- Dan

Re: [Haskell-cafe] Float instance of 'read'

Mauricio wrote: Do you think 'read' (actually, 'readsPrec'?) could be made to also read the international convention (ie., read "1,5" would also work besides read "1.5")? I'm happy to finaly use a language where I can use words of my language to name variables, so I wonder if we could also make t

Re: [Haskell-cafe] Float instance of 'read'

On 16 Sep 2008, at 16:29, Mauricio wrote: I'm happy to finaly use a language where I can use words of my language to name variables, so I wonder if we could also make that step. Really? There is a bunch of languages (like "Glagol") that use words of Russian language as keywords; AFAIK ther

Re: [Haskell-cafe] Float instance of 'read'

Wouldn't that make it hard to parse lists of floats? On Tue, 2008-09-16 at 09:29 -0300, Mauricio wrote: > Hi, > > A small annoyance some users outside > english speaking countries usually > experiment when learning programming > languages is that real numbers use > a '.' instead of ','. Of course

Re: [Haskell-cafe] Float instance of 'read'

Mauricio wrote: > Hi, > > A small annoyance some users outside > english speaking countries usually > experiment when learning programming > languages is that real numbers use > a '.' instead of ','. Of course, that > is not such a problem except for the > inconsistence between computer and > free

Re: [Haskell-cafe] Semantic Domain, Function, and denotational model.....

I can sort of see what is happening in "time = O (pure (Fun id))". But I am not sure I understand this: time :: Behavior Time at time = id as I understand it "at" is a function that take Behaviour and returns a function that is Time -> a.How can you have a function on the left side of

Hyena Status? Re: [Haskell-cafe] Starting Haskell with a web application

Hello Johan Tibell, Hyena looks very interesting. From the github tracking, you've been working... Maybe a release soon? Also, I saw your slides from the 'Left-fold enumerators' presentation at Galois. Maybe include the slides in the docs/ for a release? Thank you. __ Donnie On Thu, Mar 6, 2

[Haskell-cafe] GHC trouble on Leopard

Hi, I tried to compile some code on Mac Os X (Intel) Leopard. I have GHC 6.8.3 installed - the installer from GHC webpage (GHC-6.8.3- i386.pkg). But when I run make I get this error ghc-6.8.3: could not execute: /Library/Frameworks/GHC.framework/ Versions/608/usr/lib/ghc-6.8.3/ghc-asm The

RE: [Haskell-cafe] SYB with class: Bug in Derive.hs module

The message below is a rather old thread but, as Ian says, it's related to http://hackage.haskell.org/trac/ghc/ticket/1470 http://hackage.haskell.org/trac/ghc/ticket/1735 which I have been looking it in preparation for 6.10. The good news is that I think I have fixed #1470. I think #1735 is dee

[Haskell-cafe] Problem with hscurses

the getCh funtion is supposed to return an interpreted Key with values like KeyChar c, KeyReturn, KeyBackspace, etc. but in fact, it only ever returns KeyChar c values ! am I doing anything wrong ? Here's an example program : module Main where import UI.HSCurses.Curses import Text.Printf impor

[Haskell-cafe] How to check if two Haskell files are the same?

Hi, I would like to write a Haskell pretty-printer, using standard libraries for that. How can I check if the original and the pretty-printed versions are the same? For instance, is there a file generated by GHC at the compilation pipe that is always guaranteed to have the same MD5 hash when it c

Re: [Haskell-cafe] Semantic Domain, Function, and denotational model.....

Hi Ryan, Thanks very much for these explanations. Clear and right on! Best regards, - Conal P.S. I'll be at ICFP and am looking forward to seeing folks there. 2008/9/16 Ryan Ingram <[EMAIL PROTECTED]> > The key insight is that Behavior a is not necessarily a time function; > it's abstract.

[Haskell-cafe] Re: Hackage checks

Duncan Coutts worc.ox.ac.uk> writes: > I can't think of any other workaround for 1.2 so I think you'll have to > require Cabal-1.4 for your package. Even with 1.4, if I don't give any extra source directory, I get: dhcp-192-157:yi-stable bernardy$ cabal sdist Building source dist for yi-0.4.6

Re: [Haskell-cafe] Re: Import qualified, inverse of hiding

I've dropped it on the discuss page: http://www.haskell.org/haskellwiki/Talk:Import Perhaps others have some input before I stick it on the page. On Mon, Sep 15, 2008 at 4:36 PM, Paulo Tanimoto <[EMAIL PROTECTED]>wrote: > On Mon, Sep 15, 2008 at 3:04 PM, John Van Enk <[EMAIL PROTECTED]> wrote: >

[Haskell-cafe] Float instance of 'read'

Hi, A small annoyance some users outside english speaking countries usually experiment when learning programming languages is that real numbers use a '.' instead of ','. Of course, that is not such a problem except for the inconsistence between computer and free hand notation. Do you think 'read

Re: [Haskell-cafe] Semantic Domain, Function, and denotational model.....

The key insight is that Behavior a is not necessarily a time function; it's abstract. But you can treat it as if it was one by observing it with "at". In Conal's paper, the internal type of behavior is: > -- composition of types; like (.) at the type level > newtype O h g a = O (h (g a)) > -- f

Re: [Haskell-cafe] Semantic Domain, Function, and denotational model.....

ّ I don't follow the "at" and "type B a". "Behavior a" itself is a time function. At least in the version of the code that was developed in Pual Hudak's Haskell School of Expression it was defined as: > newtype Behavior a > = Behavior (([Maybe UserAction],[Time]) -> [a]) In a function like

[Haskell-cafe] Re: Comparing GADTs for Eq and Ord

Tom Hawkins wrote: > apfelmus wrote: >> So, in other words, in order to test whether terms constructed with Equal >> are >> equal, you have to compare two terms of different type for equality. Well, >> nothing easier than that: >> >>(===) :: Expr a -> Expr b -> Bool >>Const === Con