- Haskell-Cafe - Haskell.org

Speakers for a kickoff meetup on functional programming.
by Damian Nadales 05 Oct '16

05 Oct '16

Hi, I'm planning on organizing a Meetup group about Functional Programming in Eindhoven, for next year. Currently there is very few people doing that in this area (according to the few jobs available here), and I would like to promote it. Next to that I would like to advertise Haskell, but I wanted to start with a more broader scope. My current employer is willing to sponsor this, and hence I was looking which speakers could be possible to bring for the big opening event. My first question is which speakers you know in the FP world that can clearly convey the ideas on "why functional programming matter for your company". The idea is to try to spark the interest of the different stakeholders in this city (and region). Second, I've seen some material here and there on FP propaganda, but I would like to know which ones are you favorites. Thanks a lot in advance, Damian.

3 3

Re: [Haskell-cafe] Batteries included (Was: GHC is a monopoly compiler)
by Olaf Klinke 03 Oct '16

03 Oct '16

I did not intend to start a Python-bashing thread. Most people on this list will agree on which language is superior. I did not intend to suggest that Haskell is still mainly a research language, nor that it should remain to be. I'd love to see more problems to be tackled with lenses, FRP or GADTs, just to show that it can be done this way. Maybe one day an idiom will prove superior to its competitors and take its place in whatever is the equivalent of base then. I am happy to have packages coexist that use either of String, Text, ByteString.Lazy or ByteString.Strict. I am a fan of the Unix philosophy: Do one thing, and do it well. There are modules in base that are very good examples of this: Data.Map provides just one data structure with a very easy interface, no newtypes, no typeclasses. The user needs no knowledge of how it is implemented, but the internals can be exposed if necessary. Control.DeepSeq provides one single typeclass to provide one single functionality. In Unix the glue between programs are streams of bytes. I feel that the glue between Haskell libraries should be lambda calculus and algebraic datatypes. So when you write a library that processes HTTP traffic as conduits: Provide a wrapper function whose type does not mention the conduit classes. When you write another efficient text library, provide fromString and toString functions, even if they are inefficient. As to what kind of batteries should be included: * I feel that Haskell already has an excellent set of containers for all sorts of tasks. * It has excellent parsers. * The web stuff seems less uniform, and my complaints about idioms apply. * To compete with other recent teaching languages, a really simple GUI library to use within ghci would be fine. (diagrams and GTK?) Quick Basic included "line" and "circle" commands to play with, even though the rest of the language did not prepare me for more advanced languages. * I know too little about the state of Haskell's number crunching libraries, but it seems that Vector is reasonably efficient nowadays. But what should I use to solve A*x = b? This is a problem so basic that is should be solved by a basic library. I like Peter's suggestion of an official wiki highlighting the state-of-the-art packages for common tasks. As to the versioning and backward compatibility issues of a standard library: In my eyes the whole concept of version numbers is broken. Dependencies should be stated in terms of type signatures. Olaf

11 20

Re: [Haskell-cafe] Batteries included (Was: GHC is a monopoly compiler)
by Olaf Klinke 03 Oct '16

03 Oct '16

Can someone please define what exactly a "batteries included" standard library is? IMHO that Python-Haskell comparison is unfair. Although both claim to be general-purpose languages, the focus in Haskell certainly has been on language research for most of its life. I recently hacked together a web client in python, my first project in that language. Documentation is excellent. Yet I am still horrified I had to use a language that provides so few static guarantees to control megawatt machines. What puts me off Haskell nowadays is the direct result of Haskell's roots in language research: Often when I come across a package that does what I need, it uses the conduit, lens or another idiom, which are like a language in a language to learn. In milder ways Python seems to suffer the same problem. So please, developers: Write more batteries, but make them expose a neat lambda calculus interface if possible that can be combined freely with other batteries. Regards, Olaf

16 29

simple search for new contributors
by Takenobu Tani 02 Oct '16

02 Oct '16

Hi cafe, In relation to these [1][2], I pushed simple search in multiple wiki sites for new contributors. Haskell wiki search for multiple wiki sites https://takenobu-hs.github.io/haskell-wiki-search I'm glad if it would be useful. [1]: https://mail.haskell.org/pipermail/ghc-devs/2016-September/012830.html [2]: https://github.com/ghc-proposals/ghc-proposals/pull/10 Regards, Takenobu

1 0

nbody benchmark please
by Branimir Maksimovic 02 Oct '16

02 Oct '16

can someone put bang pattern with parameters in nbody benchmark program of mine as it is on my machine significantly faster just because of that: run :: Int -> Ptr Planet -> IO () run 0 _ = return () run !i !p = do advance p run (i-1) p PS I lost my account and if someone has it please do this for me ;) http://benchmarksgame.alioth.debian.org/u64q/program.php?test=nbody&lang=gh… Also author of site removed my knucleotide benchmark which was among fastest because I didn't use data.hashtable (which is slow), rather used my own (which is few lines of code)

1 0

Re: [Haskell-cafe] Proposal: add Monoid1 and Semigroup1 classes
by Mario Blažević 01 Oct '16

01 Oct '16

CC-ing the Café on class naming... On 2016-10-01 04:07 AM, Edward Kmett wrote: > I'm somewhat weakly against these, simply because they haven't seen > broad adoption in the wild in any of the attempts to introduce them > elsewhere, and they don't quite fit the naming convention of the other > Foo1 classes in Data.Functor.Classes > > Eq1 f says more or less that Eq a => Eq (f a). > > Semigroup1 in your proposal makes a stronger claim. Semgiroup1 f is > saying forall a. (f a) is a semigroup parametrically. Both of these > constructions could be useful, but they ARE different constructions. The standard fully parametric classes like Functor and Monad have no suffix at all. It makes sense to reserve the suffix "1" for non-parametric lifting classes. Can you suggest a different naming scheme for parametric classes of a higher order? I'm also guilty of abusing the suffix "1", at least provisionally, but these are different beasts yet again: -- | Equivalent of 'Functor' for rank 2 data types class Functor1 g where fmap1 :: (forall a. p a -> q a) -> g p -> g q https://github.com/blamario/grampa/blob/master/Text/Grampa/Classes.hs What would be a proper suffix here? I guess Functor2 would make sense, for a rank-2 type? > > If folks had actually been using, say, the Plus and Alt classes from > semigroupoids or the like more or less at all pretty much anywhere, I > could maybe argue towards bringing them up towards base, but I've seen > almost zero adoption of the ideas over multiple years -- and these > represent yet _another_ point in the design space where we talk about > semigroupal and monoidal structures where f is a Functor instead. =/ > > Many points in the design space, and little demonstrated will for > adoption seems to steers me to think that the community isn't ready to > pick one and enshrine it some place central yet. > > Overall, -1. > > -Edward > > On Fri, Sep 30, 2016 at 7:25 PM, David Feuer <david.feuer(a)gmail.com > <mailto:david.feuer@gmail.com>> wrote: > > I've been playing around with the idea of writing Haskell 2010 > type classes for finite sequences and non-empty sequences, > somewhat similar to Michael Snoyman's Sequence class in > mono-traversable. These are naturally based on Monoid1 and > Semigroup1, which I think belong in base. > > class Semigroup1 f where > (<<>>) :: f a -> f a -> f a > class Semigroup1 f => Monoid1 f where > mempty1 :: f a > > Then I can write > > class (Monoid1 t, Traversable t) => Sequence t where > singleton :: a -> t a > -- and other less-critical methods > > class (Semigroup1 t, Traversable1 t) => NESequence where > singleton1 :: a -> t a > -- etc. > > I can, of course, just write my own, but I don't think I'm the > only one using such. > > > _______________________________________________ > Libraries mailing list > Libraries(a)haskell.org <mailto:Libraries@haskell.org> > http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries > <http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries> > > > > > _______________________________________________ > Libraries mailing list > Libraries(a)haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

5 4

Fwd: Alternative: you can fool many people some time, and some people many time, but...
by Corentin Dupont 01 Oct '16

01 Oct '16

Hi guys, I'm playing with the mysterious "some" and "many" from Control.Applicative. If I try: many $ Just 1 It just loops, I understand why: http://stackoverflow.com/questions/18108608/what-are-alterna tives-some-and-many-useful-for It seems that some and many are normally used in a context where something is consumed, and can be depleted, so the loop ends. But why doesn't this terminates? take 3 $ many $ Just 1 It's a recursive call, but the construction of the result should be lazy... -- ===================================== Corentin Dupont CREATE-NET OpenIoT Research Area - Senior Researcher Via alla Cascata 56/D - 38123 Povo, Trento - Italy e-mail: corentin.dupont(a)create-net.org Skype: corentin.dupont1 www.create-net.org ====================================== -- ===================================== Corentin Dupont CREATE-NET OpenIoT Research Area - Senior Researcher Via alla Cascata 56/D - 38123 Povo, Trento - Italy e-mail: corentin.dupont(a)create-net.org Skype: corentin.dupont1 www.create-net.org ======================================

2 2

Re: [Haskell-cafe] [Haskell] Branch Streaming (was GHC is a monopoly compiler)
by Tony Day 30 Sep '16

30 Sep '16

I've actually looked down that particular rabbit hole. Here's a link to a monoid for pipes that represents a branch: https://github.com/tonyday567/pipes-extended/blob/master/src/Pipes/Monoid.h… For flavour, the computation involves hoisting and lifting back and forth over several layers, as the various meta-physical wires cross. That was years ago, but I haven't seen anything since. It looks like Pipes is the wrong abstraction point to stream with branching. I wonder what is? On Wed, Sep 28, 2016 at 9:59 PM, Carter Schonwald < carter.schonwald(a)gmail.com> wrote: > Nope :) > > And I think we are still learning how to do stream. Have have streaming > in a line down pat, but streaming with a DAG or general graphs wendontnhave > yet ;) > > > On Wednesday, September 28, 2016, Tom Ellis <tom-lists-haskell-cafe-2013@ > jaguarpaw.co.uk> wrote: > >> On Mon, Sep 26, 2016 at 08:56:55PM -0500, Christopher Allen wrote: >> > Streaming is a good example here. It's not "obvious" how to do many >> > things in Haskell that are "obvious" in other languages. Partly >> > because industry hasn't used languages like Haskell much, partly >> > because the canvas we work with permits more structure. >> >> Is it obvious how to do streaming in other languages? >> _______________________________________________ >> Haskell-Cafe mailing list >> To (un)subscribe, modify options or view archives go to: >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >> Only members subscribed via the mailman list are allowed to post. > > > _______________________________________________ > Haskell-Cafe mailing list > To (un)subscribe, modify options or view archives go to: > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > Only members subscribed via the mailman list are allowed to post. >

3 3

Question regarding Candidate Package builds
by Guru Devanla 30 Sep '16

30 Sep '16

Is there any information on what kinds of checks happen on candidate packages that are uploaded. There was a cabal error on a published build. So, I have fixed that and have uploaded a candidate package. I was hoping the same build/checks happen on the candidate package, but I have not seen that happen. This link on the HOME page is very old and does not give any definitive information on what is currently working: https://github.com/haskell/hackage-server/issues/41#issuecomment-25005344 Thanks Guru

1 0

Library pretty print values in Tabular format
by Gurudev Devanla 30 Sep '16

30 Sep '16

Hello All, I am happy to publish a new library on Hackage that lets one print values contained in lists, maps, vectors in a tabular format. This is motivated from the output I am used to seeing while using the Pandas library in Python. This is my first Haskell library and I look forward to feedback and suggestions on improving the library. https://hackage.haskell.org/package/pptable https://github.com/gdevanla/pptable#readme One thing, which I right away do not like about the library is the constraints where the values will have to derive from both Data.Data and GHC.Generic.Generics. Thank you and I look forward to some feedback. Regards Guru P.S: I spent a lot of time trying to make Hackage produce the haddock links. Any pointers to that would be helpful. And "stack sdist" does not package the documentation automatically.

4 3