> Conal> As Meister Eckhart said, "Only the hand that erases can write the
> Conal> true thing."
>
> Nicely said...
>
> I'm sure you're not the only one desiring to write GUI in "genuinely
> functional" toolkit, but, being realistic and considering how many people
> are working on bindings for thos
2009/1/29 Gour
> > "Conal" == Conal Elliott writes:
> Hi Conal,
>
> Conal> Hi Achim, I came to the same conclusion: I want to sweep aside
> Conal> these OO, imperative toolkits, and replace them with something
> Conal> "genuinely functional", which for me means having a precise &
> Conal> si
> "Conal" == Conal Elliott writes:
Hi Conal,
Conal> Hi Achim, I came to the same conclusion: I want to sweep aside
Conal> these OO, imperative toolkits, and replace them with something
Conal> "genuinely functional", which for me means having a precise &
Conal> simple compositional (denotation
Hi Achim,
I came to the same conclusion: I want to sweep aside these OO, imperative
toolkits, and replace them with something "genuinely functional", which for
me means having a precise & simple compositional (denotational) semantics.
Something meaningful, formally tractable, and powefully composi
Hi Alistair,
yes, please, pretty please do!
I really am desparate, I'm running into so much trouble because I have
to export to MS-Access and I'm a little out of luck with HDBC. HDBC
works like a charm
unless you have to use MS-Access.
Günther
On 29 Jan., 22:24, Alistair Bayley wrote:
> > I
On Thu, Jan 29, 2009 at 10:21:42PM +, Malcolm Wallace wrote:
> On 29 Jan 2009, at 20:49, Ross Paterson wrote:
>> Hugs uses cpphs, but it has to build a dozen packages (including
>> Cabal) before cpphs is available. Once it is, they're built again.
>
> That strikes me as odd. The cpphs imple
On Thu, 2009-01-29 at 17:37 +0100, Juraj Hercek wrote:
> Duncan Coutts wrote:
> > On Wed, 2009-01-28 at 16:56 +0100, Juraj Hercek wrote:
> >
> >> Prelude> a <- readFile "/sys/devices/system/cpu/online"
> >> Prelude> length a `seq` a
> >> "^CInterrupted.
> >>
> >
> > http://hackage.haskell.o
On 29 Jan 2009, at 20:49, Ross Paterson wrote:
Hugs uses cpphs, but it has to build a dozen packages (including
Cabal)
before cpphs is available. Once it is, they're built again.
That strikes me as odd. The cpphs implementation deliberately has
minimal dependencies - Haskell'98 libraries
> I recently got an email back from Alstair Bayley who is one of the
> Takusen authors, and they said they are preparing a GHC 6.10 release
> (I was *not* the only person to submit a patch for ghc 6.10 building)
> but it may take a little while. You might want to get in contact with
> Alstair and a
On Thu, 2009-01-29 at 20:49 +, Ross Paterson wrote:
> > If you can get the search path right (ie to not look in the current dir)
> > then I expect it would also be possible to bootstrap using a
> > pre-existing Cabal library for hugs.
>
> Unfortunately that won't work: runhugs always adds the
On Wed, Jan 28, 2009 at 3:42 PM, Duncan Coutts
wrote:
> The way I've tested it recently is to build the Setup.hs with ghc and
> use that to install Cabal for hugs. From then on one can use runhugs to
> run other Setup scripts.
>
That's good to know, thanks.
__
2009/1/29 Alistair Bayley :
> 2009/1/29 Matthijs Kooijman :
>>> I assume that it's procesing file Database.Enumerator.lhs when it
>>> emits this, but I'm puzzled because the module name in
>>> Database.Enumerator.lhs is certainly Database.Enumerator, and not
>>> Main.
>> Any chance the module state
On Wed, Jan 28, 2009 at 11:42:39PM +, Duncan Coutts wrote:
> I'm not sure how it was ever supposed to work, that is bootstrapping
> Cabal directly using runhugs on the Setup.hs script in the Cabal dir.
> Cabal has always had some cpp in it and (as far as I know) hugs does not
> have a -cpp flag
Excerpts from Guenther Schmidt's message of Thu Jan 29 07:42:51 -0600 2009:
> Hi Austin,
>
> could you post the patch please?
>
> So far there is no updated version of takusen that builds with ghc
> 6.10
>
> Günther
Hi Gunther,
I recently got an email back from Alstair Bayley who is one of th
Yes, it is something unhealthy to seat on a bunch of far reaching ideas and
still use artifact that
even Microsoft tries to shake off (outsourcing their Office XML Ribbons). But
as recent roar about
monoids have shown - those who are Haskell most productive programmers are also
most unlikely to
| Would this then also eventually work?
|
| data Zero = Zero
| data Succ a = Succ a
|
| type family IsFunction f
|
| type instances
|IsFunction (a -> b) = Succ (IsFunction b)
|IsFunction c= Zero
It's delicate. Consider
f :: a -> IsFunction a
f x = Zero
h =
Duncan Coutts wrote:
On Wed, 2009-01-28 at 16:56 +0100, Juraj Hercek wrote:
Prelude> a <- readFile "/sys/devices/system/cpu/online"
Prelude> length a `seq` a
"^CInterrupted.
http://hackage.haskell.org/trac/ghc/ticket/2971
Files in /proc and /sys are not select()able which messes up gh
does the haskell on llvm compiler support the ghc extentions?
On Wed, Jan 28, 2009 at 7:27 PM, Anatoly Yakovenko wrote:
> ghc llvm port would enable arm support as well. i know there were
> some issues with llvm when this was discusses a couple of years ago.
> has anyone checked if that's the ca
2009/1/29 Matthijs Kooijman :
>> I assume that it's procesing file Database.Enumerator.lhs when it
>> emits this, but I'm puzzled because the module name in
>> Database.Enumerator.lhs is certainly Database.Enumerator, and not
>> Main.
> Any chance the module statement in the file is wrong? I think
2009/1/27 Massimiliano Gubinelli :
> Thanks, I know LyX. Of course this is mostly personal taste but I think
> TeXmacs as a technically superior piece of software (even if it does not
> seems so at first look) and moreover the idea is also to have interactive
> sessions and I'm not sure LyX allows
> I assume that it's procesing file Database.Enumerator.lhs when it
> emits this, but I'm puzzled because the module name in
> Database.Enumerator.lhs is certainly Database.Enumerator, and not
> Main.
Any chance the module statement in the file is wrong? I think I remember
seeing this error once wh
I'm getting an error when I run setup haddock-2.3.0 on the Takusen src:
haddock.exe: File name does not match module name:
Saw: `Main'
Expected: `Database.Enumerator'
I assume that it's procesing file Database.Enumerator.lhs when it
emits this, but I'm puzzled because the module name in
Database.
Hi Austin,
could you post the patch please?
So far there is no updated version of takusen that builds with ghc
6.10
Günther
On 3 Jan., 11:25, Austin Seipp wrote:
> Excerpts from Gour's message of Sat Jan 03 03:48:44 -0600 2009:
>
>
>
>
>
> > Hi!
>
> > I'd like to use sqlite3 as application sto
On Thu, Jan 29, 2009 at 11:30 AM, Duncan Coutts
wrote:
> On Thu, 2009-01-29 at 10:35 +, John Lato wrote:
>> > On Wed, 2009-01-28 at 20:11 -0500, sam lee wrote:
>> >> Did you print it? I'm using same code with ghc --make -O2 and it
>> >> takes forever to finish.
>> >
>> > Yes, you can see in t
-- logfloat 0.10, 0.11
This package provides a type for storing numbers in the log-domain,
primarily useful for preventing underflow when multiplying many
probabilities as in HMMs and other probabilistic m
I've been wondering - Clean ships with a fairly capable looking GUI
toolkit
[http://clean.cs.ru.nl/About_Clean/Standard_I_O_Lib/standard_i_o_lib.html]
- has anyone used it? How does it compare to the available Haskell
options?
martin
___
Haskell-Cafe ma
Haskell desperately needs something like Windows Presentation Foundation or
http://www.piccolo2d.org... (so no GUIs but ZUIs :) but then purely
functional.
I'm pretty sure when a good framework is made, the community would
contribute all kinds of widgets.
IMO currently no Haskell framework has mad
On Thu, 2009-01-29 at 10:35 +, John Lato wrote:
> > On Wed, 2009-01-28 at 20:11 -0500, sam lee wrote:
> >> Did you print it? I'm using same code with ghc --make -O2 and it
> >> takes forever to finish.
> >
> > Yes, you can see in the output that it prints the same answer in each
> > case. I wa
Thanks, that clarifies things a lot; I must improve my laziness-fu!
(to Belka: Also, lazy matching may be performed as fix
(\(~(aa,bb)) -> ...) - the tilde does the trick)
2009/1/29 Ryan Ingram :
> On Thu, Jan 29, 2009 at 12:44 AM, Eugene Kirpichov
> wrote:
>> With the Y combinator, the co
> On Wed, 2009-01-28 at 20:11 -0500, sam lee wrote:
>> Did you print it? I'm using same code with ghc --make -O2 and it
>> takes forever to finish.
>
> Yes, you can see in the output that it prints the same answer in each
> case. I was using r = 10^9 as you suggested.
I wouldn't call these answer
Thanks for the help and explanation. :-)
Unregistering process-1.0.1.1 (+ those packages that depended on it...)
fixed it.
Thanks again,
Martijn.
Martijn van Steenbergen wrote:
$ cabal install category-extras
Resolving dependencies...
cabal: dependencies conflict: ghc-6.10.1 requires proce
On Thu, Jan 29, 2009 at 12:44 AM, Eugene Kirpichov wrote:
> With the Y combinator, the code becomes as follows:
>
> f = \somedata1 somedata2 -> fst $ fix (\(aa,bb) -> (AA somedata1 bb,
> BB somedata2 aa))
>
> I tried to prove to myself that the structure really turns out cyclic,
> but games with r
I had a quick look at the code for
loop :: Int64 -> Int64 -> Int64
loop i r = if i == 0 then r else loop (i-1) (r+1)
It's quite bad. It's full of C calls.
It would be much better to do what gcc does and treat Int64 as a
primitive type, and just insert C calls for the tricky operations,
like di
Пожалуйста :)
It's difficult to do this in lambda because it isn't expressible in
simply (or even polymorphically) typed lambda calculus, since it
requires the Y (fix) combinator, which introduces non-terminating
computations, whereas simply- and polymorphically-typed lambda
calcules are strongly
>Yes.
>f somedata1 somedata2 = aa
> where aa = AA somedata1 bb
>bb = BB somedata2 aa
Spasibo, Yevgeny!
Originally I was thinking theoretically about a single plain
lambda-expression, like
(\ somedata1 somedata2 ->
(\ aa bb -> aa (bb aa))
(\ b -> AA somedata1 b)
Unlike 'sat' and 'sat-micro-hs' it is a library, and unlike
'libsat' it
provides an interface for incremental solving.
Funsat is also a library.
By saying 'libsat' I actually meant 'funsat' ;) I have considered
using it instead of writing 'incremental-sat-solver'. But after
looking at yo
36 matches
Mail list logo
