[Haskell-cafe] ANNOUNCE: xournal-convert-0.1

2011-12-27 Thread Ian-Woo Kim
Hi, all, I have uploaded a utility program xournal-convert which is a command-line utility for changing xournal file format to various other formats. Currently, converting xournal file format (xoj) to several SVG files for each page and index.html for navigating all those pages are implemented. I

Re: [Haskell-cafe] Reifying case expressions [was: Re: On stream processing, and a new release of timeplot coming]

2011-12-27 Thread Sebastian Fischer
On Tue, Dec 27, 2011 at 5:35 AM, Eugene Kirpichov ekirpic...@gmail.comwrote: I wonder if now this datatype of yours is isomorphic to StreamSummary b r - StreamSummary a r. Not sure what you mean here. StreamSummary seems to be the same as ListConsumer but I don't see how functions from

Re: [Haskell-cafe] MIDI-controlled application

2011-12-27 Thread Tim Baumgartner
Hi Stephen, 2011/12/27 Stephen Tetley stephen.tet...@gmail.com Hi Tim More problematic is that FRP models hybrid (continuous and discrete) systems. For me at least, MIDI seems essentially discrete - a stream of control events. In MIDI files control events are twinned with a time stamp so

Re: [Haskell-cafe] Reifying case expressions [was: Re: On stream processing, and a new release of timeplot coming]

2011-12-27 Thread Heinrich Apfelmus
Sebastian Fischer wrote: Heinrich Apfelmus wrote: Likewise, each function from lists can be represented in terms of our new data type [...] length' :: ListTo a Int length' = CaseOf (0) (\x - fmap (1+) length') length = interpret length' This version of `length` is

[Haskell-cafe] GHC 7.4: Expected behavior or bug?

2011-12-27 Thread Michael Snoyman
Thanks to Mark Wright for pointing this out[1]. We have the equivalent of the following code in persistent: {-# LANGUAGE MultiParamTypeClasses #-} data Key backend entity = Key class Monad (b m) = Foo b m where func :: b m (Key b m) This code works fine with GHC 7.0, but I get the

Re: [Haskell-cafe] GHC 7.4: Expected behavior or bug?

2011-12-27 Thread Bas van Dijk
On 27 December 2011 17:38, Michael Snoyman mich...@snoyman.com wrote: Thanks to Mark Wright for pointing this out[1]. We have the equivalent of the following code in persistent: {-# LANGUAGE MultiParamTypeClasses #-} data Key backend entity = Key class Monad (b m) = Foo b m where    func

Re: [Haskell-cafe] MIDI-controlled application

2011-12-27 Thread Yves Parès
If you're afraid of Yampa (I was ;p), Ertugrul Söylemez released recently the Netwire http://hackage.haskell.org/package/netwire-3.1.0 library on hackage. I went through its internals and I find it simpler to grasp and to use than Yampa as Ertugrul chose to replace the switch functions by the use

Re: [Haskell-cafe] MIDI-controlled application

2011-12-27 Thread Stephen Tetley
Hi Tim Events in FRP / Yampa are typically key presses / mouse movement, so a MIDI controller generating Note-on / Note-off events would be a direct analogue to key presses. More problematic is that FRP models hybrid (continuous and discrete) systems. For me at least, MIDI seems essentially

Re: [Haskell-cafe] GHC 7.4: Expected behavior or bug?

2011-12-27 Thread Michael Snoyman
On Tue, Dec 27, 2011 at 6:47 PM, Bas van Dijk v.dijk@gmail.com wrote: On 27 December 2011 17:38, Michael Snoyman mich...@snoyman.com wrote: Thanks to Mark Wright for pointing this out[1]. We have the equivalent of the following code in persistent: {-# LANGUAGE MultiParamTypeClasses #-}

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking

2011-12-27 Thread Ian-Woo Kim
Hi, Greg, Sorry that I just missed to read your reply. Since hxournal has a configuration file to specify input device and also is activated on the toggle menu item Use X Input, you should be able to experiment pen drawing now. Did you succeed in using the latest version of hxournal? I

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking

2011-12-27 Thread Greg Weber
yes it worked after your updates shortly after this. Thank you very much for checking up, and also for continuing to develop this - I may be able to replace xournal with it now. On Tue, Dec 27, 2011 at 10:03 AM, Ian-Woo Kim ianwoo...@gmail.com wrote: Hi, Greg, Sorry that I just missed to read

[Haskell-cafe] MIDI-controlled application

2011-12-27 Thread Tim Baumgartner
Hi Haskellers! I'm writing my first non-trivial Haskell application. I have an electronic drum set that generates MIDI events that I process with Haskell. A simple application of this kind might have fixed drums associated with fixed commands (I've done that). The next step would be to display

Re: [Haskell-cafe] If you'd design a Haskell-like language, what would you do different?

2011-12-27 Thread Miguel Mitrofanov
27.12.2011, 07:30, "Alexander Solla" alex.so...@gmail.com:And why exactly should we limit ourselves to some theory you happen to like?Because the question was about MY IDEAL.  You're right. I'm confusing two different threads. My apologies.But (_|_) IS a concrete value.Um, perhaps in denotational

Re: [Haskell-cafe] GHC 7.4: Expected behavior or bug?

2011-12-27 Thread Bas van Dijk
On 27 December 2011 17:47, Bas van Dijk v.dijk@gmail.com wrote: I fixed a similar breakage in the hmatrix library: https://github.com/AlbertoRuiz/hmatrix/commit/a4f38eb196209436f72b938f6355f6e28474bef3 GHC-7.4.1-rc1 also reported another type error in code that was accepted by GHC = 7.2.2.

[Haskell-cafe] [ANNOUNCEMENT] github 0.1.1

2011-12-27 Thread Mike Burns
The Github API now has a fancy Haskell library for accessing it, and this library is named: github. http://hackage.haskell.org/package/github https://github.com/mike-burns/github The module structure reflects the Github API v3 documentation. It currently only supports the non-authenticated

Re: [Haskell-cafe] Composing Enumeratees in enumerator

2011-12-27 Thread Michael Craig
Thanks for the replies, all. It's good to see that the other iteratee packages out there are addressing this issue. I still don't get why it's an issue in the first place. It seems to me like a pretty simple thing to implement: (=$=) :: (Monad m) = Enumeratee a0 a1 m (Step a2 m b) -

[Haskell-cafe] Haskell Platform and Windows - where's 2011.4?

2011-12-27 Thread Steve Horne
On haskell.org, the 2011.4.0.0 version is shown as the current stable release - but the most recent download link is for the 2011.2.0.0 version. This is bugging me a little because the documentation in the 2011.2 Haskell Platform download for Windows is broken - there's at least one bug

Re: [Haskell-cafe] Haskell Platform and Windows - where's 2011.4?

2011-12-27 Thread Bas van Dijk
On 27 December 2011 19:13, Steve Horne sh006d3...@blueyonder.co.uk wrote: On haskell.org, the 2011.4.0.0 version is shown as the current stable release - but the most recent download link is for the 2011.2.0.0 version. What download link are you referring to? I see that:

Re: [Haskell-cafe] GHC 7.4: Expected behavior or bug?

2011-12-27 Thread José Pedro Magalhães
Hi, This is a change in behavior. Previously GHC was more liberal than Haskell 98 prescribed, and would not default the kind of otherwise unconstrained type variables to *. 7.4 does default to *, so you have to provide kind signatures when you want another kind (particularly in phantom type

Re: [Haskell-cafe] Haskell Platform and Windows - where's 2011.4?

2011-12-27 Thread Don Stewart
All versions went live last week. Are you perhaps looking at an expired or cached page? On Tuesday, December 27, 2011, Bas van Dijk v.dijk@gmail.com wrote: On 27 December 2011 19:13, Steve Horne sh006d3...@blueyonder.co.uk wrote: On haskell.org, the 2011.4.0.0 version is shown as the

Re: [Haskell-cafe] Haskell Platform and Windows - where's 2011.4?

2011-12-27 Thread Steve Horne
On 27/12/2011 18:36, Bas van Dijk wrote: On 27 December 2011 19:13, Steve Hornesh006d3...@blueyonder.co.uk wrote: On haskell.org, the 2011.4.0.0 version is shown as the current stable release - but the most recent download link is for the 2011.2.0.0 version. What download link are you

Re: [Haskell-cafe] Haskell Platform and Windows - where's 2011.4?

2011-12-27 Thread Steve Horne
On 27/12/2011 18:57, Steve Horne wrote: OK - I really should have tried that before. But... why would an old page hang around in my Firefox cache so long and not get updated? I've not had this on any other sites. I still should be doing more checking before posting. A look in the source for

Re: [Haskell-cafe] GHC 7.4: Expected behavior or bug?

2011-12-27 Thread Michael Snoyman
Thanks for the explanation. 2011/12/27 José Pedro Magalhães j...@cs.uu.nl: Hi, This is a change in behavior. Previously GHC was more liberal than Haskell 98 prescribed, and would not default the kind of otherwise unconstrained type variables to *. 7.4 does default to *, so you have to

[Haskell-cafe] GHC 7.4 and binutils-gold

2011-12-27 Thread Michael Snoyman
Hi all, One other little GHC 7.4 note. When I first tried building code with it, I got the following error message: /usr/bin/ld: --hash-size=31: unknown option Once I uninstalled binutils-gold, everything went just fine. Has anyone else experienced this? I'm running Ubuntu Oneiric. Michael

Re: [Haskell-cafe] How hard is it to start a web startup using Haskell?

2011-12-27 Thread Martin DeMello
A good compromise might be opa (not used it myself, but I've been reading up on it as a possible candidate for any personal web projects I might want to do). It is not haskell, but it is ML-derived, and specifically for webapps. It has some example apps available, though nothing near the volume of

Re: [Haskell-cafe] MIDI-controlled application

2011-12-27 Thread Heinrich Apfelmus
Stephen Tetley wrote: Events in FRP / Yampa are typically key presses / mouse movement, so a MIDI controller generating Note-on / Note-off events would be a direct analogue to key presses. More problematic is that FRP models hybrid (continuous and discrete) systems. For me at least, MIDI seems

Re: [Haskell-cafe] GHC 7.4 and binutils-gold

2011-12-27 Thread austin seipp
I encountered this problem approximately a month ago building HEAD and reported it to Ian: http://www.haskell.org/pipermail/cvs-ghc/2011-November/068562.html His fix worked - but I was doing a build from source. The problem now is that this is a -build-time- option, not a runtime option, but

[Haskell-cafe] Conduits: Is Source a valid instance of Monad?

2011-12-27 Thread Aristid Breitkreuz
Hi all, As you may have noticed, Michael Snoyman has been working on an alternative approach to I/O, called conduits. You can find it here: https://github.com/snoyberg/conduit When looking at the Source type (explained here: http://www.yesodweb.com/blog/2011/12/conduits), I noticed that they

Re: [Haskell-cafe] MIDI-controlled application

2011-12-27 Thread Tom Murphy
On Tue, Dec 27, 2011 at 3:54 AM, Tim Baumgartner baumgartner@googlemail.com wrote: Hi Haskellers! I'm writing my first non-trivial Haskell application. I have an electronic drum set that generates MIDI events that I process with Haskell. A simple application of this kind might have fixed