[Haskell] Nominations close Jan 11th for the Haskell Foundation Board

Board, and that means strong nominations. Thanks! Please do forward this message on social media or elsewhere. Simon Peyton Jones ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Guidelines for respectful communication

Friends As many of you will know, I have been concerned for several years about the standards of discourse in the Haskell community. I think things have improved since the period that drove me to write my Respect email, but

[Haskell] Summit on Advances in Programming Languages 2019

Haskellers The Summit oN Advances in Programming Languages (SNAPL) is a biennial venue for discussions about programming languages. SNAPL focuses on experience-based insight, innovation, and visionary ideas spanning from foundations to applications of programmi

[Haskell] Postdoc and internship opportunities at Microsoft Research Cambridge

18. Informal enquiries to Andy Gordon a...@microsoft.com or Simon Peyton Jones simo...@microsoft.com ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: [Haskell] Treatment of unknown pragmas

I rather agree. We don't even need a convention do we? /Any/ comment in {- -} is ignored by GHC /except/ {-# ... #-}. So tool users are free to pick whatever convention they like to identify the stuff for their tool. Simon | -Original Message- | From: ghc-devs On Behalf Of Ben Gamari

[Haskell] The Haskell Report: who maintains it?

Friends Does anyone know who, if anyone, feels responsible for committing updates to the Haskell 2010 Report? Who even has commit rights? There’s Frank’s pull request below, and I have another important typo to fix. Thanks Simon From: Frank Steffahn [mailto:notificati...@github.com] Sent: 11

[Haskell] SLURP: a single unified registry for Haskell packages

oes<https://github.com/boes>) Manuel Chakravarty (@mchakravarty<https://github.com/mchakravarty>) Simon Marlow (@simonmar<https://github.com/simonmar>) Simon Peyton Jones (@simonpj<https://github.com/simonpj>) Alan Zimmerman (@alanz<https://github.com/alanz>) __

Re: [Haskell] A small milestone

data=02%7C01%7Csimonpj%40microsoft.com%7Cc4d7a883633f4bc5be7308d55e975753%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636518926451639509&sdata=PIKf6Tp95N2w%2F%2BwnQwyLNkuoIP5p%2F%2FofI%2B7eAccJnJM%3D&reserved=0> 😊. Simon From: Haskell-Cafe [mailto:haskell-cafe-boun...@haskell.org] On Behal

[Haskell] A small milestone

Cherished friends Today is my sixtieth birthday. It is just over forty years since Phil and I called in at Yale on my way to FPCA, and floated the idea of Haskell with Paul Hudak. (It wasn't called

[Haskell] Respect

Friends One of the most precious attributes of the Haskell community over the last twenty-five years has been its supportive, friendly, and respectful dialogue. People have often drawn attention to this, and I have always felt good about it.  (A great example is this hilarious exchange [1], whi

Re: [Haskell] [Haskell-cafe] ANN: Creation of Haskell-Community list for Haskell.org Community Infrastructure Discussions

| But this leaves open people wondering what those discussions are. And | it also leaves open where the *designated place* to discuss | haskell.org community infrastructure is. The haskell-infrastructure | [2] list is very quiet and really about technical considerations. | Meanwhile, -cafe, re

[Haskell] GHC 7.10 will use Plan FTP

ive tone of the community. We really appreciate that - thank you. Simon Marlow and Simon Peyton Jones ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: [Haskell] Rank-N types with (.) composition

($) has its own *typing rule*; it does not have a special type. It's very ad hoc, but ($) is used so much to decrease parens that (e1 $ e2) is almost special syntax! At the moment the *only* robust way to pass a polymorphic function to a polymorphic function (here, you are passing Wrap to (.))

Re: [Haskell] [Haskell-cafe] GHC 7.10 Prelude: we need your opinion

what it's for. (Which I failed to send the announcement to! I'll fix that.) Simon | -Original Message- | From: Miguel Mitrofanov [mailto:miguelim...@yandex.ru] | Sent: 10 February 2015 15:59 | To: Simon Peyton Jones; haskell@haskell.org; Haskell Cafe (haskell- | c...@has

[Haskell] GHC 7.10 Prelude: we need your opinion

tions, teaching, libraries, etc etc), so we want to ask your opinion rather than guess it. · Ask Simon Marlow and Simon Peyton Jones to decide which approach to follow for GHC 7.10. Wiki pages have been created summarizing these two primary alternatives, including many more points and co

Re: [Haskell] Haskell Weekly News: Issue 316

After doing more than 150 of these, I have come to the conclusion that it is time for me to take a permanent break from HWN. I realize that "we could do better", and have something a bit more edited than a collection of links, and some quotes. I wish I had more time to devote to such endeavour,

Re: [Haskell] [Haskell-cafe] ANNOUNCE: Haskell Communities and Activities Report (27th ed., November 2014)

Friends With each issue of the Haskell Communities and Activities Report I am freshly awed by the range and creativity of the things you are all doing with Haskell. From web frameworks to bioinformatics, from automatic differentiation to GUIs and games. Amazing stuff. I think we owe the edito

[Haskell] HPC and the Square Kilometre Array

Here's an interesting-looking job. The Cambridge radio astronomy group are looking for a research associate to work on software for the Square Kilometre Array. The advert is here http://www.jobs.cam.ac.uk/job/2189/ Although it doesn't mention Haskell. Bojan says ""Somebody with background in C

Re: [Haskell] An APL library for Haskell

PS: Oddly I sent this message in March 2012. I don't know why it has taken over year for it to be delivered! Simon From: Haskell-Cafe [mailto:haskell-cafe-boun...@haskell.org] On Behalf Of Simon Peyton-Jones Sent: 08 March 2012 13:45 To: haskell@haskell.org; Haskell Cafe Cc: Lennart Augus

[Haskell] Lambda Style

Dear Haskellers Happy New Year! Did you see our friend Ranjit Jhala's (of liquid type fame) Lambda Style video? Haskell hits the pop scene. http://www.youtube.com/watch?v=Ci48kqp11F8 Simon ___ Haskell mailing list Haskell@haskell.org http:/

[Haskell] The end of an era, and the dawn of a new one

hope will | ultimately be a good thing for Haskell too. | | What does this mean for GHC? Obviously I'll have much less time to work | on GHC, but I do hope to find time to fix a few bugs and keep things | working smoothly. Simon Peyton Jones will still be leading the project, | and we'll

Re: [Haskell] Status of Haskell'?

I'd argue that it's not. Haskell hasn't had a release in years, and I think it's time to put a little pressure on the community. The question is: who is "the community"? It's fairly clear that the Haskell Prime process itself is languishing. The last message about the development process that I

[Haskell] Haskell stars in experimental film

Friends You may enjoy this weird 2-minute video: http://www.youtube.com/watch?v=WtfvoiqLZrs&feature=youtu.be It stars our cat (who is called Haskell at my children's insistence) in an "experimental concrete music video", created by a Cambridge undergrad music student. Enjoy! (What i

[Haskell] ESOP Call For Papers

Call for Papers ESOP 2013: The European Symposium on Programming http://www.ccs.neu.edu/esop2013/ Affiliated with ETAPS'13 Rome, Italy, 16-24 March 2013 DESCRIPTION AND TOPICS ESOP is an annual conferenc

Re: [Haskell] Higher types in contexts

Yes, it's hard: it's impredicative polymorphism. Dimitrios and Tim and I have a plan for a modest but reliable form of impredicative polymorphism, which we hope to have ready for the Haskell Symposium deadline. It is relatively simple, like QML, but a bit clumsy. That's the tradeoff. Simon

[Haskell] Faculty Fellowships

Friends Microsoft Research is inviting nominations for its Faculty Fellowship program, starting on September 30, 2011. This program recognizes and supports exceptional early-career faculty engaged in innovative computing research. The objective is to stimulate and support the research of promis

Re: [Haskell] Proposal to incorporate Haskell.org

Dear haskell.org committee Great stuff. Thanks for getting this together. Things I wondered about are: - who will run the haskell.org entity? - how are they chosen? do they have fixed terms? - how are they accountable to the Haskell Community (eg an a brief an

[Haskell] FW: For Haskell List: The F# Team are Hiring

Dear Haskell'ers The F# team in Seattle/Redmond have an opening for a Senior Program Manager. A demonstrated love for applied Haskell/OCaml/F# programming would be highly regarded background experience :) We al

[Haskell] CFP: Workshop on Intermediate Representations: deadline Jan 21

Friends Happy new year! I'm on the PC for Workshop on Intermediate Representations; do consider submitting a paper. Simon WIR 2011: Workshop on Intermediate Representations 2011 http://researchr.org/conference/wir-2011 The intermediate representation is the core of any program transformation

Re: [Haskell] letter?

Did someone forget to renew www.haskell.org? Who does this? Also plain http://haskell.org/ used to work, but doesn't any more. I'm sure lots of people have noticed this, but it'd be good if someone posted a summary of what's being done about it. Simon _

[Haskell] Memory management job

Dear Haskellers and Camlers I'm posting this job ad on behalf of Richard Brooksby at Ravenbrook. They do cool stuff, and I thought some of you might be interested. Simon Ravenbrook is seeking a developer to work with us on the Memory Pool System (MPS), a mature, open source, high relia

[Haskell] International Workshop on Intermediate Representations (WIR 2011)

Eelco Visser Program Committee = * Florent Bouchez (chair) * Martin Bravenboer * Albert Cohen * François de Ferrière * Robert Fuhrer * Sebastian Hack (chair) * Andrew Kennedy * Sorin Lerner * Nathaniel Nystrom * Simon Peyton Jones * Tij

RE: [Haskell] Specification and prover for Haskell

Would someone like to make a Haskell Wiki page to summarise the responses to this thread? Simon | -Original Message- | From: haskell-boun...@haskell.org [mailto:haskell-boun...@haskell.org] On Behalf Of | Till Mossakowski | Sent: 26 October 2010 11:38 | To: haskell@haskell.org >> "haske

RE: [Haskell] Haskell Weekly News: Issue 155 - October 20, 2010 (Originally posted to Haskell-Cafe)

| Malcolm Wallace noticed that I had not posted the HWN to this list, | and requested that I do so. | I realize that many of you are also following -Cafe, and I do | apologize if this is a bit spamish due | to that. Hopefully some of you will find this useful. Personally I welcome the Has

RE: [Haskell] Proposal: Form a haskell.org committee

Ian et al | To fix this problem, we propose that we create a "haskell.org | committee", which is responsible for answering these sorts of questions, | although for some questions they may choose to poll the community at | large if they think appropriate. I think that's an excellent idea. I think

[Haskell] FW: [TYPES/announce] CUFP 2010 Call for Participation

Dear Haskellers CUFP should be a lot of fun this year. Do consider going. Simon Commercial Users of Functional Programming Workshop (CUFP) 2010 Call for Participation Sponsored by SIGPLAN Co-located with ICF

[Haskell] Programming language opening at Oxford

Oxford is advertising a tenure-track faculty position in programming languages: http://www.comlab.ox.ac.uk/news/231-full.html This is the same type of position as, say, Oege de Moor holds, so I can guarantee it's a nice job! Simon ___ Haskell mailin

[Haskell] Another Haskell job opportunity

-Original Message- From: donotre...@cufp.org [mailto:donotre...@cufp.org] Sent: 16 July 2010 17:18 To: Simon Peyton-Jones Subject: CUFP.org Job Posting Notification Greetings CUFP Editor, A new Job entitles 'WANTED Haskell Developer - Investment Banking - Openings in London, N

[Haskell] Modular type inference

Friends Many of you will know that I've been muttering about re-engineering GHC's type inference engine for some time now. Dimitrios, Tom, Martin and I have just completed an epic paper describing the Glorious New Framework that forms the substance of the above mutterings: http://haske

[Haskell] FP jobs

Friends Did you know that CUFP has a jobs board http://cufp.org/jobs There's a Haskell vacancy advertised recently (along with lots of F#)! Simon ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/hask

RE: [Haskell] Signature error because the order

In Haskell, the context of all functions in a mutually recursive group must be identical. http://haskell.org/onlinereport/decls.html#generalization Simon From: haskell-boun...@haskell.org [mailto:haskell-boun...@haskell.org] On Behalf Of Luis Cabellos Sent: 14 January 2010 11:26 To: haskell@has

RE: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (17th ed., November 2009)

Brilliant. Thank you Janis! | | On behalf of the many, many contributors, I am pleased to announce | that the | | Haskell Communities and Activities Report |(17th edition, November 2009) | | http://www.haskell.org/communities/ | | is now availabl

RE: [Haskell] memory management

| In the early to mid '90s we built various heap-profiling tools to | examine the characteristics of heap data in lazy functional programs. | You can find papers describing this work by Googling "heap profiling". | You may be particularly interested in the investigation of "heap lag" | and "heap dr

RE: [Haskell] memory management

Also region inference is likely to be much less effective in a lazy language, because (I think that) data escapes the lifetime of its allocating procedure much more often. I don't know of any work that has even tried it. Simon | -Original Message- | From: haskell-boun...@haskell.org [m

[Haskell] Fun with type functions

Friends Ken, Oleg, and I have finished Version 2 of our paper "Fun with Type Functions", which gives a programmer's tour of what type functions are and how they are useful. http://haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeFuns If you have a moment to look at, and wanted to help us improv

RE: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009)

| On behalf of the many, many contributors, I am pleased to announce | that the | Haskell Communities and Activities Report |(16th edition, May 2009) | is now available from the Haskell Communities home page in PDF and | HTML formats. Congratulations Janis! Thank

[Haskell] Fun with type functions

Friends Ken, Oleg, and I have been working on a tutorial paper about type families (aka associated data types, or type functions). It's in draft at the moment, and we'd really appreciate feedback that would help us improve it. Here it is: http://haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeF

[Haskell] Marketing Haskell

Dear Haskell enthusiasts, Now that the logo issue finally has been settled, it is time to select the proper Haskell mascot. As you are no doubt aware, Microsoft's involvement in Haskell means that we have moved from avoiding success at all cost to actively marketing the language, and any languag

[Haskell] Take a break: write an essay for Onward! Essays

Friends Writing papers is fun, we mostly only get to write one *kind* of paper. Here is an opportunity to write something in a totally different style: Submit an essay to Onward! Essays Deadline: 20 April 2009 http://onward-conference.org/calls/foressays An Onward! essa

RE: [Haskell] Wait for *either* MVar to be set

| However, preemptive multitasking operating systems offer support for waiting for multiple | "MVars", until *either* one of them returns (or timeouts). The standard way to do this is to spawn a thread for each MVar you are waiting for; the thread blocks on the MVar and, when it unblocks it fill

RE: [Haskell] GHC 6.10 and OpenGL

| It's sad to see the OpenGL binding being dropped from GHC binary | installers starting from 6.10. Though this issue has been brought up | and discussed before, I'm sure a lot of people who based their work on | OpenGL would share the same sympathy. The plan (which we have perhaps not articulate

RE: [Haskell] IORef sharing

This would be an excellent thread for the Haskell Cafe mailing list, [EMAIL PROTECTED] However, it's becoming over-long for the main list http://haskell.org/haskellwiki/Mailing_lists#Mailing_lists_in_detail Thanks! Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PR

RE: [Haskell] Probably a trivial thing for people knowing Haskell

Folks, I wonder if this worthwhile thread could move from haskell@haskell.org to [EMAIL PROTECTED] The main Haskell list, haskell@haskell.org, is a low-bandwidth list for discussion starters and announcements. The Haskell Cafe, by contrast, is a high-bandwidth list for detailed discussion. W

[Haskell] Functional programming job opening

Folks Looking for a job in functional programming. Here's one (at Microsoft): http://members.microsoft.com/careers/search/details.aspx?JobID=E29D3886-A152-4D95-873D-8890EFB683AD&start=1&interval=10&SortCol=DatePosted "We are seeking an experienced software development engineer who has mastered

[Haskell] FW: shootout on quad-core

Friends: an opportunity spotted by Ulf. Simon -Original Message- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Ulf Wiger Sent: 12 August 2008 16:33 Subject: shootout on quad-core The famous language shootout now has a quad-core architecture: http://shootout.alioth.debia

RE: [Haskell] A problem with overlapping instances and super-classes

Yes indeed, this is one of those "well-known" (ie not at all well known, but folk lore) problems with overlapping instances, at least in programs where different instances can be in scope at different times. It's discussed (not very clearly) in http://www.haskell.org/ghc/docs/latest/html/users_

[Haskell] A chance to share your experience

echnical interchange. Program Committee * Lennart Augustsson * Matthias Blume * Adam Granicz * Jim Grundy (co-chair) * John Lalonde * Andy Martin * Yaron Minsky * Simon Peyton Jones (co-chair) * Ulf Wiger This will be the fifth CUFP, for more

RE: [Haskell] Change of Editor HCAR (Haskell Communities and Activities Report)

Well done Janis! And a massive thank you to you, Andres. You are a hero. Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Andres Loeh | Sent: 08 April 2008 14:27 | To: haskell@haskell.org | Subject: [Haskell] Change of Editor HCAR (Haskell Comm

[Haskell] FW: [TYPES/announce] DEFUN08: Call for Talks & Tutorials (co-located w/ ICFP08)

ubmit your proposal in plain text electronically to defun-2008-submission-AT-deinprogramm.de by the beginning of Friday, June 27, Universal Coordinated Time. Organizers Kathleen Fisher AT&T Labs Simon Peyton Jones Microsoft Research Mike Sperber (co-chair) DeinProgramm Don

[Haskell] Commercial Users of Functional Programming Workshop

* Jim Grundy (co-chair) * John Lalonde * Andy Martin * Yaron Minsky * Simon Peyton Jones (co-chair) * Ulf Wiger This will be the fifth CUFP, for more information - including reports from attendees of previous events - see the workshop web site:

RE: [Haskell] Extensible records: Static duck typing

So to clarify that statement. Honestly the number one problem I have with the current records system is that labels share the same namespace. This makes interfacing with any C library using structs quite painful. This is why I say that I don't really care which gets implemented. The current syst

RE: [Haskell] Extensible records: Static duck typing

This sort of disagreement means that nothing gets done. After my experience with the wiki page, I don't believe anything will get done until one of the core ghc developers makes some arbitrary decisions and implements whatever they want to, which will then eventually become part of the standard by

[Haskell] Why functional programming matters

Friends Over the next few months I'm giving two or three talks to groups of *non* functional programmers about why functional programming is interesting and important. If you like, it's the same general goal as John Hughes's famous paper "Why functional programming matters". Audience: some ar

[Haskell] Ancient, but still having fun

Friends, It's Friday 18 January 2008, which makes it my 50th birthday. I spent part of the day happily polishing Geoff Mainland's patch that adds quasi-quoting to GHC, and committing it to the GHC HEAD. I'm happy to say that this is increasingly the story: more and more people are getting inv

RE: [Haskell] Should the following program be accepted by ghc?

| I have been playing with ghc6.8.1 and type families and the following | program is accepted without any type-checking error: Martin's comments are spot on. FWIW, in the HEAD -- as Stefan says, type families are not *supposed* to work in 6.8.1 -- your program gives TF.hs:9:7: Couldn't matc

RE: [Haskell] 2nd ANNOUNCE: HCAR 12/2007

Thank you Andres! As always it's amazing how much is going on in Haskell land, and running the Haskell Communities and Activities Report is a real service to our community. You are a star. Everyone else: I see that Andres would like to hand on the HCAR editor-ship to someone else. Get in tou

RE: [Haskell] garbage collection of Concurrent Haskell threads?

hat the same remarks would apply to MVars. Simon From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Conal Elliott Sent: 24 December 2007 18:49 To: Simon Peyton-Jones Cc: haskell@haskell.org Subject: Re: [Haskell] garbage collection of Concurrent Haskell threads? Thanks, Simon.

RE: [Haskell] garbage collection of Concurrent Haskell threads?

GHC already garbage-collects threads that are blocked on an MVar that is otherwise inaccessible (and hence cannot be updated). More precisely, GHC sends the thread an asynchronous exception (ThreadBlocked or something), so that it has a chance to clean up. So perhaps the GC you want is already

RE: [Haskell] Nested guards?

| Note that Clean also supports nested guards. See section 3.3 of the | Clean language report: | | http://clean.cs.ru.nl/download/Clean20/doc/CleanRep2.0.pdf Interesting, I didn't know that. But (a) Clean guards don't bind, and pattern guards that bind was where this thread started. And (b) th

RE: [Haskell] Nested guards?

Indeed this makes sense. See Section 3 of http://research.microsoft.com/~simonpj/Papers/pat.htm It's really the syntactic/notational problem that has put me off every doing something like this. I just couldn't come up with a compelling syntax. (The syntax GHC uses has the great merit

RE: [Haskell] IVars

But since the read may block, it matters *when* you perform it. For example if you print "Hello" and then read the IVar, you'll block after printing; but if you read the IVar and then print, the print won't come out. If the operation was pure (no IO) then you'd have a lot less control over whe

RE: [Haskell] Bang patterns and declaration order

Right. Still, it's a point worth noting. I've added a short section to http://hackage.haskell.org/trac/haskell-prime/wiki/BangPatterns which in turn is referred to from the GHC manual. Simon From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Lennart Augustsson Sent:

RE: [Haskell] [Fwd: undecidable & overlapping instances: a bug?]

ED] | Sent: 17 October 2007 19:19 | To: Mark P Jones | Cc: Simon Peyton-Jones; Haskell users; Tom Schrijvers; Martin Sulzmann | Subject: Re: [Haskell] [Fwd: undecidable & overlapping instances: a bug?] | | Hi, | Mark is quite right, and there is a bug report that documents the p

RE: [Haskell] [Fwd: undecidable & overlapping instances: a bug?]

| I am quite intrigued at the behaviour examplified in the attached module. | It's true I am a newbie and probably don't quite get the whole consequence | spectrum of -fallow-undecidable-instances, but why providing that dummy | instance (commented out) get the thing to compile? Sorry I must have

RE: [Haskell] Module system question

The H98 report is pretty clear about there being a single name space for type constructors and classes. Yes, in certain circumstances it's unambiguous. In Hugs, can you write module M where class C a data C = MkC f :: C a => C -> C which is also unambiguou

RE: [Haskell] Fingerprints and hashing

Interesting! The associativity property is the kind of thing I was after. Except that I don't really care if FP(as ++ bs) = FP(as) `plusFP` FP(bs). I only care that the latter is robust in the sense of having low probabilty of collision. So the Rabin scheme does more than I really need (which

[Haskell] Fingerprints and hashing

Dear Haskellers Here's a challenge. We are all familiar with the idea of an MD5 checksum, which provides a reliable "fingerprint" for a file, usually 128 bits or so. If the file changes, the fingerprint is (almost) certain to do so too. There are lots of techniques: CRC, shar?, MD5, etc. Fo

RE: [Haskell] Haskell Applications - reg

Stefan's last point is the key one. GHC compiles into code that doesn't use call/return instructions. Instead, it pushes explicit return addresses, and returns by doing an indirect jump. I bet this isn't what your tool expects. Simon | -Original Message- | From: [EMAIL PROTECTED] [mai

[Haskell] Job programming in F#

Want to be paid to write functional programs? My colleagues here at Cambridge are looking for you. See below. Simon A position has arisen within our Applied Games Team in Cambridge for a Software Development Engineer (SDE). The role of the SDE will be to design, implement and maintain solut

RE: [Haskell] Swapping parameters and type classes

This thread is certainly interesting, but it would be better on [EMAIL PROTECTED] The Haskell@haskell.org list is intended as a low-bandwidth list for announcements and the like. Thanks! Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] | On Behalf Of Bas

RE: [Haskell] Re: Numeric programming on toy problems in Haskell

Interesting though this thread is, it belongs on Haskell-café, or ghc-users, not the main Haskell announcement list. Can I suggest that replies are directed to one of those places? Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] | On Behalf Of Isaac Dupre

RE: [Haskell] new SOE package and the annoucement of GLFW

Great! Put it on the Hackage site? http://hackage.haskell.org/packages/hackage.html Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Paul L | Sent: 29 August 2007 20:50 | To: haskell | Subject: [Haskell] new SOE package and the annoucement of GL

[Haskell] Commercial users of functional programming 2007: programe is published, registration open

real problems. Do come! Kathleen Fisher Simon Peyton Jones ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

RE: [Haskell] Quantified class constraints (& back-chaining)

See also the paper that Ralf and I wrote about "Derivable type classes" (on my pubs page) which uses quantified constraints. Quantified constraints would be another perfectly sensible extension. GHC does not support them at the moment though. I'm really not too sure how much work it'd be to a

RE: [Haskell] type class instance selection & search

Conal It certainly makes sense to do backward chaining, but I don't know any Haskell implementation that's tried it. It'd be more complicated in the presence of functional dependencies, since we must "undo" any unifications done as a result of discarded searches, much like the "trail" in a Pro

[Haskell] 3-yr post for language person

Tim Griffin is advertising a 3-year research associate position at the Cambridge Computer Lab, working on a project that seeks to design and implement a meta-language for the specification and implementation of correct Internet routing protocols. He says "A PL person would be perfect". Details

RE: [Haskell] ANNOUNCE: Haskell Communities & Activities Report (12th ed., May 2007)

| On behalf of the many, many contributors, I am pleased to announce | that the | | Haskell Communities and Activities Report |(12th edition, May 2007) | | http://www.haskell.org/communities/ | | is now available from the Haskell Communities ho

[Haskell] Commercial Users of Functional Programming: call for speakers

Folks, This is just to remind you about the closing date for offers of talks at the 2007 Commercial Users of Functional Programming workshop http://cufp.galois.com/ The closing date is 1st June, in a couple of weeks. The workshop itself is on Oct 4, colocated with ICFP

RE: [Haskell] Re: Newbie: what are the advantages of Haskell?

This is an interesting thread but can I urge posters to reply to [EMAIL PROTECTED] The Haskell-cafe mailing list is designed for precisely the kind of discussion in the current thread. But Haskell@haskell.org is a low-bandwidth mailing list for announcements and the like. Thanks Simo

[Haskell] Commercial Users of Functional Programming: call for speaker nominations

Commercial Users of Functional Programming (CUFP) 2007 Oct 4 2007, Freiburg, Germany === Call for speaker nominations and talk proposals === Functional languages have been under academic development for over 25 years, and remain fertile ground for programming language research. Re

[Haskell] FW: A history of Haskell

[Sorry to spam you, but I got the URL wrong. Darn!] Many of you will know that Paul Hudak, John Hughes, Phil Wadler and I have been working on a paper called A History of Haskell: being lazy with class which will appear at this year's ACM SIGPLAN History of Programming Languages Confe

[Haskell] A history of Haskell

Many of you will know that Paul Hudak, John Hughes, Phil Wadler and I have been working on a paper called A History of Haskell: being lazy with class which will appear at this year's ACM SIGPLAN History of Programming Languages Conference (HOPL-III) San Diego, California, June 9-10, 200

RE: [Haskell] [Fwd: Re: Computer Language Shootout]

http://www.mail-archive.com/haskell@haskell.org/msg18863.html (It was Simon Marlow actually, but we are joined at the hip so it hardly matters) | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Joel Reymont | Sent: 25 January 2007 09:01 | To: Simon Mar

RE: [Haskell] Views in Haskell

though there, a bunch of people would unsubscribe. I think anyway. (That's why we started Haskell-cafe in the first place.) Simon | -Original Message- | From: Iavor Diatchki [mailto:[EMAIL PROTECTED] | Sent: 24 January 2007 17:50 | To: Simon Peyton-Jones | Cc: Duncan Coutts; Malc

RE: [Haskell] Views in Haskell

Let me urge everyone, once more, to conduct this interesting discussion on the haskell-prime mailing list. It's quite open --- anyone can subscribe --- and we'll avoid spamming the main Haskell list. I'll send responses there. Simon | -Original Message- | From: [EMAIL PROTECTED] [mailt

[Haskell] Views in Haskell

Dear Haskellers Provoked by a discussion with Don Syme, and after some helpful conversations at POPL, I have finally written up a proposal for adding "view patterns" to Haskell. We've wanted views for a long time, but they have never made it, into GHC at any rate. This proposal is a very ligh

[Haskell] Beautiful concurrency: Santa Claus v2

Friends I had lots of useful feedback about my paper "Beautiful concurrency"; thank you. I've revised it quite heavily, and have just put up a revised draft, Version 2. If you want to take a look, either for the first time, or to see what I've done in response to your suggestions, look here:

[Haskell] Beautiful concurrency with a Christmas flaour

Dear Haskellers I've been writing a modest chapter for a book edited by Greg Wilson called "Beautiful code". In the end I decided to write about concurrency and transactional memory. If you'd like to have a look at my first draft, go here http://haskell.org/haskellwiki/Talk:SantaClausPr

[Haskell] RE: package mounting

| > http://hackage.haskell.org/trac/ghc/wiki/PackageMounting | | It looks nice, but don't you think the -package-base flag ought to | take both the package name *and* the mountpoint? | | Otherwise, this looks like what I've wanted all along, if only I knew it ;-). I think most of you know

[Haskell] Lexically scoped type variables

This message is about scoped type variables. I'm sending it to the Haskell mailing list, because I think that the question of scoped type variables is of general interest to Haskellers, but I suggest that you all send *replies* to Haskell Café, where this thread originated. Simon The

  1   2   3   4   5   6   7   8   >