Dan:
Doesn't look like there's code out there - will try e-mailing the
authors of the various papers/presentations.
We haven't made any code available yet, but we are planning to do so
before ICFP this year.
This e-mail also counts as an open plea to those compiler wizards
working on
Don Stewart wrote:
wagner.andrew:
Purity allows our data structures to have a lot of sharing.
This is separate to laziness.
Ah, so haskell does do it. Interesting that it so rarely comes up, whereas
it's
frequently mentioned in clojure.
I think it is just assumed, since that's been the
rocon...@theorem.ca wrote:
I wanted to pass this idea around the cafe to get some thoughts before
submitting a trac on this topic.
I'd like to see the mtl removed from the Haskell Platform.
The mtl was a tremendous step forward when it was developed. However,
we have learned a few things
Hello,
I am seriously punching my way to build Swish via .cabal ... My head
is totally to the wall punch .. punch .
Graham Lyle has written some seriously beautiful code I am trying to
get to adhere to contemporary Haskell namespace convention . I still
awaiting response
Andrew == Andrew Wagner wagner.and...@gmail.com writes:
Andrew Uh, show me such a module, and I'll show you a module
Andrew that's quite bloated and desperately needs to be
Andrew refactored.
How about a module that provides the official Unicode names for each character?
--
Colin
Daryoush Mehrtash wrote:
What is the difference between forall as in:
runST :: (forall s. ST s a) - a
and the = as in
evalStateT :: Monad m = StateT s m a - s - m a
The forall is Rank-2 polymorphism (the argument must be polymorphic in
s). The = is for typeclass constraints (restricting
Hello Daryoush,
Wednesday, May 13, 2009, 6:11:10 AM, you wrote:
runST :: (forall s. ST s a) - a
evalStateT :: Monad m = StateT s m a - s - m a
these are quite opposite things. later means that you should pass some
value of Monad class (well, in this case it's StateT value whose type
is
rocon...@theorem.ca wrote:
I think that use of the mtl should be deprecated so that we move on
to improved monad transformer libraries. Having the mtl in the
Haskell Platform does the opposite by further entrenching its use,
possibly to the point where we may not be able to get rid of it for
This is the first release of Bookshelf, a simple document organizer with
some wiki functionality. Documents in a directory tree are displayed as
a set of HTML pages. Documents in Markdown format are converted to HTML
automatically using Pandoc. The manual
===
CALL FOR PAPERS
The Seventh Asian Symposium on
Programming Languages and Systems (APLAS 2009)
Seoul, December 14-16, 2009
Hi, I've been learning Haskell for a few months, and it has influenced my
thinking about programs quite a lot. Most of my current work is creating
complex web applications. Naturally, I was thinking about how to make rich
internet applications (and GUI apps in general) in an (utmost :-))
Excerpts from Vasili I. Galchin's message of Tue May 12 23:23:51 +0200 2009:
Hi Nicolas,
I am starting a caml build. I want line by line which module is
being built so when I get an error I have a context to reason about to fix
the problem. Got it?
Maybe you mean cabal build ?
On
Excerpts from Vasili I. Galchin's message of Wed May 13 07:17:06 +0200 2009:
Hello,
I am seriously punching my way to build Swish via .cabal ... My head
is totally to the wall punch .. punch .
[...]
Swish/HaskellRDF/Dfa/Dfa.lhs:1:0:
Failed to load interface for
Hi there,
I fail to build text-icu-0.1 on Windows, and would appreciate some
help...
Thanks in advance!
Let me describe what I've done so for, and what results I got:
First, I got a version of ICU on my machine, specifically unzipping the
file icu4c-4_0_1-Win32-msvc8.zip from
Not of the same gravity as mtl, but I was a bit surprised to see that
PackedString was included, in spite of it being marked as deprecated
on Hackage.
Presumably, this is because some other library depends on this, but I
think platform-blessing a deprecated library is a strange thing to
do. If
Note that potential participants in the below summer school should
pre-register their interest *now*. The organizers need that information
to go ahead with the planning.
Matthew Fluet (ICFP Publicity Chair) wrote:
International Summer School on Advances in Programming Languages
The only web-oriented frp framework that I know of is Flapjax
http://www.flapjax-lang.org/
Flapjax is javascript so possibly there could be a way to integrate it
into Haskell using HJavascript? Maybe it could even be integrated
into Happstack?
I'm also quite new to Haskell.
-Rob
2009/5/13 Robert Wills wrwi...@gmail.com:
The only web-oriented frp framework that I know of is Flapjax
http://www.flapjax-lang.org/
Flapjax is javascript so possibly there could be a way to integrate it
into Haskell using HJavascript? Maybe it could even be integrated
into Happstack?
2009/5/13 Don Stewart d...@galois.com:
rl:
On 12/05/2009, at 14:45, Reiner Pope wrote:
The Stream datatype seems to be much better suited to representing
loops than the list datatype is. So, instead of programming with the
lists, why don't we just use the Stream datatype directly?
I think
Vasili I. Galchin vigalc...@gmail.com wrote:
Graham Lyle has written some seriously beautiful code
That would be Graham _Klyne_.
1) I strongly suspect that in Swish 0.2.1 that some of Graham's
libaries are already superseded by the Haskell prelude , e.g. HUnit,
Parsec(!!!), his Sort
Neil Brown wrote on 13.05.2009 14:23:
Leaving aside the arguments about
200 exports, even for 20 exports it would sometimes be cleaner to write
the above to hide one, than to spell out the other 19 in an export list.
Note that Haddock orders exports according to the export list, not to an
On Tue, May 12, 2009 at 03:11:32PM -0400, John Dorsey wrote:
Richard,
I added some partial bindings for libguestfs[1] here:
http://git.et.redhat.com/?p=libguestfs.git;a=blob;f=haskell/Guestfs.hs;hb=HEAD
Terrific! Partial bindings are great. Thanks for releasing it. I haven't
taken
Flapjax is javascript so possibly there could be a way to integrate it
into Haskell using HJavascript? Maybe it could even be integrated
into Happstack?
The Flapjax compiler is written in Haskell, so that might help.
I assume you want to write FRP in a Haskell-embedded DSL and generate
FRP'd
Sittampalam, Ganesh wrote:
We've discussed replacing it with transformers+monads-fd+an mtl
compatiblity layer on librar...@. Ross and I plan to propose doing this
for the second release of the platform - it's not fair to disrupt the
first release at this stage.
transformers+monads-fd is quite a
I assume you want to write FRP in a Haskell-embedded DSL and generate
FRP'd JavaScript. If you wish to use Flapjax as a supporting library
I'd be glad to help.
I'm curious: how difficult is it nowadays for in-page JavaScript to
control the evolution of its surrouding page, FRP-style? I used to
oops, sorry, keyboard accident
I assume you want to write FRP in a Haskell-embedded DSL and generate
FRP'd JavaScript. If you wish to use Flapjax as a supporting library
I'd be glad to help.
I'm curious: how difficult is it nowadays for in-page JavaScript to
control the evolution of its
On Wed, 2009-05-13 at 12:01 +0100, Neil Brown wrote:
Sittampalam, Ganesh wrote:
We've discussed replacing it with transformers+monads-fd+an mtl
compatiblity layer on librar...@. Ross and I plan to propose doing this
for the second release of the platform - it's not fair to disrupt the
On Wed, 2009-05-13 at 10:24 +0200, Ketil Malde wrote:
Not of the same gravity as mtl, but I was a bit surprised to see that
PackedString was included, in spite of it being marked as deprecated
on Hackage.
TemplateHaskell still uses it. There was not a lot we could do for the
first release.
Hello Duncan,
Wednesday, May 13, 2009, 3:33:13 PM, you wrote:
I think it should remain deprecated and we should work on the
replacement so that TH can switch its dependency.
TH isn't high-performance package and i think that it should just
switch to use of String
--
Best regards,
Bulat
On Wed, 13 May 2009 15:37:52 +0400
Bulat Ziganshin bulat.zigans...@gmail.com wrote:
Hello Duncan,
Wednesday, May 13, 2009, 3:33:13 PM, you wrote:
I think it should remain deprecated and we should work on the
replacement so that TH can switch its dependency.
TH isn't high-performance
Hello Robin,
Wednesday, May 13, 2009, 3:45:57 PM, you wrote:
TH isn't high-performance package and i think that it should just
switch to use of String
I don't agree. TH can sometimes slow down a build considerably. I don't
want to see it getting even slower.
i think GHC compile times is
On Wed, 2009-05-13 at 15:37 +0400, Bulat Ziganshin wrote:
Hello Duncan,
Wednesday, May 13, 2009, 3:33:13 PM, you wrote:
I think it should remain deprecated and we should work on the
replacement so that TH can switch its dependency.
TH isn't high-performance package and i think that it
This became particularly obvious for dynamic recursion of reactive
behaviours, somewhat like
page n = code involving n `until` (keypress `then` (\key- page n))
We have this function, which permits patterns like the one above:
http://www.flapjax-lang.org/docs/#tagRec
tagRec does not permit
Lauri Alanko l...@iki.fi writes:
On Tue, May 12, 2009 at 04:59:36PM -0400, Xiao-Yong Jin wrote:
f :: a - b
g :: (a - b) - c - d
gf :: c - d
gf = g f
Now I want to handle exceptions in f and redefine f as in f'
f' :: a - IO (Either e b)
So my question is how to define gf' now
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
On Wed, May 13, 2009 at 6:25 AM, Malcolm Wallace wrote:
...
import Data.FiniteMap
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREKAAYFAkoKvusACgkQvpDo5Pfl1oK6kACfUzsOoMmfYrxegcnSUtluXZF8
G4gAn1AS66xWzHzzt/A1mfIQg8HTF7d2
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
On Wed, May 13, 2009 at 7:45 AM, Robin Green wrote:
I don't agree. TH can sometimes slow down a build considerably. I don't
want to see it getting even slower.
I once switched TH to Strings. All the uses are trivial, and the
encoded strings so
So far as I know, all immutable languages do it. Like Don, I think the
reason it's emphasized so much in Clojure is because of trying to convert
the Java crowd and introducing them to immutability. With mutable languages
you have to clone _everything_ for fear of later changes affecting
Richard,
I remember having similar problems to you when trying to use the FFI.
The following comments are suggestions as to what helps in practice,
and not a claim that the situation can't be improved.
On 13/05/2009, at 8:40 PM, Richard W.M. Jones wrote:
Specific things would be:
On Tue, 12 May 2009, Reiner Pope wrote:
So, thoughts? Do people program with Streams directly? What have I not
considered?
Yes, for signal processing I sometimes use my custom Streams data type
that misses the Skip constructor since I do not use 'filter' functions:
Nothing controversial said here... I'm just agreeing with Russel.
On Tue, May 12, 2009 at 4:03 PM, rocon...@theorem.ca wrote:
I wanted to pass this idea around the cafe to get some thoughts before
submitting a trac on this topic.
I'd like to see the mtl removed from the Haskell Platform.
ketil:
Not of the same gravity as mtl, but I was a bit surprised to see that
PackedString was included, in spite of it being marked as deprecated
on Hackage.
Ketil, I would encourage you to open a ticket on the platform wiki
summarising the state of the packedstring issue.
-- Don
On Wed, May 13, 2009 at 08:04:52AM +0100, Sittampalam, Ganesh wrote:
We've discussed replacing it with transformers+monads-fd+an mtl
compatiblity layer on librar...@. Ross and I plan to propose doing this
for the second release of the platform - it's not fair to disrupt the
first release at
Hello,
I did a cabal build -? and discovered -v/--version.
Vasili
On Wed, May 13, 2009 at 2:42 AM, Nicolas Pouillard
nicolas.pouill...@gmail.com wrote:
Excerpts from Vasili I. Galchin's message of Tue May 12 23:23:51 +0200
2009:
Hi Nicolas,
I am starting a caml build. I
I thought that it might interest some people :
http://labs.trolltech.com/page/Projects/Graphics/Kinetic/DeclarativeUI
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
oops ... yes.
On Wed, May 13, 2009 at 11:29 AM, Nicolas Pouillard
nicolas.pouill...@gmail.com wrote:
Excerpts from Vasili I. Galchin's message of Wed May 13 18:21:55 +0200
2009:
Hello,
I did a cabal build -? and discovered -v/--version.
So **caml** build was a typo right ?
Emil Axelsson e...@chalmers.se writes:
This is the first release of Bookshelf, a simple document organizer
with some wiki functionality. Documents in a directory tree are
displayed as a set of HTML pages. Documents in Markdown format are
converted to HTML automatically using Pandoc. The manual
Hi
I tried this but it diddn't work in ghci:
import qualified Data.Map as Map
test :: Map.Map [Int] [[Int]] - Bool
test (fromList[((i:is), (j:js))]) = [i] == j
i get the : Parse error in pattern
Failed. error.
regards
___
Haskell-Cafe mailing list
On Wed, May 13, 2009 at 7:06 PM, Nico Rolle nro...@web.de wrote:
Hi
I tried this but it diddn't work in ghci:
import qualified Data.Map as Map
test :: Map.Map [Int] [[Int]] - Bool
test (fromList[((i:is), (j:js))]) = [i] == j
i get the : Parse error in pattern
Failed. error.
fromList is
Nico Rolle wrote:
Hi
I tried this but it diddn't work in ghci:
import qualified Data.Map as Map
test :: Map.Map [Int] [[Int]] - Bool
test (fromList[((i:is), (j:js))]) = [i] == j
i get the : Parse error in pattern
Failed. error.
Pattern matching only works on constructors (and view
Hi,
Not sure if this is the right place to ask.
GHC 6.10.3 source dist: ./configure takes about 10 minutes to look for
DocBook DTD and another 10 to look for DocBook XSL directory. I was
writing this e-mail thinking it had completely crashed. Any reason why
it's so ridiculously slow? A
Hello Dan,
Best place to ask is glasgow-haskell-us...@haskell.org since that is
the GHC users list.
I have CC'd your email to the GHC user list.
Cheers.
--
Donnie Jones
On Wed, May 13, 2009 at 1:35 PM, Dan danielkc...@gmail.com wrote:
Hi,
Not sure if this is the right place to ask.
GHC
On Wed, May 13, 2009 at 06:46:45AM -0400, Arjun Guha wrote:
Flapjax is javascript so possibly there could be a way to integrate it
into Haskell using HJavascript? Maybe it could even be integrated
into Happstack?
The Flapjax compiler is written in Haskell, so that might help.
I assume
I'm not sure where this should be reported, but I think I've found a
significant asymptotic performance problem with Data.Typeable. In the
attached code, sum2 runs much slower than either sum1 or sum3. It
should be linear but it seems to slow down quadratically (i.e.
doubling len quadruples the
I would like a keyword we could add to a single declaration,
like:
hidden a :: Int - Int
a = (...)
The 200 names is not the best example. It's more a question of
proportion: if you export 5 declarations in a module with 20,
it's OK, but if you export 19 declarations in a module of 20
maintenance
Hi all,
I'm happy to announce that my Google Summer of Code project proposal,
titled Extend EclipseFP functionality for Haskell, has been
accepted! This means that I will be working on EclipseFP during the
upcoming months.
For the uninitiated, EclipseFP is a plugin for the Eclipse IDE that
makes
On Wed, May 13, 2009 at 3:04 PM, Thomas ten Cate ttenc...@gmail.com wrote:
Hi all,
I'm happy to announce that my Google Summer of Code project proposal,
titled Extend EclipseFP functionality for Haskell, has been
accepted! This means that I will be working on EclipseFP during the
upcoming
wrwills:
The only web-oriented frp framework that I know of is Flapjax
http://www.flapjax-lang.org/
Flapjax is javascript so possibly there could be a way to integrate it
into Haskell using HJavascript? Maybe it could even be integrated
into Happstack?
I'm also quite new to Haskell.
gwern0:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
On Wed, May 13, 2009 at 7:45 AM, Robin Green wrote:
I don't agree. TH can sometimes slow down a build considerably. I don't
want to see it getting even slower.
I once switched TH to Strings. All the uses are trivial, and the
Christopher Lane Hinson schrieb:
I've noticed that a large majority of fundeps I see in other people's
libraries are written:
class C a b | b - a
Where the dependent parameter appears first in the MPTC. Is there a
reason for this?
AFAIK, there isn't any semantic significance to the
Jan-Willem Maessen wrote:
I wanted to clear up one misconception here...
wren ng thornton wrote:
In heavily GCed languages like Haskell allocation and collection is
cheap, so we don't mind too much; but in Java and the like, both
allocation and collection are expensive so the idea of cheap
wren:
Jan-Willem Maessen wrote:
I wanted to clear up one misconception here...
wren ng thornton wrote:
In heavily GCed languages like Haskell allocation and collection is
cheap, so we don't mind too much; but in Java and the like, both
allocation and collection are expensive so the
Miguel Mitrofanov schrieb:
Neil Brown wrote on 13.05.2009 14:23:
Leaving aside the arguments about 200 exports, even for 20 exports it
would sometimes be cleaner to write the above to hide one, than to
spell out the other 19 in an export list.
Note that Haddock orders exports according to
Maurício wrote:
I would like a keyword we could add to a single declaration,
like:
hidden a :: Int - Int
a = (...)
The 200 names is not the best example. It's more a question of
proportion: if you export 5 declarations in a module with 20,
it's OK, but if you export 19 declarations in a module
On Wed, May 13, 2009 at 12:54 AM, Serge LE HUITOUZE
slehuito...@telisma.com wrote:
Hi there,
I fail to build text-icu-0.1 on Windows, and would appreciate some help...
Thanks in advance!
Let me describe what I've done so for, and what results I got:
First, I got a version of ICU on my
Christopher Lane Hinson wrote:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/priority-sync
$ cabal install priority-sync
git clone http://www.downstairspeople.org/git/priority-sync.git
Feedback will be greatly appreciated. This package is a spin-off from
my work on roguestar,
Is 'claim' the only way to execute tasks?
Lets say you create a task pool for 1 hardware thread.
pool - newTaskPool fast_queue_configuration 1 ()
If a task blocks/sleeps while holding a claim, none of the other tasks can
run right?
Correct, but you can wrap the blocking call inside
On Wed, May 13, 2009 at 6:31 PM, Don Stewart d...@galois.com wrote:
Do you have a patch?
No. This was a while ago, and the changes really are trivial. I
thought about submitting it, but it seemed to me that the change could
only be useful when people upgrade their entire compiler/library
2009/05/12 Daryoush Mehrtash dmehrt...@gmail.com:
runST :: (forall s. ST s a) - a
The `forall` here has a rather elaborate purpose.
evalStateT :: Monad m = StateT s m a - s - m a
Where `m` is in `Monad`, we have...
Let's put in the hidden `forall`:
evalStateT :: forall s m a.
I have a large body of C/C++ code at work that I'd like to be able to
access from Haskell via FFI. Because the interface to this code is
broad, hsffig would seem to be ideal for the task.
I've run across one serious hitch, though. The existing #include
file graph is complicated and ends up
heringtonlacey:
I have a large body of C/C++ code at work that I'd like to be able to
access from Haskell via FFI. Because the interface to this code is
broad, hsffig would seem to be ideal for the task.
I've run across one serious hitch, though. The existing #include file
graph is
At 9:59 PM -0700 5/13/09, Don Stewart wrote:
heringtonlacey:
I have a large body of C/C++ code at work that I'd like to be able to
access from Haskell via FFI. Because the interface to this code is
broad, hsffig would seem to be ideal for the task.
I've run across one serious hitch,
heringtonlacey:
At 9:59 PM -0700 5/13/09, Don Stewart wrote:
heringtonlacey:
I have a large body of C/C++ code at work that I'd like to be able
to access from Haskell via FFI. Because the interface to this code
is broad, hsffig would seem to be ideal for the task.
I've run across one
I've added a missing source file (and the documentation files) to
Hackage. Hope it works now...
Also, if anyone tries it on Windows, please let me know if it works. If
not, patches are welcome.
/ Emil
Emil Axelsson skrev:
This is the first release of Bookshelf, a simple document organizer
m...@justinbogner.com skrev:
Emil Axelsson e...@chalmers.se writes:
This is the first release of Bookshelf, a simple document organizer
with some wiki functionality. Documents in a directory tree are
displayed as a set of HTML pages. Documents in Markdown format are
converted to HTML
At 10:12 PM -0700 5/13/09, Don Stewart wrote:
heringtonlacey:
At 9:59 PM -0700 5/13/09, Don Stewart wrote:
heringtonlacey:
I have a large body of C/C++ code at work that I'd like to be able
to access from Haskell via FFI. Because the interface to this code
is broad, hsffig would seem
thanks, Nicolai.
Vasili
On Wed, May 13, 2009 at 2:44 AM, Nicolas Pouillard
nicolas.pouill...@gmail.com wrote:
Excerpts from Vasili I. Galchin's message of Wed May 13 07:17:06 +0200
2009:
Hello,
I am seriously punching my way to build Swish via .cabal ... My
head
is totally to
76 matches
Mail list logo