Re: [Haskell] Haskell Digest, Vol 199, Issue 5

Deepest condolences on the passing of Doaitse Swierstra. I did not know him personally but knew of his work in functional programming. Rishiyur Nikhil On Wed, Mar 11, 2020 at 8:01 AM wrote: > Send Haskell mailing list submissions to > haskell@haskell.org > > To subscribe or

[Haskell] Invititation to provide feedback on RISC-V ISA Formal Specs

ove to get community feedback on these approaches. The following link provides an overview, and links to individual web sites (all on GitHub) for the 5 approaches, and information on how to provide feedback: https://github.com/riscv/ISA_Formal_Spec_Public_Review Thanks very much in advance!

[Haskell-cafe] Error in cabal install of monad-par?

I'm following the instructions on the CUFP T5 Parallel Programming in Haskell web page for preparing for the tutorial, where it asks that I should: 'cabal install monad-par'. I'm doing this on a Mac, Snow Leopard 10.6.8, after installing Haskell Platform. I have Xcode 3.2.4 installed. I get

Re: [Haskell-cafe] Error in cabal install of monad-par?

cabal was invoking the older ghc due it being earlier in my PATH. Fixed, and it installs ok now. Thanks anyway, Nikhil On Thu, Sep 15, 2011 at 12:29 PM, Rishiyur Nikhil nik...@acm.org wrote: I'm following the instructions on the CUFP T5 Parallel Programming in Haskell web page for preparing

[Haskell] Re: [Haskell-cafe] Haskell Weekly News: Issue 111 - March 28, 2009

Speaking of lambdas and gotos, some of you may remember the great Professor Eiichi Goto of Japan. You can see an obituary at: http://www.sigsam.org/bulletin/articles/153/goto.pdf He was one of the Japanese pioneers of Lisp, symbolic computing, and architectural support for symbolic

[Haskell] Re: Haskell Digest, Vol 63, Issue 8

Simon PJ's interview in Computer World about Haskell: http://www.computerworld.com.au/index.php/id;1974033854 contains the following quote: IO is a side effect as we discussed. IO ensures the launching of the missiles: do it now and do it in this order. IO means that it needs to

Re: [Haskell] Re: Haskell Digest, Vol 63, Issue 8

We need change we can believe in! Yes we can! (Thx for the original link to the interview!) Regards, Nikhil On Fri, Feb 6, 2009 at 5:26 PM, Bulat Ziganshin bulat.zigans...@gmail.comwrote: Hello Rishiyur, Saturday, February 7, 2009, 12:46:56 AM, you wrote: I couldn't help enjoying the

[Haskell] Matrix multiplication

You may be interested in also looking at the winning entry in the design competition of the 5th ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2007) http://www.ece.cmu.edu/~jhoe/distribution/mc07contest/ The design problem was a fast matrix multiplier using a

[Haskell] Re: Haskell Digest, Vol 52, Issue 1

Simon Peyton-Jones said: But since the read may block, it matters *when* you perform it. For example if you print Hello and then read the IVar, you'll block after printing; but if you read the IVar and then print, the print won't come out. If the operation was pure (no IO) then you'd

Re: [Haskell] Haskell fast (?) arrays

I think another interesting data point would be for a C++ version that uses the 'vector' data type from STL (Standard Template Library) and using the vector indexing ops that do bounds-checking. Regards, Nikhil ___ Haskell mailing list

[Haskell] WTO Principle

Re. Haskell Digest, Vol 41, Issue 3, Quotes of the Week: * Eric: The Haskell [code] contains no redundancy. In fact, in all the [Haskell] code I've written, in both production and play, each idea is expressed once and only once. It is the Zen ideal of perfect code. And thats

[Haskell] Quotes on thinking

Quotes of the Week: (from Haskell Digest, Vol 41, Issue 1) * cjeris: It's amazing what some languages do to make thinking impossible, seemingly justified by the assumption that no one thinks anyway, so it's more important to make non-thinking programming as easy as possible.