Re: [Haskell-cafe] CCC MyType

2010-10-01 Thread Lafras Uys
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 01/10/2010 04:54, Brent Yorgey wrote: > On Wed, Sep 22, 2010 at 04:57:42PM +0200, Lafras Uys wrote: >> >>> data MyType a b = MyType {f::(a -> b)} >>> data SomeType a b = SomeType {g::(a,b)} >> >>&g

Re: [Haskell-cafe] CCC MyType

2010-10-04 Thread Lafras Uys
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 02/10/2010 23:35, Brent Yorgey wrote: > On Fri, Oct 01, 2010 at 01:18:29PM +0200, Lafras Uys wrote: >> -BEGIN PGP SIGNED MESSAGE- >> Hash: SHA1 >> >> I can now find explicit bindings for apply and curry, however n

[Haskell-cafe] CCC MyType

2010-09-22 Thread Lafras Uys
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 List, I'm trying to wrap my head around Haskell and Category Theory---very new to both and in keeping with character, I've jumped into the deep-end. The categories and category-extras packages have helped to illustrate some concepts. However, I remain