[Haskell] [Philip Wadler] IOHK is hiring six PLT engineers

This message being sent to you on behalf of Philip Wadler: IOHK is hiring six Programming Language Theory engineers, to design and implement the smart contract language Plutus and related domain specific languages. Designing scripting languages for smart contracts is a challenging topic, as it is

Re: Shall the Haskell Report remain in LaTeX?

>>>>> "DS" == Doaitse Swierstra <doai...@swierstra.net> writes: SD> The good thing about laTeX is that out of all the candidates it is the SD> most likely one to still work 40 years from now, +1 from me for LaTeX as well. -- John Wiegley

Re: Remove eq and show from num class

said "all yays from committee members", and that it was then asking people to simply affirm the vote. I should have read, "everyone who agrees, say yay". :) -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartis

Re: Remove eq and show from num class

of the committee members here at ICFP, so I took Carter's note to be a sign of enthusiasm, and not actual procedural decision making. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 ___

Re: Whose gonna be at icfp?

>>>>> "CS" == Carter Schonwald <carter.schonw...@gmail.com> writes: CS> I'll be this time! :) CS> We should coord a committee catch-up at icfp. I will be there as well. -- John Wiegley GPG fingerprint = 4710 CF98

Re: Haskell-prime Digest, Vol 104, Issue 2

l your code sticks to one SC> convention), but it would still, well, be really nice. As much as I'd love to see it too (after programming in Coq, I constantly get things mixed up whenever I jump back to Haskell), I can't see this ever happening either. That ship has sailed, as they say. -- Jo

Re: [Haskell] regex: a toolkit for regex-base

o use, missing some key feature (like proper unicode support), or has undesirable external dependencies. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 ___

[Haskell] Work on mail.haskell.org beginning, please report any problems

, John Wiegley Haskell.org, infrastructure team ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: Proposal: accept tuple sections

>>>>> "ID" == Iavor Diatchki <iavor.diatc...@gmail.com> writes: ID> it seems that there isn't much controversy over the TupleSections propsal, ID> so I'd like to move the we accept it for the next language standard. No objection here. -- John Wiegley

Re: Scope of committee (can we do *new* things?)

her credence than paperware. However, they don't exclude paperware either. So I don't think we need to rely on implementation before considering a feature we all want, but I do agree that seeing a patch in GHC first allows for much testing and experimentation. -- John Wiegley GPG fi

Are there GHC extensions we'd like to incorporate wholesale?

. For example, MultiParamTypeClasses, OverloadedStrings, GADTs, TypeFamilies, etc. How much "work" is typically involved in promoting a feature to be in the Report, and how do we determine when it's a bad idea? -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newar

Re: Evaluation order control between two expressions

e that this has been discussed previously, but another incarnation of the Prime committee: https://mail.haskell.org/pipermail/glasgow-haskell-users/2006-November/011480.html -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com

Re: Chairship / responsibility

lp. > I agree completely with this. I also agree, and offer my thanks to Herbert for being willing to take up this role from the beginning. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com

[Haskell-community] ANN: New Haskell.org committee members

-nominate again in the future. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 signature.asc Description: PGP signature ___ Haskell-community mailing list

[Haskell] ANN: New Haskell.org committee members

-nominate again in the future. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 signature.asc Description: PGP signature ___ Haskell mailing list Haskell

[Haskell] Call for Haskell.org committee self-nominations

individually. Thank you, -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 signature.asc Description: PGP signature ___ Haskell mailing list Haskell

[Haskell] ANN: linearscan, linearscan-hoopl 1.0.0

implemented by this library was first written in Java by Hanspeter Mössenböck and Michael Pfeiffer[11], and later improved upon by Christian Wimmer[12], whose master's thesis provided the specification for our implementation. John Wiegley BAE Systems Footnotes: [1] http://hackage.haskell.org/package

Re: [Haskell] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0

> Beta Ziliani writes: > I'd be interested to know what was the outcome of the project from the point > of view of BEA Systems. Is there any report about it? >From BAE's point of view, we gained some industrial perspective. Separately, I have prepared an

Re: [Haskell-cafe] Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`

> Henrik Nilsson writes: > So before breaking anything more, that being code, research papers, books, > what people have learned, or even the community itself, it is time to very > carefully think about what the appropriate processes should be for going >

Re: Self-nomination

I will self-nominate as well, but not due to experience with Haskell; rather, I can offer a pair of fresh eyes, and also the perspective of someone who has worked on language standardization in the C++ world. About me: * Haskell user since 2012, full-time Coq user since 2014. * Worked

Re: Welcome, and getting started

Neil Mitchell ndmitch...@gmail.com writes: Is the ability to generate dlls with both shared and non-shared RTS's a feature of dynamic linking? At Standard Chartered we build non-shared (static) dlls on Windows 32bit and shared-RTS dlls/sos on Linux 64bit. Both are essential to us. I believe

ANN: git-monitor

now, so I felt it finally deserved an announcement here. Thank you, John Wiegley (johnw on IRC/freenode) ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: [Haskell] ANN: git-monitor

John Wiegley jo...@newartisans.com writes: https://github.com/jwiegley/git-monitor The page is: https://github.com/jwiegley/gitlib John ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: New implementation draft for -XStaticPointers

Facundo Domínguez facundo.doming...@tweag.io writes: We are pleased to announce a new implementation draft of the StaticPointers extension [1]. Very nice, thank you! John ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

Re: GHC Trac

Simon Peyton Jones simo...@microsoft.com writes: Is it just me, or is the GHC Trac soul-destroyingly slow at the moment? IT takes minutes to load one page! You may be interested in the Mylyn plugin for the Eclipse IDE, which allows for downloading and offline browsing of issues in Trac. That

Re: Windows build broken in Linker.c

Simon Marlow marlo...@gmail.com writes: I was working on a fix yesterday but ran out of time. Frankly this code is a nightmare, every time I touch it it breaks on some platform - this time I validated on 64 bit Windows but not 32. Aargh indeed. Before I start breaking this code up into

Re: Permitting trailing commas for record syntax ADT declarations

Richard Eisenberg e...@cis.upenn.edu writes: What if we just stopped requiring commas in import/export lists? As far as I can tell, they're not necessary for proper parsing. +1 John ___ Glasgow-haskell-users mailing list

Re: Preliminary proposal: Monoidal categories in base and proc notation support

Sophie Taylor sop...@traumapony.org writes: I am working on a proposal for some additions to the base library and some modifications to GHC in the same style as the do notation support for Applicatives. It is still very much a work in progress, but any input/ constructive criticism would be

Re: The list fusion lab

David Feuer david.fe...@gmail.com writes: Joachim Breitner wrote: Together with John Wiegly at ICFP, I started to create a list performance laboratory. You can find it at:         https://github.com/nomeata/list-fusion-lab Many thanks to you both! This sounds like an excellent idea. I do

Re: Regression in the typechecker in GHC 7.8.2

Simon Peyton Jones simo...@microsoft.com writes: Copying ghc-devs. Oleg says: | Sorry for reporting a problem via e-mail. It seems track no | longer accepts anonymous (guest) submissions. When I tried to register | the account I was told that my submission is a spam. The tracker is

Re: [Haskell-cafe] MonadBaseControl IO instance for conduits ?

Aleksey Uymanov s9gf4...@gmail.com writes: Is it posible to create instance of MonadBaseControl IO (ConduitM i o m) ? No, it is not, for approximately the same reason that you cannot create one for ContT (or any form of continuation). -- John Wiegley FP Complete

Re: [Haskell-cafe] Lifting IO actions into Applicatives

Daniil Frumin difru...@gmail.com writes: Isn't it the case that there could be more than one natural transformation between functors? Yes, I imagine there would have to be some newtype wrappers to distinguish in those cases. -- John Wiegley FP Complete Haskell tools

Re: [Haskell-cafe] Lifting IO actions into Applicatives

another, I reach for nmap in the same way that I reach for fmap to transform the mapped type. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net

Re: [Haskell-cafe] Creating a local Hoogle ...

: rehoo -j4 -c64 . Where 4 is for a 4-core machine. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net ___ Haskell-Cafe mailing list

[Haskell-cafe] This is a mail system test, please ignore

Testing the new e-mail services at haskell.org. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] Please excuse brief service disruption

The e-mail services at haskell.org were switched from exim4 to postfix tonight, please excuse the service disruption. For about one hour e-mails were not being accepted to the mailing lists. All should be resolved now. -- John Wiegley FP Complete Haskell tools, training

Re: [Haskell-cafe] Proposal: New syntax for Haskell

be foldl f (in brackets) f acc x (end of brackets) xs To: foldl :: (a - b - a) - a - [b] - a foldl f z [] = z foldl f z (x:xs) = foldl f (f z x) xs How is that more concise or preferable? -- John Wiegley FP Complete Haskell

Re: [Haskell-cafe] definition of the term combinator

a function that makes new functions out of other functions, which it can often do as a pure combinator, but isn't always a combinator per se. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net

Re: [Haskell] [Haskell-cafe] ANNOUNCE: posix-paths, for faster file system operations

rendition corrects? -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org

Re: [Haskell-cafe] inv f g = f . g . f

Dan Burton danburton.em...@gmail.com writes: under reversed (take 10) ['a'.. 'z'] qrstuvwxyz Excellent, thanks! -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net

Re: [Haskell-cafe] ANNOUNCE: tasty, a new testing framework

select one over another. I use hspec currently (which also integrates with HUnit, QuickCheck, etc.), and couldn't tell at a glance what tasty might offer. And I particularly dislike writing tests inside of a gigantic list; I much prefer the monadic style of hspec. -- John Wiegley FP Complete

Re: [Haskell-cafe] ScopedTypeVariables

wondered why I have to enable ScopedTypeVariables in those cases -- when I'm not turning it on to scope any type variables, but just to make annotations possible in more places. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com

Re: A possible alternative to dot notation for record access

. Imagine this possible code: foo :: Maybe Foo - Bar foo (fromMaybe def - x) = \x - case x of Foo x - x-y-z I think it might get a bit ugly to give it a 5th meaning. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com

Re: [Haskell-cafe] ANNOUNCE: module-management-0.9.3 - clean import lists, split and merge modules

David Fox d...@seereason.com writes: Cliff Beshers wrote a CLI for this, I will add it as a cabal executable in the next version. Oh, also, I was unable to build the library using GHC 7.4.2. It looks like it still depends on the old Exception stuff that used to be Prelude? -- John Wiegley

Re: [Haskell-cafe] ANNOUNCE: module-management-0.9.3 - clean import lists, split and merge modules

to writing it yet. Thanks! -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] Nightly builds of GHC HEAD for OS X 10.8

John Wiegley jo...@fpcomplete.com writes: Since mid-January, I’ve been running nightly builds of GHC on my Mac Pro for 10.8.x, 64-bit. I’ve decided to make these results publically downloadable here: http://ghc.newartisans.com. Just a note: I'm now including builds and logs for Ubuntu

[Haskell-cafe] Nightly builds of GHC HEAD for OS X 10.8

this build takes 8h15m minutes, so I figured this might save others some CPU heat. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net

[Haskell] ANNOUNCE: hlibgit2 0.18.0.1

satisifying way. Please let me know of any issues you encounter here: https://github.com/fpco/gitlib Thank you, -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net

Re: [Haskell-cafe] GSoC Project Proposal: Markdown support for Haddock

Johan Tibell johan.tib...@gmail.com writes: I suggest that we implement an alternative haddock syntax that's a superset of Markdown. Definite +1 from me too. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw

Re: [Haskell-cafe] Threadscope 0.2.2 goes in segmentation fault on Mac Os X 10.8.3

of the process at the time it died? Thanks, -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net ___ Haskell-Cafe mailing list Haskell-Cafe

Re: Release plans

for getting real work done, but I wouldn't have the same reservations concerning a 7.7.x interim developer release. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net

Re: [Haskell-cafe] ANN: lazy-csv - the fastest and most space-efficient parser for CSV

would be very interested in those results, Malcolm. Thanks, -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Use forM_ with Maybe, it's Foldable!

Felipe Almeida Lessa felipe.le...@gmail.com writes: A few days ago I decided to hoogle the type of whenJust [2] and what I discovered is that import Data.Foldable (forM_) whenJust = forM_ You can also use for_, if you want to use Applicative instead of Monad. -- John Wiegley FP

Re: [Haskell-cafe] ANN: monad-bool 0.1

will certainly endeavor to make the most valuable mistakes I can from here on, with the help of such a gracious community. :) Yours, -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net

[Haskell-cafe] ANN: monad-bool 0.1

been done. A search for likely candidates did not turn up anything obvious in Hoogle, but as my knowledge of the whole of Hackage is minimal, I would appreciate any wiser minds that can inform me. Thank you, -- John Wiegley FP Complete Haskell tools, training and consulting

Re: [Haskell-cafe] [Haskell] ANN: monad-bool 0.1

Henning Thielemann lemm...@henning-thielemann.de writes: Does the And monad fulfill the monad laws? In a proper monad an interim (return x) (without a '-') is a no-op. You are very right. I will make the necessary changes. -- John Wiegley FP Complete Haskell tools

Re: [Haskell-cafe] ANN: monad-bool 0.1

Conrad Parker con...@metadecks.org writes: these sound powerful, but how would I do something esoteric like if/elseIf/endIf ? Can you show me an example of what you'd like to express? -- John Wiegley FP Complete Haskell tools, training and consulting http

Re: [Haskell-cafe] ANN: monad-bool 0.1

docs: http://ftp.newartisans.com/pub/monoid-bool/Data-Monoid-Bool.html I'll ask Ross Paterson to deprecate monad-bool. And in future, I'll seek review here first before uploading. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com

Re: [Haskell-cafe] ANN: monad-bool 0.1

distinguishing the final value as either a Left (result from short-circuiting) or a Right (final value). And EitherT can already do that, it just lacks a convenience function to make it easier (i.e, not having to write lots of nested if statements). -- John Wiegley FP Complete

Re: [Haskell-cafe] ANN: monad-bool 0.1

John Wiegley jo...@fpcomplete.com writes: And EitherT can already do that, it just lacks a convenience function to make it easier (i.e, not having to write lots of nested if statements). Never mind, when/unless + left work just fine for this. -- John Wiegley FP Complete

Re: [Haskell-cafe] ANN: monad-bool 0.1

John Wiegley jo...@fpcomplete.com writes: Never mind, when/unless + left work just fine for this. You know, it's been a humorous day. First ekmett showed that I can't make a sane Monad instance for AndM or OrM. Then I discovered I can't make a reasonable Monoid (no mempty, given only 'toBool

Re: GHC Performance Tsar

email us when a benchmark dips). I'll pitch in with this too. I'd like to offer to help with benchmarking on Mac x86_64, if it would be useful to add another architecture to the mix. I just need a little hand- holding to get starting. -- John Wiegley FP Complete Haskell

Re: [Haskell-cafe] Is there a tool like ri from ruby?

. Here's the wiki page about it: http://www.haskell.org/haskellwiki/Hoogle See also: http://newartisans.com/2012/09/running-a-fully-local-hoogle/ With this setup I can use :doc head in my ghci sessions, and see docs very similar to what ri would show. -- John Wiegley FP Complete

Re: [Haskell-cafe] Category Theory and Haskell

= is rather tricky. Doing this exploration in Haskell -- with the aid of the type-checker -- made certain connections clear that were difficult to see in the abstract. And it was plenty of fun besides. :) Happy brain spelunking, -- John Wiegley FP Complete Haskell tools, training

Re: [Haskell-cafe] Instead of Haskell running on the JVM is there a way for Haskell to call a JVM language ...

KC kc1...@gmail.com writes: Instead of Haskell running on the JVM is there a way for Haskell to call a JVM language (or generate bytecode) to access the Java class libraries when needed? Or Is there a way for a JVM language or bytecode to call Haskell when needed? I'd be very interested

Re: [Haskell-cafe] foldr (.) id

Greg Fitzgerald gari...@gmail.com writes: I've recently found myself using the expression: foldr (.) id to compose a list (or Foldable) of functions. You want the Endo monoid: ghci appEndo (Endo (+ 10) Endo (+ 20)) $ 3 33 John ___

Re: [Haskell-cafe] foldr (.) id

Thiago Negri evoh...@gmail.com writes: Can you please show some examples where it might be useful? I miss the point. I guess if he already has a list of functions, Endo won't help. Endo just lets you treat functions as monoids, so you can foldMap, etc. In that case, foldr (.) id is pretty

Re: GHC on OpenIndiana

asyropoulos asyropou...@aol.com writes: I am trying to compile the GHC on OpenIndiana (essentially Solaris 11). I follow the steps in Hi Apostolos, It took me a while to finally figure this out, but in the end I was able to get GHC 7.4.2 working nicely on OpenIndiana. Here are the steps I

Re: [Haskell-cafe] Is Hackage down?

C K Kashyap ckkash...@gmail.com writes: Is it just me or is Hackage indeed been going down more frequently of late? It's not just you. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Over general types are too easy to make.

timothyho...@seznam.cz writes: data BadFoo = BadBar{ badFoo::Int} | BadFrog{ badFrog::String, badChicken::Int} This is fine, until we want to write a function that acts on Frogs but not on Bars. The best we can do is throw a runtime error when passed a Bar and not a Foo: You can