[Haskell] ANNNOUNCE: lens 3.7 released

Greetings! I am happy to announce the release of version 3.7 of the lens package, which provides "Lenses, Folds, and Traversals" for working with arbitrary data types. In its simplest form, a lens is a getter/setter pair, that can be composed and reasoned about with common sense laws that you can

Re: [Haskell] ANNNOUNCE: lens 3.7 released

On Sun, Dec 9, 2012 at 10:14 PM, Ashley Yakeley wrote: > On 07/12/12 02:19, Edward Kmett wrote: > > I am happy to announce the release of version 3.7 of the lens package, >> which provides "Lenses, Folds, and Traversals" for working with >> arbitrary data types. &

Re: [Haskell] Google Summer of Code | Haskell.org

That is the plan. We won't know officially until Google gets back to us about our org application in a couple of weeks. -Edward On Mon, Feb 10, 2014 at 8:08 AM, Narendra Joshi wrote: > Hi there! > Is haskell.org participating in this year's GSoC? > -- narendra > > _

[Haskell] CUFP 2014: Call for Presentations

eir own expense. Program Committee ===== Edward Kmett (McGraw Hill Financial), co-chair Marius Eriksen (Twitter, Inc.), co-chair Ozgun Ataman (Soostone, Inc.) Tim Chevalier (AlephCloud) Derek Elkins (Now Business Intelligence) Matthew Might (University of Utah) R

[Haskell] [Haskell.org GSoC] Accepted Proposals

orgey An Efficient Computational Algebra and Symbolic Linear Algebra Library in Haskell Hiromi ISHII Edward Kmett Complete plugins-ng "low-level", "filewatch", and "cabal" packages Kẏra Greg Weber Build Interactive Websites with GHCJS and Sodium Kyle Raftogianis

Re: [Haskell] [Haskell.org GSoC] Accepted Proposals

the projects :) > > Conrad. > > On 22 April 2014 06:56, Edward Kmett wrote: > >> I'm pleased to announce the list of accepted student proposals for >> haskell.org for the Google Summer of Code 2014. >> >>Title Student Mentor Adding profiling support

[Haskell] Core libraries committee seeking self-nominations

more active participation in the GHC release process. Regards, Edward Kmett Haskell Core Libraries Committee Chair ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] CUFP 2014: Call For Participation

-end Development without Frameworks (Part 2) Spiros Eliopoulos T5: Idris: Practical Software Verification with Dependent Types Edwin Brady T6: Lens Edward Kmett TUTORIALS, SEPTEMBER 5 == T7: Introduction to OCaml Leo White & Jeremy Yallop T8: Programming in Rust Fel

[Haskell] [haskell.org Google Summer of Code] Call for Mentors

izational issues this year. We also have a #haskell-gsoc channel on irc.freenode.net if you have questions about what is involved. Thank you for your time and consideration, -Edward Kmett ___ Haskell mailing list Haskell@haskell.org http://mail.haskel

[Haskell] [haskell.org Google Summer of Code] 18 Projects Accepted

7;d also like to thank Shachaf Ben-Kiki and Gershom Bazerman for helping out with the administration side of things. Now we are entering what Google calls the "Community Bonding" period. Students officially start coding May 25th. Please feel free to reach out to me if you have any questions

[Haskell] Haskell Summer of Code

ming as we work out the details. Please feel free to contact me if you think you can help or if you have any questions or concerns. -Edward Kmett ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[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 http://mail.haskell.org/cgi-bin/mailman/listin

Re: [Haskell] LiftA2 over fmap

> In particular, if fmap is an expensive operation, it is likely better to use liftA2 than to (fmap

Re: [Haskell] Top Level <-

On Sun, Aug 24, 2008 at 7:12 PM, Ashley Yakeley <[EMAIL PROTECTED]> wrote: > Is there any interest in implementing a top level "<-" to run monadic code? > This is actually implemented in jhc. See the 'top level actions' section of http://repetae.net/comp

Re: [Haskell] Abusing quickcheck to check existential properties

The answer is that QuickCheck can't correctly constructively verify an existential condition without a constructive mechanism to generate the existential (i.e. the Skolem function mentioned before). If you think about it from a plausible reasoning and constructive logic sense, QuickCheck should no

Re: [Haskell] string type class

;d be nice to factor out a superclass or two for things like lookup/insert functionality, so you can eliminate a major reason why Data.Map has to be imported qualified as well. -Edward Kmett On Fri, Mar 6, 2009 at 11:16 AM, minh thu wrote: > 2009/3/6 Wolfgang Jeltsch : > > Am Freitag, 6

[Haskell] Re: [Haskell-cafe] ANNOUNCE: fad 1.0 -- Forward Automatic Differentiation library

more-limited-than-Num classes and only included the equivalent of your 'lift' and 'diffUU' operations, however. -Edward Kmett On Thu, Apr 2, 2009 at 10:28 PM, Bjorn Buckwalter < bjorn.buckwal...@gmail.com> wrote: > I'm pleased to announce the initial release of th

[Haskell] Re: [Haskell-cafe] ANNOUNCE: fad 1.0 -- Forward Automatic Differentiation library

hat I should be somewhat more pedantic about the name. =) -Edward Kmett On Fri, Apr 3, 2009 at 10:49 AM, Barak A. Pearlmutter wrote: > I feel silly, did not even notice that! Thanks for the pointer. > > Would be sensible to merge the functionalities; will try to i

Re: [Haskell] deriving Show for GADT?

I seem to recall Matt Morrow having some code lying around for automatically generating such instances using haskell-src-exts. I wonder how hard it would be to adapt to Template Haskell. -Edward Kmett On Tue, Apr 14, 2009 at 2:03 AM, Ryan Ingram wrote: > You might be able to write s

Re: [Haskell] memory management

own limitations of region based memory management [ http://portal.acm.org/citation.cfm?id=993040 , pre-print: http://www.elsman.com/retro.pdf], which I think has the right balance of optimism and pragmatism where it comes to region-based memory management and talks about many of these issues. -Edw

Re: [Haskell] Re: [Haskell-cafe] Work on Video Games in Haskell

-sdk-licence But, there are other numerous discussions floating around in the blogosphere involving previously approved applications written in scheme (even compiled via objective c), c#, or other middleware languages having their applications removed from the app store. So, sadly, I think you

Re: [Haskell] ANNOUNCE: incremental-parser library package

2011/3/22 Mario Blažević > > This seems very interesting. One question: >> >> > The MonadPlus and the Alternative instance differ: the former's mplus >> > combinator equals the asymmetric <<|> choice. >> >> Why? >> > > > Good question. Basically, I see MonadPlus as a union of Monad and > Alt