Re: [Haskell-cafe] Why isn't hsc2hs functionality provided by ghc?

2013-06-05 Thread John Lato
I agree that preprocessing code shouldn't be hsc2hs specific. I prefer c2hs myself. But hsc2hs is distributed with ghc, which makes it as official as a good many other parts of "modern Haskell". I also agree that making cabal-ghci work nicely would be ideal, but I don't think it can be done with

Re: [Haskell-cafe] FRP memory leaks

2013-06-05 Thread John Lato
Which FRP frameworks have you been looking at? In my experience, the most publicized leaks have been time leaks, which are a particular type of memory leak related to switching. However, the presence of time leaks mostly arises in terms of the FRP implementation. Arrowized FRP (e.g. Yampa, netwi

Re: [Haskell-cafe] Why isn't hsc2hs functionality provided by ghc?

2013-06-05 Thread Jeremy Shaw
While hsc2hs is a popular FFI preprocessor, it is not the only one. There is also greencard and a few others. While hsc2hs can usually get the job done -- it's not clear that it is really the best choice. I think the Haskell FFI got to the point that it was 'just good enough' and then people lost

Re: [Haskell-cafe] Why isn't hsc2hs functionality provided by ghc?

2013-06-05 Thread John Lato
On Wed, Jun 5, 2013 at 3:56 PM, Roman Cheplyaka wrote: > * Ivan Lazar Miljenovic [2013-06-05 > 17:47:40+1000] > > On 5 June 2013 17:34, Roman Cheplyaka wrote: > > > * Jason Dagit [2013-06-04 21:00:25-0700] > > >> > My preferred solution would be to have ghc/ghci automatically run > hsc2hs > >

[Haskell-cafe] Haskell Weekly News: Issue 269

2013-06-05 Thread Daniel Santa Cruz
Welcome to issue 269 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 26 to June 1, 2013. Quotes of the Week * neutrino: i've been teaching people about functional programming etc (when I came in there was

Re: [Haskell-cafe] voting sytem DSL

2013-06-05 Thread Jeremy Shaw
Hello, The closest thing I know of is, https://github.com/whatgoodisaroad/surveyor - jeremy On Wed, Jun 5, 2013 at 4:22 PM, Corentin Dupont wrote: > Hi haskellers! > I am trying to make a DSL able to describe a voting system. That DSL should > be able to describe many different voting procedur

Re: [Haskell-cafe] Typeable typeclass and type-level naturals

2013-06-05 Thread TP
José Pedro Magalhães wrote: >> Oh, it should probably be simply >> >> deriving instance Typeable 'Zero >> deriving instance Typeable 'Succ >> > > Yes, that's how it should be. Please let me know if that > doesn't work. Thanks, it works perfectly like that. I don't understand exactly why the

Re: [Haskell-cafe] voting sytem DSL

2013-06-05 Thread AlanKim Zimmerman
Have you looked at http://frictionfreedemocracy.org/ They are using https://github.com/agocorona/Workflow amongst other things to define election work flows. Alan On Jun 5, 2013 11:25 PM, "Corentin Dupont" wrote: > Hi haskellers! > I am trying to make a DSL able to describe a voting system. Tha

[Haskell-cafe] voting sytem DSL

2013-06-05 Thread Corentin Dupont
Hi haskellers! I am trying to make a DSL able to describe a voting system. That DSL should be able to describe many different voting procedures: unanimity or majority, open or secret ballot, one or two turns... It should also work for referendums (yes/no question) or elections (electing one or seve

[Haskell-cafe] FRP memory leaks

2013-06-05 Thread Łukasz Dąbek
Hello, Cafe! I've heard that one of the problems of FRP (Functional Reactive Programming) is that it's easy to create memory leaks. However I cannot find any natural examples of such leaks. Could anybody post some (pseudo)code demonstrating this phenomenon? Preferably something that arises when on

Re: [Haskell-cafe] Why isn't hsc2hs functionality provided by ghc?

2013-06-05 Thread Tillmann Rendel
Hi, Roman Cheplyaka wrote: My preferred solution would be to have ghc/ghci automatically run hsc2hs [...] when necessary. How about having a `ghci` command for cabal? I don't think cabal can provide that. Let's say you're inside a 'cabal ghci' session. If you modify the hsc file and reload i

Re: [Haskell-cafe] Array, Vector, Bytestring

2013-06-05 Thread Bas van Dijk
On 5 June 2013 11:50, Peter Simons wrote: > I meant to say that there is redundancy in *both*. The libraries > mentioned in this thread re-implement the same type internally and > expose APIs to the user that are largely identical. I agree. I hope that ByteStrings will be replaced by a Storable.V

Re: [Haskell-cafe] Array, Vector, Bytestring

2013-06-05 Thread Peter Simons
Hi Tom, thank you for the explanation. > I believe you are suggesting that there is redundancy in the > implementation details of these libraries, not in the APIs they > expose. I meant to say that there is redundancy in *both*. The libraries mentioned in this thread re-implement the same typ

Re: [Haskell-cafe] [haskell.org Google Summer of Code 2013] Approved Projects

2013-06-05 Thread Dominic Steinitz
I will certainly volunteer (to mentor) next year if I feel I can add value. Dominic Steinitz domi...@steinitz.org http://idontgetoutmuch.wordpress.com On 2 Jun 2013, at 17:23, Edward Kmett wrote: > Public good is a nebulous concept, but it is something that each of the folks > who sign up as m

Re: [Haskell-cafe] Why isn't hsc2hs functionality provided by ghc?

2013-06-05 Thread Roman Cheplyaka
* Ivan Lazar Miljenovic [2013-06-05 17:47:40+1000] > On 5 June 2013 17:34, Roman Cheplyaka wrote: > > * Jason Dagit [2013-06-04 21:00:25-0700] > >> > My preferred solution would be to have ghc/ghci automatically run hsc2hs > >> > (support c2hs also?) when necessary. But so long as it's handled

Re: [Haskell-cafe] Typeable typeclass and type-level naturals

2013-06-05 Thread José Pedro Magalhães
On Wed, Jun 5, 2013 at 8:46 AM, Roman Cheplyaka wrote: > * TP [2013-06-05 00:37:36+0200] > > Roman Cheplyaka wrote: > > > > > Try adding > > > > > > deriving instance Typeable 'Zero > > > deriving instance Typeable a => Typeable ('Succ a) > > > > > > to your module. > > > > > > (I haven't te

Re: [Haskell-cafe] Why isn't hsc2hs functionality provided by ghc?

2013-06-05 Thread Ivan Lazar Miljenovic
On 5 June 2013 17:34, Roman Cheplyaka wrote: > * Jason Dagit [2013-06-04 21:00:25-0700] >> > My preferred solution would be to have ghc/ghci automatically run hsc2hs >> > (support c2hs also?) when necessary. But so long as it's handled >> > automatically, I wouldn't be particularly bothered by t

Re: [Haskell-cafe] Typeable typeclass and type-level naturals

2013-06-05 Thread Roman Cheplyaka
* TP [2013-06-05 00:37:36+0200] > Roman Cheplyaka wrote: > > > Try adding > > > > deriving instance Typeable 'Zero > > deriving instance Typeable a => Typeable ('Succ a) > > > > to your module. > > > > (I haven't tested it — you might need to tweak it a bit.) > > Thanks Roman. > Unfortuna

Re: [Haskell-cafe] Why isn't hsc2hs functionality provided by ghc?

2013-06-05 Thread Roman Cheplyaka
* Jason Dagit [2013-06-04 21:00:25-0700] > > My preferred solution would be to have ghc/ghci automatically run hsc2hs > > (support c2hs also?) when necessary. But so long as it's handled > > automatically, I wouldn't be particularly bothered by the implementation. > > How about having a `ghci` c