[Haskell] Summer of Haskell Mentors

If you are interesting in helping out as a possible mentor for this year's Summer of Haskell, please email me, and include MENTOR in the title. Thank you! -Edward ___ Haskell mailing list Haskell@haskell.org

Re: suboptimal ghc code generation in IO vs equivalent pure code case

I'm no expert on reading GHC's generated assembly. However, there may be a line you've overlooked in explaining the difference, namely: movq $stg_upd_frame_info,-16(%rbp) This appears only in the IO code, according to what you've pasted, and it appears to be pushing an update frame (I

[Haskell] 2-year postdoctoral position in programming languages at LFCS

Hi, I am pleased to announce that we are now accepting applications for a postdoctoral research position in programming languages. The position is for 24 months, starting on or around September 1, 2016. Funding is provided by a five-year, €1.99M Consolidator Grant from the European Research

suboptimal ghc code generation in IO vs equivalent pure code case

I have a loop which runs millions of times. For some reason I have to run it in the IO monad. I noticed that when I convert the code from pure to IO monad the generated assembly code in essence is almost identical except one difference where it puts a piece of code in a separate block which is

Re: Chairship / responsibility

On Sat, 30 Apr 2016 10:03:55 +0200, Herbert Valerio Riedel wrote: Hello *, : | In consultation with the current members of the Haskell Prime | committee (and Simon PJ), I have volunteered as chair to "reboot" the | process and get things rolling again. : I think it's

Re: Infrastructure & Communication

On Sun, 01 May 2016 00:22:44 +0200, Austin Seipp wrote: : - It has strong access control mechanisms. This means the Prime committee can do things like have private discussion, outside of usual e.g. email. I know people are intimately leery of this, but I think in

[Haskell] LPTI'16 Call for Papers

Call for Papers Workshop on Logic Programming for Type Inference 16-17 October 2016, New York, USA https://ff32.host.cs.st-andrews.ac.uk/lpti16/ Objectives and scope --- Two facts are universally acknowledged: critical software must be subject to formal verification and modern

RE: The GADT debate

Do you really need that many type signatures? I remember trying to work out what extra information is needed when type checking case with dependent types. If memory serves, you can get by with just specifying the single (type) function that is instantiated in each arm and in the conclusion.

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

Just to be clear, MonoLocalBinds, as implemented, does not apply to local bindings that could equally well have been written at top level; that is, they do not mention any locally-bound variables (except other local bindings that could themselves be floated). So you are at liberty to use where