Re: [Haskell-cafe] Knight Capital debacle and software correctness

2012-08-05 Thread Scott Michel
From some of the reports in the press, the problem was that the trades were supposed to be spread out over several days or weeks, but were spread over hours instead. So, if that were true, no type system would be of any help. The US Navy had a similar problem on a propulsion control system back

Re: [Haskell-cafe] Benchmark of DFT libraries in Haskell

2012-08-05 Thread Scott Michel
Ertugrul: I might be missing something in translation, but if I understand Takayuki's message's intent, everything needs to be calculated because the C-based FFTW library is called (eventually). Laziness doesn't really have an impact. The choice of underlying data structure and whether FFTW

Re: [Haskell-cafe] Unknown symbol `__dso_handle' with Template Haskell and wxHaskell

2011-01-06 Thread Scott Michel
It's a side effect of dynamic linking, or, lack of support for it in ghci. You can't work around it. I've tried. Sent from my iPad On Dec 27, 2010, at 9:14 PM, Alexander Bau a...@imn.htwk-leipzig.de wrote: GHCi and cabal didn't work, but ghc --make did. Neither GHCi, cabal nor ghc --make

[Haskell-cafe] Layout styles and EclipseFP evolution.

2010-12-16 Thread Scott Michel
Disclaimer: I'm not looking to start a favorite IDE flame war, or resurrect Emacs vs. VIM vs. Yi vs. insert your favorite IDE here discussions. I've been helping JP with EclipseFP, with the objective of evolving EclipseFP into a relatively high productivity IDE for Haskell. EclipseFP has the

Re: [Haskell-cafe] iPhone/Android and Haskell [Was: Embedded funcional programming?]

2010-08-07 Thread Scott Michel
Whatever happened to the JVM backend for GHC? That might actually be a relatively straightforward solution to the whole interface to Java problem. On Sun, Apr 18, 2010 at 11:42 PM, Don Stewart d...@galois.com wrote: liamoc: On 19 April 2010 05:29, Don Stewart d...@galois.com wrote: That's

[Haskell-cafe] OT: How a Common Lisp user views other programming languages

2010-01-21 Thread Scott Michel
Off topic, but funny: http://kvardek-du.kerno.org/2010/01/how-common-lisp-programmer-views-users.html The Haskell icon is very apt! -scooter ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Word128, Word256

2009-10-26 Thread Scott Michel
To have it defined is one thing. To actually implement i128 and i256 is quite another thing. Are you willing to actually do all of the work necessary to implement the unboxed i128 code? Dream away! 2009/10/22 Maurí­cio CA mauricio.antu...@gmail.com Hi, Do you think we could have the range

Re: [Haskell-cafe] Getting my mind around UArray - STUArray conversion

2009-06-22 Thread Scott Michel
On Fri, Jun 19, 2009 at 7:08 PM, Dan Doeldan.d...@gmail.com wrote: Oops, I replied too hastily. What I wrote in my first mail is a problem, as witnessed by the ix and ix1 in the error message. However, it isn't the main error. The main error is that you have a monadic expression, with type

[Haskell-cafe] Getting my mind around UArray - STUArray conversion

2009-06-19 Thread Scott Michel
I'm trying to get my mind around how to thaw and then freeze a UArray. Theoretically, what I've written below should be a no-op, but I keep getting typing errors that I can't figure out. GHCI 6.10.3 says: Couldn't match expected type `UArray ix a' against inferred type `ST s (STUArray