I'm glad to announce the new release of the Zinc Curry Compiler. It is
still under development, so many features may fail, but it should
perform OK with simple programs.
The Zinc Compiler is the result of an effort to write an experimental
compiler for a version of the Curry functional logic progr
>I think you are confusing Dependent Types with Functional Dependencies.
Actually the two are not that dissimilar... If we allow types to depend
on types (which is what Functional Dependencies allow) IE:
class a b | a -> b
instance Int Float
instance Float Int
For example
I have done some code in order to interface haskell and octave. It is
actually very simple, but it works.
The communication between octave and haskell is done via files. I'm
planning to change this and use sockets.
This file belongs to my project : use haskell for image/signal
procesing algorithms.
On Thu, Aug 12, 2004 at 02:16:05PM +0900, jeff polakow wrote:
> Why is the following not an arrow?
>
> newtype ListMap i o = LM ([i] -> [o]
> instance Arrow ListMap where
> pure f = LM (map f)
> LM f >>> LM g = LM (g . f)
> first (LM f) = LM ((uncurry zip) . (cross f id) . unzip)
Consider
