Hi All,
I'm pleased to announce the initial alpha release
of the Disciplined Disciple Compiler (DDC).
Disciple is an explicitly lazy dialect of Haskell which includes:
- first class destructive update of arbitrary data.
- computational effects without the need for state monads.
- type directed fi
Ryan Ingram:
On 3/17/08, Hugo Pacheco <[EMAIL PROTECTED]> wrote:
On the other side, it fails to compile when this signature is
explicit:
fff :: forall d x. (FunctorF d) => d -> F d x -> F d x
fff a = fmapF a id
Interestingly, this works when you also give a type signature to "id":
fff :: fo
* [EMAIL PROTECTED] <[EMAIL PROTECTED]> [2008-03-19 21:47:52+0100]
>
> L.S.,
>
> When playing with exceptions, I noticed the following strangeness:
> *Main> 1 / 0
> Infinity
> *Main> 1 `div` 0
> *** Exception: divide by zero
>
> This is in GHCi 6.8.2; WinHugs Sep 2006 gives:
> Main> 1 / 0
L.S.,
When playing with exceptions, I noticed the following strangeness:
*Main> 1 / 0
Infinity
*Main> 1 `div` 0
*** Exception: divide by zero
This is in GHCi 6.8.2; WinHugs Sep 2006 gives:
Main> 1 / 0
1.#INF
Main> 1 `div` 0
Program error: divide by zero
Is this difference betw
On Mar 19, 2008, at 15:56 , [EMAIL PROTECTED] wrote:
Not sure that's a useful distinction to make. Wikipedia says "FUSE
is available for Linux, FreeBSD, NetBSD (as PUFFS), OpenSolaris and
Mac OS X (as MacFUSE)."
AIX? HP/UX? Older Solaris (which I have a bunch of here, and ghc is
a right
On 2008.03.19 02:43:27 -0400, "Brandon S. Allbery KF8NH" <[EMAIL PROTECTED]>
scribbled 0.8K characters:
>
> On Mar 19, 2008, at 2:12 , Austin Seipp wrote:
>
>> Excerpts from Will Thompson's message of Sun Mar 16 08:37:00 -0500 2008:
>>> Currently the module's name is HFuse. Presumably it really b
On 2008.03.19 11:09:00 -0700, Chris Waterson <[EMAIL PROTECTED]> scribbled 1.7K
characters:
> Hi there! I've taken my first stab at writing some (admittedly
> minimal) libraries for Haskell, and would love to get feedback on
> them:
>
> * hmad: a wrapper for the libmad MP3 decoder.
> http
On Wed, Mar 19, 2008 at 10:55 AM, Marc Mertens <[EMAIL PROTECTED]> wrote:
> Hello,
>
> I'm trying to learn to use HaskellDb. I have managed to finally compile
> and
> install it on my linux box (I have ghc 6.8.2). But when I try to create a
> database description (as described in
> http://
Let me summarize :-)
The current design for type functions with result kinds other than *
(e.g. * -> *) has not gotten very far yet. We are currently stabilizing
the ordinary * type functions, and writing the story up. When that's done
we can properly focus on this issue and consider different
Hi there! I've taken my first stab at writing some (admittedly
minimal) libraries for Haskell, and would love to get feedback on
them:
* hmad: a wrapper for the libmad MP3 decoder.
http://maubi.net/~waterson/REPO/hmad
* CoreAudio: a wrapper for OS/X CoreAudio.
http://maubi.net/~
Hello,
I'm trying to learn to use HaskellDb. I have managed to finally compile and
install it on my linux box (I have ghc 6.8.2). But when I try to create a
database description (as described in
http://haskelldb.sourceforge.net/getting-started.html) (using DBDirect-dynamic
instead of DBDirect
This was discussed in
http://www.haskell.org/pipermail/glasgow-haskell-users/2008-March/014498.html
Your final guess is correct. #undef HAVE_TIMER_CREATE and/or
USE_TIMER_CREATE in mk/config.h
HTH Christian
Anatoly Yakovenko wrote:
> I have a gentoo box with ghc 6.8.2, and the binaries that ghc
On Wed, Mar 19, 2008 at 10:46 AM, Ryan Ingram <[EMAIL PROTECTED]> wrote:
> gen1 i = LitE $ StringE $ "<<" ++ show i ++ ">>"
Oops, two mistakes here:
1) StringE should be StringL
2) splices need to be in the Q monad.
To fix (2), you can either add a "return" here, or, there are
conveniently lowe
First off, the first code isn't doing exactly what you think; gen1 3,
for example, generates the parse tree:
"<<" ++ show 3 ++ ">>"
You can improve this in the following way:
gen1 i = let x = "<<" ++ show i ++ ">>" in [| x |]
which generates (for gen1 3, again)
['<', '<', '3', '>', '>']
Al
I have a gentoo box with ghc 6.8.2, and the binaries that ghc builds
on that box do not work on redhat EL 4 or ubuntu 7.10. When I try to
run the binary, i get an error:
Main: timer_create: Invalid argument
so is there any way to get ghc to build a binary that doesn't use
timer_create? or is th
type family F a :: * -> *
..
We made the design
choice that type functions with a higher-kinded result type must be
injective with respect to the additional paramters. I.e. in your case:
F x y ~ F u v <=> F x ~ F u /\ y ~ v
actually, i don't even understand the first part of that:-(
why w
could you please help me to clear up this confusion?-)
Let me summarize :-)
The current design for type functions with result kinds other than *
(e.g. * -> *) has not gotten very far yet. We are currently stabilizing
the ordinary * type functions, and writing the story up. When that's done
we
type family F a :: * -> *
..
We made the design
choice that type functions with a higher-kinded result type must be
injective with respect to the additional paramters. I.e. in your case:
F x y ~ F u v <=> F x ~ F u /\ y ~ v
i'm still trying to understand this remark:
- if we are talking a
Related news --
Intel, Microsoft choose UC-Berkeley to host $10M parallel computing center
March 19, 2008 8:36 AM ET
http://news.moneycentral.msn.com/provider/providerarticle.aspx?feed=ACBJ&date=20080319&id=8361298
___
Haskell-Cafe mail
Hello,
I contacted Satnam Singh about this talk and we tried to arrange with
Stanford to video record the presentation, but it was not possible on the
short notice...
__
Donnie
On 3/18/08, Galchin Vasili <[EMAIL PROTECTED]> wrote:
>
> oops ... my bad ... it was at Standford's CS dept on Feb 29 at
On Tue, Mar 18, 2008 at 09:41:15AM -0700, Justin Bailey wrote:
Two years ago I would have agreed with that statement. Now - no way.
Make the compiler work for you. I've done a lot of Ruby development
and I would never use it for a project of more than 3 or 4 people.
It's an awesome language but I
Hi all,
I am trying to get familiar with template haskell and I'm wondering
whether the following is possible and if so, how it would be done
properly...
I have two templates, and I'd like to use one from the other. For
instance the first one might be
gen1 :: Int -> ExpQ
gen1 i = [| "<<" ++ (sh
[EMAIL PROTECTED] wrote in article <[EMAIL PROTECTED]> in
gmane.comp.lang.haskell.cafe:
> Quoting Jeremy Apthorp <[EMAIL PROTECTED]>:
> > Clearly, this pronounciation is "gay dee tea." I always new those
> > types were a bit queer.
> Not that there's anything wrong with that.
... If it type-check
Brett Victor has invented an Alligator Eggs game (very
loosely resembling Conway's Game of Life), using
formal rules to determine feeding and breeding
patterns for alligators and their eggs, but the game
represents the *untyped* lambda calculus:
Alligator Eggs!
http://worrydream.com/AlligatorEggs/
mad.one:
> Excerpts from Will Thompson's message of Sun Mar 16 08:37:00 -0500 2008:
> > Currently the module's name is HFuse. Presumably it really belongs
> > under System somewhere; System.Posix.Fuse maybe? What do folks think?
> > Are there any guidelines for picking a namespace?
>
> I don't t
25 matches
Mail list logo