[Haskell-cafe] Functional dependencies and Peano numbers

[Brandon S Allbery KF8NH]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 7/6/10 15:37 , Oscar Finnsson wrote:
> but can they also be on a form similar to
> 
>> a b c d e f g h| b c -> d e f | b d g -> h
> 
>  (i.e. d,e,f are decided by the b,c-combination while h is decided by
> the b,d,g-combination)?

I think the answer to this is "yes, but if you have an MPTC with 8
parameters then you desperately need to refactor".

- -- 
brandon s. allbery     [linux,solaris,freebsd,perl]      allbery at kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university      KF8NH
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkwz7bkACgkQIn7hlCsL25Vk+gCfcfeYYRtUaS/y28P9V852EUVt
GnMAn0ACdIoW5iT+XVfOFXFLCxFzYomr
=aujb
-----END PGP SIGNATURE-----