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

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 in the former group, but who knows what most people do? David -- David Sankel Sankel Software

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

-- 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?

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

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

that 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 Sankel Software

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

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 alpha conversion is done that, as far as I understand, is going to hinder any tail call

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

://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 cam...@gmail.com wrote: snip 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? - Could someone

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

/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.haskell.org/mailman/listinfo

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

a bit more accessible. I'm confused though about why being a professional developer site would make this feature even more important. Care to expand on that? Thanks, David -- David Sankel Sankel Software www.sankelsoftware.com ___ Haskell-Cafe mailing

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

-- 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

]/paper[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

Re: [Haskell-cafe] currying combinators

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] Haskell Weekly News?

ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe -- David Sankel Sankel Software ___ Haskell

[Haskell-cafe] Applicative Functor or Idiom?

, 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 Yallop. Tech report, 2008. -- David Sankel Sankel

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

On Fri, Nov 20, 2009 at 2:58 PM, Twan van Laarhoven twa...@gmail.com 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 you writing your own? How do your

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, David Sankel

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.

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 quote type=partial GHC, the Glasgow Haskell Compiler

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.