Re: Comment Syntax

, /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham [EMAIL PROTECTED] This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised

Re: MPTCs and functional dependencies

, as the code would continue to work). But maybe other people have a somewhat difference experience, and feel that this is less of an issue than I believe it is? All the best, /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham [EMAIL PROTECTED

[Fwd: Re: Haskell-prime Digest, Vol 2, Issue 6]

Hmm. Seems I missed sending this to haskell-prime. Sorry. /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham [EMAIL PROTECTED] This message has been checked for viruses but the contents of an attachment may still contain software

Re: Proposal: pattern synonyms

the idea, but it would be nice if the RHS of a pattern synonym definition really coudl be any Haskell pattern, without any additional restriction (except that it has to be acyclic). All the best, /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University

Re: proposal: standardize interface to Haskell' implementations

, /Henrik Ideals are like stars. You may never be able to reach them, but you can navigate by them. Not terribly accurately though, which is why they invented GPS. :-) -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham [EMAIL PROTECTED

Re: Module System

, please, to the extent possible, let's keep the file system out of the Haskell' definition! All the best, /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham [EMAIL PROTECTED] This message has been checked for viruses but the contents

Re: Module System

there were the possibility of naming our haskell files whatever we liked. And I'd like to second that! But not a Haskell' issue (I hope). Best, /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham [EMAIL PROTECTED] This message has

Re: Export lists in modules

hope it would be possible to put a type signature next to the actual definition as well, though, unless that would be terribly complicated for some reason (in which case I'd personally stick with the unannotated export list). /Henrik -- Henrik Nilsson School of Computer Science and Information

Re: MPTCs and functional dependencies

, is potentially quite big. But of couse, the above discussion on likely change impact is just my gut feeling. My key argument is that MPTCs and thus some form of FDs/ATs are really important in practice. All the best, /Henrik -- Henrik Nilsson School of Computer Science and Information

Re: collecting requirements for FDs

where FRPTask.lhs: class Monad m = StateMonad s m | m - s where FRPTask.lhs: class Monad m = EnvMonad env m | m - env where FRPTask.lhs: class GTask t = MsgTask t m | t - m where FRPTask.lhs: class MsgTaskMap mt m nt n | mt - m, nt - n where /Henrik -- Henrik Nilsson School of Computer Science

Re: Class System current status

mentioned in other contexts, specifically for records, and I don't like it there either for the same reasons. Best, /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham [EMAIL PROTECTED] This message has been checked for viruses

Re: Indentation of If-Then-Else

this to the 'Cons' list. Henning, I'm afraid I don't quite understand what the conses are? Could you clarify the concrete ill effects of the proposal, please? Best, /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham [EMAIL PROTECTED] This message

Re: Indentation of If-Then-Else

complicates all language tools without need. I'll add that a recommendation for improved error messages has been suggested as an alternative remedy. /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham [EMAIL PROTECTED] This message has been

Re: patch applied (haskell-prime-status): proposal: remove string gaps

to be fixed as that's what at fault, not the language as such I have to confess I find string gaps rather elegant, and I think any sensible language ought to have them! /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham [EMAIL PROTECTED] This message has been checked

Re: patch applied (haskell-prime-status): proposal: remove string gaps

appropriate precautions. So, I still don't find the rationale for removing string gaps very compelling, I'm afraid! Best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham [EMAIL PROTECTED] This message has been checked for viruses but the contents of an attachment may

Re: patch applied (haskell-prime-status): proposal: remove string gaps

I wonder if I should suggest removing all those strange ascii esacpe sequences next... Well, in contrast to string gaps, I don't think I've ever used those! /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham [EMAIL PROTECTED] This message has been checked

Infix type and function definitions

(+) a b = Left a | Right b ? All the best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham [EMAIL PROTECTED] This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you

Re: Meta-point: backward compatibility

. The associativity of $ is a case in point. So, the criteria I proposed still seem quite reasonable to me. But I'm biased, of course! :-) /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham [EMAIL PROTECTED] This message has been checked for viruses but the contents

Re: Proposal: FirstClassFieldUpdates

mean if it's used more than once in a scope, e.g. what about the following: f (C1 {a = 1, ..}) (C2 {b = 2, ..}) = (C1 {a = 10, ..}, C2 {b = 20, ..}) ??? Best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham n...@cs.nott.ac.uk This message has

Re: Long live String = [Char] (Was: Re: String != [Char])

the ones described above.) Best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham n...@cs.nott.ac.uk ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime

Re: String != [Char]

at Nottingham, I can say that removing String = [Char] from the language wouldn't be helpful to us. And we do respect our students. Best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham n...@cs.nott.ac.uk ___ Haskell

Re: Breaking Changes and Long Term Support Haskell

ing that far-reaching changes should go past a committee with a clear mandate and a sufficiently robust and long process are coming from. And I believe this is also what underlies Lennart's sentiment: > I think voting to decide these kind of issues a terrible idea; we > might as well throw dice.

Re: Breaking Changes and Long Term Support Haskell

ight of the above, I felt compelled to clarify this position again. It's not about no more changes ever. It is about ensuring that changes are truly worthwhile and have wide support. Best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham n...@cs.nott.ac.uk

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

o very carefully think about what the appropriate processes should be for going forward. Best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham n...@cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential

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

ttee, which is where it properly belongs. Otherwise, the Haskell community itself might be one of the things that MRP breaks. Best regards, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham n...@cs.nott.ac.uk This message and any attachment are intended sole

Re: Chairship / responsibility

irst step of the reboot. Best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham n...@cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, pl

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

t Simon said there is, I do think aiming to make GADTs an official part of Haskell 2020 should be a priority. Best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham n...@cs.nott.ac.uk This message and any attachment are intended solely for the addressee and

Re: Haskell Prime Meeting at ICFP (Was: Whose gonna be at icfp?)

Hi all, Reminder: Haskell' is meeting lunchtime today, so shortly after 12:30. We now, thank to Jeremy Gibbons, also have a room: C5. So grab lunch and then go to C5. Best, /Henrik This message and any attachment are intended solely for the addressee and may contain confidential

Re: Whose gonna be at icfp?

Hi! > We should coord a committee catch-up at icfp. Seems that at least a few people are/or will be here in Oxford. I counted: Carter Schonwald John Wiegley Mario Blazević Lennart is also here, and Iavor is or will be here. Anyone else? It would make most sense to try to time a

Haskell Prime Meeting at ICFP (Was: Whose gonna be at icfp?)

Hi Haskell Primers, We have now agreed Thursday Lunch (1st Day of Haskell Symposium) for the Haskell Prime coordination meeting. We agreed to meet towards the far end of the Foyer, past the café viewed from the main lecture theatre L1. All the best, /Henrik This message and any attachment

Re: Remove eq and show from num class

On 09/08/2017 12:45 AM, Carter Schonwald wrote: please say yes or no. its quite easy with email . i'm not going to write that little proposal if folks wont accept it :) I'd love to see those constraints go. But it is important that the full ramifications are clearly articulated. Best,

New Haskell Prime Chair

Dear Haskell Primers, At the Haskell Prime Meeting at ICFP last week, it was agreed that I will take over as Chair of the Haskell Prime committee from Herbert Valerio Riedel for initially one year with the aim of facilitating and co-ordinating the language revision process. This will allow

Re: Whose gonna be at icfp?

I will attend ICFP and the Haskell symposium. Meeting up is a very good idea! Best, /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately

Re: Whose gonna be at icfp?

Hi, On 09/05/2017 12:54 PM, Mario Blazevic wrote: In that case I suggest we meet during the coffee break and decide when we really meet. OK. Should we try to find each other at 16:10, then? Outside L1, the ICFP lecture theatre? /Henrik This message and any attachment are intended solely

Re: Whose gonna be at icfp?

Hi, On 09/05/2017 10:27 AM, Mario Blazevic wrote: I thought John said 4:40 today. You missed Andres Löh. Must have missed that. Works for me! /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this

Re: Shall the Haskell Report remain in LaTeX?

Yes, I see no benefits moving from LaTeX. So remain LaTeX. /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do

Re: Quo vadis?

Hi, On 10/05/2018 01:20 PM, Mario Blažević wrote: I hereby propose we formally disband the present Haskell 2020 committee. Our performance has been so dismal It has. And I should apologise in particular: I've just had far less time than I thought over the past year for a variety of

Re: LAST CALL to comment on the Applicative/Monad Proposal

Hi all, Well, I am in favour of discussing AMP and MRP separately because: a) As far as I am aware, there is no compelling *technical* reason for not doing so. b) On balance, this is the path most likely to result in some progress on this issue. Of course, if there *is* a

Re: LAST CALL to comment on the Applicative/Monad Proposal

Hi, Philippa wrote: > It's a lot easier to estimate ecosystem impact given a switch that'll > find all the resulting errors and give everyone a chance to fail any > tests. Yes, a good point. But just to be clear, the impact of some changes go well beyond what can be assessed by looking at

Re: LAST CALL to comment on the Appicative/Monad Proposal

Hi, On 12/18/2018 02:52 PM, Cale Gibbard wrote: Secondarily, it's a bit hard to describe why this is, but I personally find it a bit obnoxious whenever someone uses 'pure' rather than 'return' if the functor is known to be an instance of Monad and the generality isn't needed. It's a kind of

Re: The first proposal has been merged

Hi, On 11/27/2018 03:28 AM, Mario Blažević wrote: Break out the champagne, because the first Haskell 2020 proposal has been fully merged [1]. Thank you, Mario! /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you