Re: [Haskell-cafe] HTML framework for web-ui

2013-05-22 Thread Vlatko Basic
Hi Heinrich, Looks simple and interesting. I browsed the git, but not much docs yet. Just examples, or have I looked at wrong places? I see that API is still under heavy design. When do you expect the API might stabilize? (BTW, examples in Readme do not work.) vlatko Vlatko Basic wrote:

Re: [Haskell-cafe] question about type constructors

2013-05-22 Thread Roman Cheplyaka
* TP [2013-05-23 00:34:57+0200] > Hi, > > In the program I am trying to write, I have a problem that can be reduced to > the following dummy example: > > -- > {-# LANGUAGE GADTs #-} > {-# LANGUAGE DataKinds #-} > {-# LANGUAGE KindSignatures #-} > {-# LANGUAGE FlexibleIns

Re: [Haskell-cafe] How to throw an error if using "cabal-install" < version XYZ?

2013-05-22 Thread Carter Schonwald
constraining it to >= 1.17 would be better while 1.18 isn't out yet.. On Thu, May 23, 2013 at 1:42 AM, Roman Cheplyaka wrote: > Perhaps I'm missing something, but why not just > > cabal-version: >=1.18 > > ? > > It will constrain the Cabal version, not cabal-install, but judging from >

Re: [Haskell-cafe] How to throw an error if using "cabal-install" < version XYZ?

2013-05-22 Thread Roman Cheplyaka
Perhaps I'm missing something, but why not just cabal-version: >=1.18 ? It will constrain the Cabal version, not cabal-install, but judging from the fix[1] this is what you actually need. [1]: https://github.com/haskell/cabal/commit/d148336e97cda2e3585c453cf9af61bc3635131a Roman * Ry

Re: [Haskell-cafe] [ANN] Hac Phi 2013

2013-05-22 Thread Daniel Wagner
Just a quick reminder: the registration deadline is tomorrow (Friday) at 1430. If you plan on coming, please let us know so we can buy the right amount of mealtime goodies and get you hooked up with sweet, sweet Internet! ~d On 2013-04-26 18:47, Daniel Wagner wrote: Hac Phi 2013, a Haskell h

Re: [Haskell-cafe] How to throw an error if using "cabal-install" < version XYZ?

2013-05-22 Thread Carter Schonwald
Hey Ryan, I ran into a related issue, heres a a way you can do this safe IN the cabal file (or at least you can modify my hack for your purposes) heres a link to the workaround I did for making LLVM-hs work across >= 1.17 and < 1.17 cabal, but you could abuse it to make sure setup.hs barfs on old

[Haskell-cafe] How to throw an error if using "cabal-install" < version XYZ?

2013-05-22 Thread Ryan Newton
A cabal-install bug was fixed recently that pertains to building C libraries with profiling. As a result, I want a certain packageto test if cabal-install < 0.17.0 is used, and throw a preempt

[Haskell-cafe] Second Call for Papers: Workshop on Functional Art, Music, Modeling, and Design (colocated with ICFP)

2013-05-22 Thread Brent Yorgey
Please submit something to FARM --- the deadline is fast approaching! == FARM 2013: Call for Papers ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design Boston, Massachu

[Haskell-cafe] question about type constructors

2013-05-22 Thread TP
Hi, In the program I am trying to write, I have a problem that can be reduced to the following dummy example: -- {-# LANGUAGE GADTs #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE IncoherentInstances #-} clas

[Haskell-cafe] Debugging embedded ruby interpreter

2013-05-22 Thread Simon Marechal
Hello, I am trying to embed a ruby interpreter into my Haskell library. It didn't seem complicated, and went flawlessly until I tried using it a lot. Then I got segfaults. Here is a test program that corrupts the Array object that is being created : https://github.com/bartavelle/hruby/bl

Re: [Haskell-cafe] "Haskell from N00b to Real World Programmer"

2013-05-22 Thread amslonewolf
Hi - Please record the sessions and post online. On Wednesday, May 22, 2013 11:45:05 AM UTC-4, Mihai Maruseac wrote: > > Hello, > > As hinted in the previous HCAR, this year we will organize an workshop > entitled like the subject of this mail[1]. > > It will be organized by ROSEdu (Romanian Op

[Haskell-cafe] Functional JavaScript Opportunity in NYC

2013-05-22 Thread Ryan Trinkle
Hi everyone, Our company, skedge.me, is looking for a full-time front-end developer in the NYC area. Our front-end is written in JavaScript, but our back-end is written in Haskell, so we're looking for people with solid JavaScript experience but also a strong interest in functional programming.

Re: [Haskell-cafe] accessing a type variable in instance declaration

2013-05-22 Thread Roman Cheplyaka
* TP [2013-05-22 18:45:06+0200] > Ok, thanks, I understand. Now, I'm stuck to compile this code (independent > from my previous post, but related to it): > > --- > {-# LANGUAGE DataKinds #-} > {-# LANGUAGE KindSignatures #-} > > data Nat = Zero | Succ Nat > type One = Succ Zero > ty

Re: [Haskell-cafe] accessing a type variable in instance declaration

2013-05-22 Thread TP
Roman Cheplyaka wrote: > You are confusing type and value variables. > > c2num order > > means apply the function 'c2num' to the value variable 'order', which is > not defined. > > To get from a type to a value you can use a type class 'Sing' (for > 'singleton') > > class Sing a where >

[Haskell-cafe] "Haskell from N00b to Real World Programmer"

2013-05-22 Thread Mihai Maruseac
Hello, As hinted in the previous HCAR, this year we will organize an workshop entitled like the subject of this mail[1]. It will be organized by ROSEdu (Romanian Open Source Education) [2] and the newly founded Haskell-Romania group (no link yet, working on that). It is one workshop in a series o

Re: [Haskell-cafe] accessing a type variable in instance declaration

2013-05-22 Thread Roman Cheplyaka
* TP [2013-05-22 16:18:55+0200] > Hi all, > > I wonder if there is some means to get a type variable value in the body of > a class instance definition. It seems it is not possible (a workaround has > already been given on this list), but I would like a confirmation. > For example, imagine that

[Haskell-cafe] accessing a type variable in instance declaration

2013-05-22 Thread TP
Hi all, I wonder if there is some means to get a type variable value in the body of a class instance definition. It seems it is not possible (a workaround has already been given on this list), but I would like a confirmation. For example, imagine that I have a Tensor type constructor, that takes

Re: [Haskell-cafe] Infrastructure for testing the impact of a Functor/Applicative/Monad hierarchy

2013-05-22 Thread Niklas Hambüchen
Ian Lynagh just posted a link to the "hackager" program: http://hackage.haskell.org/trac/ghc/wiki/HackageTesting That seems to be pretty much what I was looking for. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/

Re: [Haskell-cafe] HTML framework for web-ui

2013-05-22 Thread Heinrich Apfelmus
Vlatko Basic wrote: I'd like to start using web pages as the UI for apps. I found out for yesod, snapp and happstack as the candidates. Would you recommend any of them as better for app ui (not "classical" web pages)? Or maybe another one? Not sure if that's what you are looking for, but with