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: Unicode windows console output.

On Thu, Nov 4, 2010 at 6:09 AM, Simon Marlow marlo...@gmail.com wrote: On 04/11/2010 02:35, David Sankel wrote: On Wed, Nov 3, 2010 at 9:00 AM, Simon Marlow marlo...@gmail.com mailto:marlo...@gmail.com wrote: On 03/11/2010 10:36, Bulat Ziganshin wrote: Hello Max

Re: Unicode windows console output.

) with UTF-8 encoded strings, the console displays the text properly! So the solution seems to be, when outputting to a utf8 console use WriteConsoleA. David -- David Sankel Sankel Software www.sankelsoftware.com 585 617 4748 (Office) ___ Glasgow-haskell

Re: Unicode windows console output.

Angelov kr.ange...@gmail.comwrote: This is evidence for the broken Unicode support in the Windows terminal and not a problem with GHC. I experienced the same many times. 2010/11/2 David Sankel cam...@gmail.com: On Mon, Nov 1, 2010 at 10:20 PM, David Sankel cam...@gmail.com wrote: Hello

Unicode windows console output.

: permission denied (Permission denied) I suspect both of these outputs are evidence of bugs. Might I be doing something wrong? (aside from using windows ;)) TIA, David -- David Sankel Sankel Software www.sankelsoftware.com 585 617 4748 (Office

Re: Unicode windows console output.

On Mon, Nov 1, 2010 at 10:20 PM, David Sankel cam...@gmail.com wrote: Hello all, I'm attempting to output some Unicode on the windows console. I set my windows console code page to utf-8 using chcp 65001. The program: -- Test.hs main = putStr λ.x→x The output of `runghc Test.hs

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

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

[Haskell] ANNOUNCE: htags-1.0

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/htags htags is a tag file generator to enable extra functionality in editors like vim. It expands upon hasktags by using a full Haskell 98 parser and options for recursion. -- David Sankel Sankel Software www.sankelsoftware.com 585 617

Subtle difference between standard instances

We, at Anygma, noticed that a and b below have different behavior: a, b :: (Int-Int) - (Int,Int) - (Int,Int) a = fmap b = second See the blog post at http://netsuperbrain.com/blog/?p=74. The standard instances for Functor, Monad, and Applicative for tuples is strict. The Arrow on (-) when

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] ANNOUNCE: rsa-haskell 2.0.1

are available at http://www.netsuperbrain.com/rsa-haskell.html In this 2.0.1 release I've added a bunch of documentation and incorporated an archive with windows binaries for the command line tools. Please let me know if you have any questions or comments. Enjoy! David -- David Sankel Sankel Software

Re: [Haskell] Re: putStr is not evaluated in the correct order

On 9/5/06, Bruno Martínez [EMAIL PROTECTED] wrote: C++ avoids this problem 'tieing' cin and cout.Why can't haskell do thesame?I was thinking the same thing. I'm imagining a situation where processes are communicating to each other using pipes, but cannot think of a concrete case. Do you know if

Re: [Haskell] Read Instances for Data.Map and Data.Set

On 10/19/05, Georg Martius [EMAIL PROTECTED] wrote: I was really annoyed by the fact that for Data.Map and Data.Set are no Read instances declared, but Show instances are! I believe there should be some kind of unwritten rule that in the standart lib the Show and Read instances come pairwise

Re: [Haskell] Should inet_ntoa Be Pure?

Below is the relevant source code. David foreign import ccall unsafe my_inet_ntoa c_inet_ntoa :: HostAddress - IO (Ptr CChar) foreign import CALLCONV unsafe inet_addr c_inet_addr :: Ptr CChar - IO HostAddress -- -

Re: [Haskell] Re: 2-D Plots, graphical representation of massive data

A bit off topic, but a haskell charting/graphic library designer would be wise to check out the highly successful python equivelant, pychart. It seems as though a library equivelant in features to pychart is exactly what the original poster is looking for. David

Re: [Haskell] main::[String]-IO() ?

--- Steffen Mazanek [EMAIL PROTECTED] wrote: I think this would simplify everyday-programming a lot. Or are there any severe theoretical (semantical) problems (main is running in the IO monad either way)? The type signature of main currently is: main :: IO() and the new type signature

Re: [Haskell] Implicit parameters redux

Ben, Could you explain in an extremely dumbed-down way what this is? It would be great if there were examples of 1) Some common, simple, and useful code in Haskell. 2) Same code using Implicit Parameters with a discussion of how it is better. Thanks, David J. Sankel

Re: type classes, superclass of different kind

--- Robert Will [EMAIL PROTECTED] wrote: -- Here -- is a quesion for the -- most creative of thinkers: which is the design (in -- proper Haskell or a -- wide-spread extension) possibly include much -- intermediate type classes and -- other stuff, that comes nearest to my desire? Hello,

Doing weird things with types.

Hello All, I'm trying to create a generic function (*) using classes. I've been playing with ghc extensions but haven't found what I need yet. class HasTimes a b c where (*) :: a - b - c This doesn't work because it can't figure out what the return types are for a general expression

[ANNOUNCE] rsa-haskell 2.0.0

=== rsa-haskell 2.0.0 === RSA implementation in Haskell (rsa-haskell) contains the Simple and Strong Cryptography program set and Haskell libraries of several cryptographic standards. The libraries include haskell implementations of SHA1, EME-OAEP,

Haskell Networking Example

Hello All, Here is an example of using haskell networking operations for those interested. The implementation is a simple echo server. echoclient.hs: module Main( main ) where import Network import IO import Control.Concurrent main :: IO () main = withSocketsDo $ --For windows

Interesting Read

An interesting read: http://www.paulgraham.com/popular.html Any thoughts? David J. Sankel ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Proposal Proposal: haskell-gui addendum to haskell standard

Hello Everyone, I believe that haskell would have great benifit from a platform independant specification for a graphical user interface module or set of modules. I've been blessed with a lot of time on my hands so I'd be willing to organize this project if needed. Since there are several

Re: ANNOUNCE: Haskell Wiki resurrected

--- John Meacham [EMAIL PROTECTED] wrote: On another note related to providing services to the haskell comunity, how about a public bugzilla server on bugs.haskell.org? (http://bugzilla.org) any haskell project which wishes to use the public bug server could be set up with an entry, it

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

Interpret haskell within haskell.

I was wondering if there is any project that aims to interpret haskell within haskell. Is it feasable that a program can import a user's .hs file that has something like: greeting :: String greeting = Something port :: Int port = 32 + 33 And the program can parse and execute the user's

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.

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.

Re: how to convert IO String to string (Simple answer)

--- Lu Mudong [EMAIL PROTECTED] wrote: Thanks a lot for you guys' help. I am very new to haskell and tried some methods you guys advised, doesn't seem to work, i think i didn't do it properly, here's my code and result, hope you can point out what's wrong. thanks! Lots of theory,