This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2018-02-23
Channels
- # aleph (8)
- # aws (2)
- # beginners (36)
- # cider (35)
- # cljs-dev (157)
- # cljsjs (3)
- # cljsrn (5)
- # clojure (97)
- # clojure-dev (5)
- # clojure-gamedev (3)
- # clojure-italy (27)
- # clojure-russia (11)
- # clojure-spec (19)
- # clojure-uk (39)
- # clojured (6)
- # clojurescript (87)
- # clojutre (4)
- # community-development (35)
- # cursive (8)
- # datascript (2)
- # datomic (14)
- # dirac (8)
- # duct (3)
- # figwheel (13)
- # fulcro (22)
- # graphql (20)
- # jobs (1)
- # london-clojurians (1)
- # off-topic (55)
- # onyx (3)
- # parinfer (3)
- # protorepl (39)
- # re-frame (3)
- # reagent (26)
- # ring (7)
- # ring-swagger (2)
- # rum (1)
- # shadow-cljs (107)
- # spacemacs (8)
- # test-check (4)
- # unrepl (3)
topic leggero per iniziare la giornata: ma che e' sta homotopy type theory che laggente menziona?
Same here
Ma sembra Cat Theory ++
https://www.reddit.com/r/haskell/comments/6nxgkc/similarities_and_differences_between_homotopy/
Sembra che non sia troppo utile neanche per Haskell 😅
ho amici che ci stanno facendo phd, ogni tanto cerco di cavargli qualcosa di capibile ma e` tosta
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
Axiom K. Quindi immagino che se di pratico c'e' qualcosa ha che vedere con l'implementazione di un type system
Purtroppo ogni volta che si parla di Type Theory il vocabolario diventa subito astrattissimo e mi viene facile perdere il filo
Ho la sensazione che serva leggere una certa sequenza di paper nell'ordine giusto, così da avere tutte le definizioni giuste
(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)
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
per noi impuri dell'FP e' piu' complicato (e vabbeh diciamo che ci schiviamo anche tante rotture di palle)
Lavoro con Haskell tutti i giorni e sono comunque un po’ perso su questa HoTT 😅
hehe ok allora non abbiamo speranze 😄
Però questa è una lettura consigliata per tutti: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/