Fork me on GitHub
#clojure-italy
<
2018-02-23
>
reborg09:02:30

topic leggero per iniziare la giornata: ma che e' sta homotopy type theory che laggente menziona?

reborg09:02:11

Troppo advanced per me, putroppo.

nilrecurring09:02:18

Ma sembra Cat Theory ++

reborg09:02:17

forse e' piu' math che altro con qualche connessione a programming via proof theory.

reborg09:02:40

attendo clj-hott

nilrecurring09:02:24

Sembra che non sia troppo utile neanche per Haskell 😅

reborg09:02:38

bel thread, almeno e' vagamente digeribile

bronsa11:02:27

HoTT e` molto nuova come teoria

bronsa11:02:35

2009 or so

bronsa11:02:19

ho amici che ci stanno facendo phd, ogni tanto cerco di cavargli qualcosa di capibile ma e` tosta

reborg11:02:38

quel thread menziona il fatto che al momento haskell e' basato su un'altra teoria che contraddice HoTT e non puo' essere applicata senza pesanti cambiamenti al type system

reborg11:02:41

Axiom K. Quindi immagino che se di pratico c'e' qualcosa ha che vedere con l'implementazione di un type system

nilrecurring12:02:27

Purtroppo ogni volta che si parla di Type Theory il vocabolario diventa subito astrattissimo e mi viene facile perdere il filo

nilrecurring12:02:04

Ho la sensazione che serva leggere una certa sequenza di paper nell'ordine giusto, così da avere tutte le definizioni giuste

nilrecurring12:02:17

(poi l'altro problema è che i termini astratti son difficili da ricordare collegati alla definizione, e.g. mi ci è voluta una vita per sapere al volo cosa è/fa un monoide)

andrea.crotti12:02:02

eh si anche io ho lo stesso problema, immagino che se uno lavora con Haskell & co tutto il giorno poi mette in pratica i concetti e se li ricorda molto piu' facilmente

andrea.crotti12:02:40

per noi impuri dell'FP e' piu' complicato (e vabbeh diciamo che ci schiviamo anche tante rotture di palle)

nilrecurring13:02:28

Lavoro con Haskell tutti i giorni e sono comunque un po’ perso su questa HoTT 😅

andrea.crotti13:02:05

hehe ok allora non abbiamo speranze 😄

reborg16:02:15

Penso di non aver mai sentito nominare "Professional Clojure" by Wrox. E' passato sul radar di qualcuno?

manuel17:02:24

solo di nome, mai letto però