Typecompose. Tipo classe composizione e casi in Haskell
Scarica ora

Typecompose. Classifica e riepilogo

Typecompose. Tag

esempio classe Libreria Haskell. Digitare la classe di composizione Tipo di istanza composizione Tipo composizione

Typecompose. Descrizione

Digitare lezioni di composizione e istanze a Haskell TypeCompose è una libreria Haskell GRATUITA e Open Source che fornisce alcune classi e casi per forme di composizione di tipo, oltre ad alcuni altri moduli. Il modulo Control.compiano include: · Varie composizioni di tipo (Interni / Unary, Binary / Ourary, ecc.) . La maggior parte proviene dalla programmazione applicativa con effetti. In particolare, G `O` F compose i funzionari in funttori e funttori applicativi (AFS) in AFS. (Al contrario, le monade non fanno in generale composizione.) La composizione rende la programmazione a base AF semplice ed elegante, in parte perché non abbiamo bisogno di una contropartita AF per i trasformatori di monadi. · Cofinctor (corti contravariant). Ottimo per i tipi di "consumatori", proprio come i functor sono i tipi di "produttore" (contenitore). Esistono diverse opzioni di composizione. · Tipo ArtiguMENt Flip. Pratico per i cofunctori: utilizzare flip (->) o, per (-> o). · Costruttore in coppia: (f A, G A). · Costruttore in frecce / funzioni: F A ~> G A. Nota: il tipoCompose è concesso in licenza e distribuito in base ai termini della licenza BSD. Requisiti: · GHC.

Typecompose. Software correlato