Re: [Haskell] Guidelines for respectful communication

2018-12-07 Thread Ben Lippmeier
> On 7 Dec 2018, at 6:47 pm, Jonathan Lange wrote: > > In particular, her suggestion about pairing guidelines for respectful > communications with guidelines for what to do when things break down is an > excellent one, and has worked well in other communities to help those on the > fringes of

[Haskell] CFP: Haskell Symposium Regular Track Final Call

2015-05-17 Thread Ben Lippmeier
= ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2015 Vancouver, Canada, 3-4 September 2015, directly after ICFP http://www.haskell.org/haskell-symposium/2015

[Haskell] Haskell 2015: 2nd Call for Papers

2015-03-04 Thread Ben Lippmeier
- Tohoku University Edward Kmett - McGraw Hill Financial Neelakantan Krishnaswami - University of Birmingham Ben Lippmeier (chair)- Vertigo Technology Hai (Paul) Liu - Intel Labs Garrett Morris - University of Edinburgh Dominic Orcha

[Haskell] CFP: Haskell Symposium 2015

2015-02-02 Thread Ben Lippmeier
ppalachian State University Oleg Kiselyov- Tohoku University Edward Kmett - McGraw Hill Financial Neelakantan Krishnaswami - University of Birmingham Ben Lippmeier (chair)- Vertigo Technology Hai (Paul) Liu - Intel Labs Garrett Morris

[Haskell] Haskell Symposium Experience Report Advice Page

2013-04-30 Thread Ben Lippmeier
Dear Haskell Hackers, I have started an advice page for people that plan to submit experience reports to the upcoming Haskell Symposium, based on my experience as a PC member last year: http://www.haskell.org/haskellwiki/HaskellSymposium/ExperienceReports Haskell Symposium experience report a

[Haskell] ANN: Disciplined Disciple Compiler (DDC) 0.3.1

2012-12-23 Thread Ben Lippmeier
release: Tran Ma- LLVM aliasing and constancy meta-data. Amos Robinson - Rewrite rule system and program transforms. Erik de Castro Lopo- Build framework. Ben Lippmeier - Code generators, framework, program transforms. Full release notes: http

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

2012-12-06 Thread Ben Lippmeier
On 06/12/2012, at 3:56 , Simon Peyton-Jones wrote: > Particularly valuable are offers to take responsibility for a > particular area (eg the LLVM code generator, or the FFI). I'm > hoping that this sea change will prove to be quite empowering, > with GHC becoming more and more a community projec

[Haskell] ANNOUNCE: Disciple Core Interpreter 0.2.1

2012-02-22 Thread Ben Lippmeier
The Disciplined Disciple Compiler (DDC) is being stripped down, cleaned and rebuilt with 100% less known bugs and unfortunate holes. The first pieces are now ready for human consumption, namely a new core language and interpreter for it. There is a tutorial including Hackage links here: htt

[Haskell] Haskell Implementors Workshop talk proposals due this Friday!

2011-07-19 Thread Ben Lippmeier
(Portland State University) * Ben Lippmeier - co-chair (University of New South Wales) * Andres Loeh (Well-Typed LLP) * Oleg Lobachev(University of Marburg) * Neil Mitchell - co-chair (Standard Chartered) * Dimitrios

[Haskell] Haskell Implementors Workshop 2011, Second CFT

2011-07-04 Thread Ben Lippmeier
(Portland State University) * Ben Lippmeier - co-chair (University of New South Wales) * Andres Loeh (Well-Typed LLP) * Oleg Lobachev(University of Marburg) * Neil Mitchell - co-chair (Standard Chartered) * Dimitrios

[Haskell] CFT -- Haskell Implementors' Workshop 2011

2011-04-19 Thread Ben Lippmeier
(Portland State University) * Ben Lippmeier - co-chair (University of New South Wales) * Andres Loeh (Well-Typed LLP) * Oleg Lobachev(University of Marburg) * Neil Mitchell - co-chair (Standard Chartered) * Dimitrios

[Haskell] New blog on Disciple/DDC development

2010-10-15 Thread Ben Lippmeier
The blog is at: http://disciple-devel.blogspot.com/ more about the project here: http://trac.haskell.org/ddc/ Ben. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ANN: gloss-1.0.0.2: Painless 2D vector graphics, animations and simulations.

2010-03-09 Thread Ben Lippmeier
Gloss hides the pain of drawing simple vector graphics behind a nice data type and a few display functions. Gloss uses OpenGL and GLUT under the hood, but you won't have to worry about any of that. Get something cool on the screen in under 10 minutes. A simple animated example is: import G

[Haskell] ANN: The Disciplined Disciple Compiler - alpha 1

2008-03-19 Thread Ben Lippmeier
Hi All, I'm pleased to announce the initial alpha release of the Disciplined Disciple Compiler (DDC). Disciple is an explicitly lazy dialect of Haskell which includes: - first class destructive update of arbitrary data. - computational effects without the need for state monads. - type directed fi

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-07 Thread Ben Lippmeier
Frederik Eaton wrote: I want the type system to be able to do "automatic lifting" of monads, i.e., since [] is a monad, I should be able to write the following: [1,2]+[3,4] and have it interpreted as "do {a<-[1,2]; b<-[3,4]; return (a+b)}". print ("a: " ++ readLn ++ "\nb: " ++ readLn) two

Re: [Haskell] Who brought the monad to us?

2005-08-29 Thread Ben Lippmeier
Wolfgang, I thing that Eugenio Moggi was the first to combine monads from category theory with the lambda calculus. Check out: Computational Lambda Calculus and Monads, Eugenio Moggi, 1988 http://www.disi.unige.it/person/MoggiE/ It's citeseer page is at: http://citeseer.ist.psu.edu/275817.htm

Re: [Haskell] Strictness question

2005-06-07 Thread Ben Lippmeier
Gary Morris wrote: ioexptmod :: Integer -> Integer -> Integer -> Int -> IO Integer ioexptmod base expt n keySize = return $! exptmod base expt n keySize My hope was that the use of $! would force it to compute the exponentiation while I was timing -- and the average times are around 30K cl

Re: [Haskell] Implicit parallel functional programming

2005-01-19 Thread Ben Lippmeier
I thought the "lazy functional languages are great for implicit parallelism" thing died out some time ago - at least as far as running the programs on conventional hardware is concerned. Designing an algorithm that breaks apart a "sequential" lazy program into parallel chunks of the appropriate

Re: [Haskell] Strange "let"

2004-07-20 Thread Ben Lippmeier
Ha!, What you've done is redefine the (+) function.. try 10 + 30 and see what you get. Your local definition shadows the "real" (+) function defined in the prelude. let a + b = 3 is equivalent to let (+) a b = 3 ... Jinwoo Lee wrote: Hi, I'm a Haskell newbie. I was trying several things with GH

Re: [Haskell] Licensing problem, caused by static linking on windows

2004-07-04 Thread Ben Lippmeier
Kevin, The problem is that on Windows, GHC statically links the program with the libgmp library, which has an LGPL license. The LGPL license says that we can distribute the executable under our own terms, [...] You could write a C wrapper around a run-time loaded library. Cygwin supports dlopen()