Re: [Haskell-cafe] Unfriendly hs-plugins error

2007-10-02 Thread Björn Buckwalter
2007, Brandon S. Allbery KF8NH <[EMAIL PROTECTED]> wrote: > > > > > > On Oct 1, 2007, at 21:59 , Björn Buckwalter wrote: > > > > > Dear all, > > > > > > I'm getting a rather unfriendly error when trying to load a plugin > > &g

[Haskell-cafe] Re: Unfriendly hs-plugins error

2007-10-01 Thread Björn Buckwalter
testsuite/unloadAll/null ... On 10/1/07, Björn Buckwalter <[EMAIL PROTECTED]> wrote: > Dear all, > > I'm getting a rather unfriendly error when trying to load a plugin > with hs-plugins: > > my_program: Ix{Int}.index: Index (65536) out

[Haskell-cafe] Unfriendly hs-plugins error

2007-10-01 Thread Björn Buckwalter
Dear all, I'm getting a rather unfriendly error when trying to load a plugin with hs-plugins: my_program: Ix{Int}.index: Index (65536) out of range ((0,7)) The exact numbers in the message vary depending on what I'm trying to do. I'm using GHC-6.6.1 on MacOS X. Here are three files that exhi

Re: [Haskell-cafe] ANNOUNCE: Dimensional 0.6 -- Statically checked physical dimensions

2007-08-02 Thread Björn Buckwalter
David Roundy wrote: > On Thu, Aug 02, 2007 at 10:27:47PM +0200, Björn Buckwalter wrote: > > I am also assuming that the CGS system would not be employed when > > working with temperature, amount or luminosity. This is evident in > > the below type signatures where I have a

[Haskell-cafe] ANNOUNCE: Dimensional 0.6 -- Statically checked physical dimensions

2007-08-02 Thread Björn Buckwalter
Dear all, I am pleased to announce version 0.6 of the Dimensional library. Dimensional is a library providing data types for performing arithmetic with physical quantities and units. Information about the physical dimensions of the quantities/units is embedded in their types and the validity of

[Haskell-cafe] ANNOUNCE: Dimensional 0.4 -- Statically checked physical dimensions

2007-05-16 Thread Björn Buckwalter
Dear all, I am pleased to announce version 0.4 of Dimensional (working name). Dimensional is a library providing data types for performing arithmetic with physical quantities and units. Information about the physical dimensions of the quantities/units is embedded in their types and the validity

Re: [Haskell-cafe] Safe forward-mode AD in Haskell?

2007-05-09 Thread Björn Buckwalter
> d :: Num a => (forall b. (Num b) => (a -> b) -> b -> b) -> a -> a > d f x = let (Bundle y y') = f lift (Bundle x 1) in y' The key change is in the type of d, which now accepts a polymorphic function on numbers, but passes in a "lift" function, which allows us to pass in higher-level variables.

[Haskell-cafe] Re: Safe forward-mode AD in Haskell?

2007-05-08 Thread Björn Buckwalter
logic and terminology. ;) Cheers, Bjorn [1] http://okmij.org/ftp/Haskell/eliminating-array-bound-check.lhs On 5/8/07, Björn Buckwalter <[EMAIL PROTECTED]> wrote: Dear all, = Introduction = In [1] Siskind and Pearlmutter expose the danger of "perturbation confusion" in f

[Haskell-cafe] Safe forward-mode AD in Haskell?

2007-05-08 Thread Björn Buckwalter
Dear all, = Introduction = In [1] Siskind and Pearlmutter expose the danger of "perturbation confusion" in forward-mode automatic differentiation. In particular they state: "We discuss a potential problem with forward-mode AD common to many AD systems, including all attempts to integr

[Haskell-cafe] Re: Extensible static checking of dimensions?

2007-01-28 Thread Björn Buckwalter
he 'Buckwalter.NumTypes' and 'Buckwalter.Dimensional' modules already you can download the latest tarball with all three modules from the project web site at: http://code.google.com/p/dimensional/ Thanks, Björn Buckwalter ~~ BEGIN 'Buckwalter/Dimensional/Extensib

[Haskell-cafe] Re: Haskell Weekly News: January 02, 2007

2007-01-28 Thread Björn Buckwalter
Henning Thielemann henning-thielemann.de> writes: On Tue, 2 Jan 2007, Donald Bruce Stewart wrote: >Dimensional: Statically checked physical dimensions. Björn Buckwalter >[4]announced version 0.1 of [5]Dimensional, a module for statically >checked physical dimensions