gcanti / functional-programming Goto Github PK

sugli interi la somma è una operazione chiusa mentre la sottrazione non lo è

Mi sembra un typo, dovrebbe essere:

sui numeri naturali la somma è una operazione chiusa mentre la sottrazione non lo è

(src.: https://it.wikipedia.org/wiki/Propriet%C3%A0_di_chiusura)

dou you have english translation of you fp-ts book?

Nella sezione riguardante le monadi forse hai dimenticato una "F", nello specifico, nel punto:

"E' possibile applicare un lifting a f ottenendo F[f]: F[B] -> F[F[C]]. Ora F[f] e g compongono in un morfismo A -> F[[C]] ma qui rimango bloccato."

Immagino che "A->F[[C]]" dovesse essere "A->F[F[C]]"

Date le premesse della categoria TS:

• gli oggetti sono tutti i tipi di TypeScript
• i morfismi sono tutte le funzioni di TypeScript
  non ne dovrebbe conseguire che i morfismi identità sono tutte le funzioni (a: 'T) => 'T, anziché la sola funzione identità? Ad esempio, la funzione double rispetta i requisiti del morfismo identità.