- Haskell-Cafe - Haskell.org

Promoting associated data types
by Kosyrev Serge 29 Jun '15

29 Jun '15

Good day! DataKinds doesn't allow promotion of type/data families. However, in the specific case of associated data families -- aren't they constrained more, and sufficiently so that the following, for example, could be made to work without stepping into dangerous territories: -- {-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UnicodeSyntax #-} module M where class C a where data D a ∷ * data I instance C I where data D I class C1 a (b ∷ D I) where -- ..or, maybe, perhaps even the following: class C1 a (b ∷ D) where -- respectfully, Косырев Серёга

4 10

Re: [Haskell-cafe] Tokenizing Haskell for future A.I.
by Stefan Reich 28 Jun '15

28 Jun '15

Oops. Subject should have read "Tokenizing" of course. :-) On 6/27/15, Stefan Reich <stefan.reich.maker.of.eye(a)googlemail.com> wrote: > Hi folks! > > I've been an avid Haskell user for a couple years. > > I am now making an A.I. system that will help programming in general. > It's based on a Java variation called JavaX (javax.tinybrain.de). > > However, any language can be processed. The most important step is > tokenization which is actually the bulk effort of the parsing process. > > Thus. Anyone in the mood for contributing a Haskell tokenizer? > > Instructions here: > http://tinybrain.blog.de/2015/06/27/a-standard-system-for-tokenization-2060… > > The benefit? One day, your Haskell coding (/refactoring) can be done > by A.I. (Or a part of it...) > > Cheers, > Stefan >

2 2

Tokeninng Haskell for future A.I.
by Stefan Reich 28 Jun '15

28 Jun '15

Hi folks! I've been an avid Haskell user for a couple years. I am now making an A.I. system that will help programming in general. It's based on a Java variation called JavaX (javax.tinybrain.de). However, any language can be processed. The most important step is tokenization which is actually the bulk effort of the parsing process. Thus. Anyone in the mood for contributing a Haskell tokenizer? Instructions here: http://tinybrain.blog.de/2015/06/27/a-standard-system-for-tokenization-2060… The benefit? One day, your Haskell coding (/refactoring) can be done by A.I. (Or a part of it...) Cheers, Stefan

1 0

Higher Kinded Void
by Anupam Jain 27 Jun '15

27 Jun '15

Hi all, I currently have some code for which I require a uninhabitable Functor. I currently just use - data VoidF a instance Functor VoidF where fmap = undefined Is there a reason something like this is not in the package void? Perhaps we could even have Void1 with kind * -> *, Void2 with kind * -> * -> * etc. I opened a github issue a few days ago but haven't received a response from ekmett yet - https://github.com/ekmett/void/issues/9 -- Anupam

2 2

Generalizing a library
by Geraldus 27 Jun '15

27 Jun '15

Hi Cafe! I've written very first version of GHCJS port <https://github.com/geraldus/ghcjs-perch> of Perch <https://github.com/agocorona/haste-perch> library originally designed to work with Haste compiler. Most of work is already done, though some polishing is needed. In essence Haste and GHCJS versions are very similar, the major difference is how foreign functions are defined, and in fact Perch is built using just a few low-level primitives <https://github.com/geraldus/ghcjs-perch/blob/master/src/Internal/FFI.hs>. So, as these libraries are very similar I want to generalize Perch to make it independent of compiler somehow. My initial idea was to have a Perch library and several compiler specific back-ends which user should select depending on his toolchain, but my Haskell skills are still very poor to find a proper way to do this. Can someone point me in right direction or at least give some advices? Very appreciate any help!

2 2

ANN: stack-0.1.1.0
by Emanuel Borsboom 27 Jun '15

27 Jun '15

New release of stack, a build tool. Changes: https://github.com/commercialhaskell/stack/releases/tag/v0.1.1.0 General information and download links: https://github.com/commercialhaskell/stack#readme This version includes a 'stack upgrade' command, which will make to much easier to upgrade to the NEXT version (but unfortunately you'll have to get this version the old way).

1 0

Fwd: taking over urlencoded
by Francesco Gazzetta 26 Jun '15

26 Jun '15

The package urlencoded <https://hackage.haskell.org/package/urlencoded> wasn't updated since 2012 and needs a minor modification in the .cabal file. The author was contacted half an year ago, but he didn't respond, so -according to the instructions <https://wiki.haskell.org/Taking_over_a_package> on hackage- I state my intention to take over. Or, more simply, can an hackage admin just edit the cabal file?

4 8

Re: [Haskell-cafe] Haskell users on Chile
by Ruben Astudillo 25 Jun '15

25 Jun '15

On 24/06/15 16:18, Anupam Jain wrote: > Sure I can do that. It would help if the group was already created though. > Do you want any help setting up a mailing list or something? I set-up a mailing list on google groups here: https://groups.google.com/forum/#!forum/haskellchile If you got problems or want to also be a maintainer send me a mail. Also I should set up a channel on freenode, but that one ought to be easy. #haskell-chile should do. For the time being we should reefer to people interested to the mailing list. -- Ruben Astudillo. pgp: 0x3C332311 , usala en lo posible :-) Crear un haiku, en diecisiete silabas, es complica...

2 1

Haskell support in Apache Spark (I am preparing)
by Vasili I. Galchin 25 Jun '15

25 Jun '15

I am researching how to do. Hence, now is the time for everybody speak(!!) so I don't get blindsided, e.g. "I already did that" or "I am already working on that". Bad mojo. Vasili

3 3

pqueue - repository and maintainer (taking over)
by lennart spitzner 25 Jun '15

25 Jun '15

Greetings, Regarding the pqueue package: 1) Does anyone have any (additional) contact details for the current maintainer/author, Louis Wasserman? 2) Is the package's repository available anywhere? The darcs link listed in the package 404s. 3) I would be willing to take over for basic maintenance if the current maintainer is unavailable. The pqueue package does not compile with ghc-7.10. Fixing requires just some quick changes (i have a working version locally). The last upload for the package is from 2012, but the author's github account lowasser shows some more recent activity. Yet I have not received a reply to my e-mail from six weeks ago. Lennart

6 10