Re: [Haskell-cafe] How Albus Dumbledore would sell Haskell

I don't know how many of the other people on this list are actually going to *be* at OSCON. I will. I think it is important to think about the kinds of problems the audience is trying to solve, as well as the context in which they are trying to solve them. For the most part, the attende

Re: [Haskell-cafe] How Albus Dumbledore would sell Haskell

Since no one mentioned automatic differentiation (AD), I will. I think AD is a nice example of using type classes and higher order functions to get small and useful code. Maybe this example is not ideal for the audience, but anyway, Simon has the last word. Here is how demo would go: Defin

Re: [Haskell-cafe] Is Excel a FP language?

Albert Y. C. Lai wrote: > I say Excel is a functional language. If there needs to be the quoted > distinction, fine: Excel the language is a functional language, and > Excel the application is an interpreter of said language. Excel has functions, but does it treat functions as it treats other da

[Haskell-cafe] RE: On reflection

Not only that, but when we have associated type synonyms going it'll be even clearer. Instead of class CoreProcessSyntax p a x | p -> a x where zero :: p sequence :: a -> x -> p compose :: [p] -> p you'll be able to write class CoreProcessSyntax p where type AThing p :: * type X

Re: [Haskell-cafe] Is Excel a FP language?

How about 'IF(x=2,0,5)' ? On Apr 25, 2007, at 13:48 , Marc Weber wrote: Is the cell evaluation engine one? I think not. I do not believe what you can type into those cells does constitute a programming language, or at least not a turing complete one. As far as i know only simple

Re: [Haskell-cafe] Is Excel a FP language?

I usually refer to Excel as a zeroth order functional language, i.e., you can't define any functions. :) (You can define functions if you do it in VBA or in an addin, but that's not really Excel, imo.) -- Lennart On Apr 25, 2007, at 04:00 , Tony Morris wrote: In a debate I proposed

Re: [Haskell-cafe] Talking to the serial (RS232) port from Haskell

On Wed, Apr 25, 2007 at 09:28:37AM -0700, Dan Piponi wrote: > What's the easiest way, from Haskell, to open a serial port (under > Windows, say) with the correct baud rate and parity, and send data > through it? Is there a serial library for Haskell? Don't know wethere there are some libraries Th

[Haskell-cafe] Talking to the serial (RS232) port from Haskell

What's the easiest way, from Haskell, to open a serial port (under Windows, say) with the correct baud rate and parity, and send data through it? Is there a serial library for Haskell? -- Dan ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://

Re: [Haskell-cafe] Re: Compilling GHC on Vista

gcc version 3.4.2 (mingw-special) configure:3288: $? = 0 configure:3295: c:/MinGW/bin/gcc -V >&5 gcc.exe: `-V' option must have argument configure:3298: $? = 1 configure:3321: checking for C compiler default output file name configure:3348: c:/MinGW/bin/gccconftest.c >&5 ld: /mingw/lib/crt2.o

Re[2]: [Haskell-cafe] faster factorial function via FFI?

Hello Dan, Tuesday, April 24, 2007, 3:25:39 AM, you wrote: > Usings Ints everywhere isn't an option, because my final answers are > definitely Integers -- although I might try using Ints in some places. I may be memoizing is the right answer? factorials :: Array Int Integer factorials = array (

Re[2]: [Haskell-cafe] COM and Haskell

Hello Andrew, Tuesday, April 24, 2007, 5:03:53 AM, you wrote: > A core difficulty is the mismatch between the object-oriented type > system of .NET and Haskell's. This is something that RubyCLR didn't > need to conquer, Ruby already having object-oriented concepts. Simon Marlow recently wrote

[Haskell-cafe] Programming Languages and Mechanised Mathematics -- deadline extension

[Extended deadline: submissions now due May 2nd, 2007] Programming Languages for Mechanized Mathematics Workshop As part of Calculemus 2007 Hagenbergs, Austria June 29-30, 2007. The intent of this workshop is to examine more clo

Re: [Haskell-cafe] Program optimisation

Hello Andrew, Friday, April 20, 2007, 10:01:32 PM, you wrote: > I have *no idea* if this is an appropriate place to put this, but here > goes... http://haskell.org/haskellwiki/Library/AltBinary http://haskell.org/haskellwiki/Modern_array_libraries last article contains information about slownes

Re: [Haskell-cafe] Re: release plans

Hello Simon, Tuesday, April 17, 2007, 11:51:07 AM, you wrote: > The parallel GC code is currently sitting dormant waiting for me to go back to > it and figure out why it isn't performing very well. Basically I saw little > or > no speedup regardless of how many CPUs I threw at it, which suggest

[Haskell-cafe] Re: HXT namespace problem

Tim Walkenhorst schrieb: runX $ constA (request TableListRequest) >>> root [] [writeA] >>> writeDocument [(a_indent,v_1)] "-" writeDocument [(a_indent,v_1), (a_check_namespaces, v_1)] "-" should do the trick. a_check_namespaces unfortunately didn't do the trick. But using uniqueName

Re: [Haskell-cafe] Is Excel a FP language?

>Is the cell evaluation engine one? I think not. I do not believe what >you can type into those cells does constitute a programming language, >or at least not a turing complete one. As far as i know only simple >calculations can be performed. For example, is there any way to >ev

[Haskell-cafe] Re: Compilling GHC on Vista

Here is the complete message in config.log: gcc version 3.4.2 (mingw-special) configure:3288: $? = 0 configure:3295: c:/MinGW/bin/gcc -V >&5 gcc.exe: `-V' option must have argument configure:3298: $? = 1 configure:3321: checking for C compiler default output file name configure:3348: c:/MinGW/bin

[Haskell-cafe] Re: Compilling GHC on Vista

There isn't a solution for the getPermissions issue; the bug is here: http://hackage.haskell.org/trac/ghc/ticket/1280. Monique: can you post the relevant section of config.log from your failed configure run? Cheers, Simon Monique Monteiro wrote: For backward compatibility reasons, I

Re: [Haskell-cafe] Is Excel a FP language?

Hi Tony, I think Lennart said it best with "Excel is a zero-order functional language" - a functional language in which you can't define functions. Another way of putting that is that it is a functional language, but a really bad one (from a functional'ness perspective). Thanks Neil On 4/25/0

Re: [Haskell-cafe] Reasoning [was: Tutorial on Haskell]

Tim Newsham <[EMAIL PROTECTED]> wrote: >- What about program proofs? Are there any systems that tie > directly into haskell and let you augment your haskell program > with a proof that can be machine checked? Programatica. http://www.csee.ogi.edu/PacSoft/projects/programatica/

Re: [Haskell-cafe] Is Excel a FP language?

My opposition proposed (after some "weeding out") that there is a distinction between Excel, the application, the GUI and Excel, the language (which we eventually agreed (I think) manifested itself as a .xls file). Similarly, VB is both a language and a development environment and referring to VB

[Haskell-cafe] Re: [Haskell] ANN: IOSpec 0.1

Hi Stefan, in the Teletype module, it would probably be better to reflect IOTeletype operations as: data Action a = Finish a | Put Char (Action a) | Get (Char -> Action a) That way, there is no need to use (unobservable) laziness. I'm afraid I've lost you. How does this differ from the cu

[Haskell-cafe] Re: [Haskell] ANN: IOSpec 0.1

Hi Isaac, How does or might this relate to the typeclass-based Restricted IO monad http://article.gmane.org/gmane.comp.lang.haskell.general/14526 ? RIO's technique has the advantage that multiple capabilities can be easily combined in one use of the monad - but this manner of using typeclas

[Haskell-cafe] Re: [Haskell] ANN: IOSpec 0.1

Hi Twan, Wouter Swierstra wrote: Test.IOSpecVersion 1.0 Shouldn't that be 0.1? You're right of course. You use Dynamic for the data type in IORefs, this has the unfortunate consequence of needing Typeable constraints. You could try to use unsafeCoerce instead, > type Da

Re: [Haskell-cafe] Is Excel a FP language?

On 4/24/07, Tony Morris <[EMAIL PROTECTED]> wrote: In a debate I proposed "Excel is a functional language". It was refuted and I'd like to know what some of you clever Haskellers might think :) My opposition proposed (after some "weeding out") that there is a distinction between Excel, the appl

Re: [Haskell-cafe] Is Excel a FP language?

On 25/04/07, Tony Morris <[EMAIL PROTECTED]> wrote: In a debate I proposed "Excel is a functional language". It was refuted and I'd like to know what some of you clever Haskellers might think :) By coincidence I wrote about Excel (and related spreadsheets) as functional languages just recently

[Haskell-cafe] ICFP Programming Contest 2007

Want to show off your programming skills? Your favorite programming language? Your best programming tools? Join the ICFP Programming Contest 2007! The 10th ICFP Programming Contest celebrates a decade of contests. This is one of the world's most advanced and prestiguous programming contest y