Re: [Haskell-cafe] Haskell Weekly News: Issue 187

ut I think the footnote proponents' main argument is that its lightweight nature causes less of an interruption when reading the text. I think its fair to say that those who RTFA more often would benefit most from in-situ and those who rarely RTFA benefit most from the footnote style. I'm

[Haskell-cafe] Denotational semantics for the lay man.

gs fall. Thanks in advance, David -- David Sankel Sankel Software www.sankelsoftware.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] What's the motivation for η rul es?

addening game trying to > add extensionality to conversion while keeping it decidable and > ensuring that open computation is not too strict to deliver values. > > Hoping this is useful, suspecting that it's TMI > Very useful. Not TMI at all. I find this fascinating. David -- David Sankel Sankel Software www.sankelsoftware.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] What's the motivation for η rul es?

TIA, David -- David Sankel Sankel Software www.sankelsoftware.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Papers discussing interpreters for call by need?

tation for variables. > > Regards, > David > > Am 17.11.2010 22:02, schrieb David Sankel: > > I'm writing an interpreter for a call by need language and have been doing > a direct implementation of the Launchbury semantics. My problem is that in > the variable rule, an alp

[Haskell-cafe] Papers discussing interpreters for call by need?

t the intent of Launchbury's paper is to come up with a theoretical framework for call by need, not to guide an implementation per say. Is anyone aware of any papers out there that go into detail on the construction of an actual interpreter? TIA, David -- David Sankel Sanke

Re: [Haskell-cafe] Eta-expansion destroys memoization?

erx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.2016 [5] http://homepages.inf.ed.ac.uk/wadler/papers/need/need.ps -- David Sankel Sankel Software www.sankelsoftware.com 585 617 4748 (Office) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Shared thunk optimization. Looking to solidify my understanding

On Wed, Sep 22, 2010 at 11:10 AM, David Sankel wrote: > > My questions are: > >- What is the optimization that test1 is taking advantage of called? >- Is said optimization required to conform to the Haskell98 standard? >If so, where is it stated? >- Cou

Re: [Haskell-cafe] Re: Haskell at bettercodes.org

gt; work without JavaScript. I think, a professional developer site should. > I can understand why it would be slightly better for any website to not require JavaScript clients since it becomes a bit more accessible. I'm confused though about why b

[Haskell-cafe] Shared thunk optimization. Looking to solidify my understanding

? Thanks, David [1] http://hpaste.org/40033/operational_semantics [2] http://conal.net/blog/posts/lazier-functional-programming-part-2/ -- David Sankel Sankel Software www.sankelsoftware.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.h

Re: [Haskell-cafe] Suggestions For An Intro To Monads Talk.

#2. Parsec is one, but it seems applicative functors are a better match for the parsing domain. Other things are "neat", but not killer features that would turn the head of a pragmatist of the impure type in my opinion. So, that is why I think the monad concept isn't generally used in

Re: [Haskell-cafe] currying combinators

n't come up with anything. David -- David Sankel Sankel Software www.sankelsoftware.com 585 617 4748 (Office) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] [reactive] A pong and integrate

2] I gave at boostcon a couple weeks ago. I have successfully used C++ as a functional language in multiple production software applications, including FRP designs. [1] http://www.filetolink.com/c109d02b [2] http://www.filetolink.com/ff94ea7e David -- David Sankel Sankel Software www.sankelsoft

Re: [Haskell-cafe] Haskell Weekly News?

me the Gentoo Never News (hey, GNN sounds kinda catchy, though not >> as good as C :p). >> >> -- >> Ivan Lazar Miljenovic >> ivan.miljeno...@gmail.com >> IvanMiljenovic.wordpress.com >> > > __

Re: [Haskell-cafe] Takusen sqlite3 insert is very slow

()" at the end of it. > > You might try running your inserts inside withTransaction. The default > > behavior of sqlite is to use a separate transaction for each statement. > > Perhaps this is adding overhead that shows up during stmtFetch. > > How long does your HDBC

Re: [Haskell-cafe] Applicative Functor or Idiom?

On Fri, Nov 20, 2009 at 2:58 PM, Twan van Laarhoven wrote: > David Sankel wrote: >> I'm writing a set of classes that includes AF's and I'm trying to >> decide whether to call the class Idiom. Anyone have more information >> on this question? > > Why are

[Haskell-cafe] Applicative Functor or Idiom?

. The Bird Tree. Journal of Functional Programming, 19 , pp 491-508 doi:10.1017/S0956796809990116 [3] S. Lindley, P. Wadler, and J. Yallop. Idioms are oblivious, arrows are meticulous, monads are promiscuous. In Proc. of MSFP, 2008. [4] The Arrow Calculus, Sam Lindley, Philip Wadler, and Jeremy

Re: [Haskell-cafe] ghc-6.11 + OpenGL/GLUT crashes on WinXP

With ghc 6.10.1, the patches aren't necessary for the lasted releases of the bindings. I've put a walkthrough on my blog for the process of getting `freeglut+GLUT binding+GL binding+ghc 6.10.1` up and running. http://netsuperbrain.com/blog/ David On Tue, Oct 28, 2008 at 10:48 AM, Da

Re: [Haskell-cafe] ghc-6.11 + OpenGL/GLUT crashes on WinXP

My setup worked: - Windows XP. - ghc-6.11.20081024 - freeglut 2.4.0 - darcs version of GLUT (with patched glutGetProcAddress [attached]) - darcs version of OpenGL Getting freeglut going with ghc on windows is a bit involved. I could write a walkthrough if there's enough interest.

[Haskell-cafe] Re: Fun with Haskell, runST, MArray, and a few queens. (Imperative Haskell Version)

> I say this is a case of bad code. Of course language is faster and > better if you write horribly bad code in language . > Taking the first solution found by searching with google I get times > around 0.015s (real) for the Haskell version and 1.7s for your Java > solution (which also seems to b

RE: [Haskell-cafe] Fun with Haskell, runST, MArray, and a few queens.

--- Michael Wang <[EMAIL PROTECTED]> wrote: > Try this Queens.hs Thanks for the program, but how does one decipher the output? David ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Fun with Haskell, runST, MArray, and a few queens.

Hello Enthusiasts, My fiancee was assigned the n-queens problem in her Data Structures class. It was a study in backtracking. For those unfamiliar with the problem: one is given a grid of n x n. Return a grid with n queens on it where no queen can be attacked by another. Anyway, I decided

Re: Interpret haskell within haskell.

--- Christopher Milton <[EMAIL PROTECTED]> wrote: > --- David Sankel <[EMAIL PROTECTED]> wrote: > > I was wondering if there is any project that aims > to > > interpret haskell within haskell. > > http://www.haskell.org/implementations.html > > GHC,

Re: video4linux

--- Martin Huschenbett <[EMAIL PROTECTED]> wrote: > Hi all, > > does anybody know how to read a single image from a > video4linux device under Haskell? > Thanks for all help, Hello, I think that the easiest way to do this would be to use the ffi to connect with C code that does this. David J.