Fork me on GitHub
#clojure-italy
<
2018-08-01
>
reborg07:08:48

Nice clojure -Sdeps '{:deps {hello-clojure {:git/url "" :sha "1c9a05106171f97f9b8e8ac8f58c7bd8dbe021f9"}}}' -m hello-clojure

manuel07:08:01

bello! (e buondì)

reborg12:08:45

Ho guardato https://www.youtube.com/watch?v=G166wZyfR9M meh, un po' troppo autocelebrativa qualche buon spunto qui e la'

reborg13:08:47

Domanda per il primo d'agosto a 37 gradi, ma che problema risolvono i linear types in linguaggi come rust o haskell?

reborg13:08:06

e stavo leggendo quello, ma sembra una tecnica che serve se c'e' mutability nel linguaggio o sbaglio?

bronsa13:08:48

vengono usati principalmente per resource management, si`

bronsa13:08:04

occhio che IO conta come mutability

reborg13:08:23

ok, c'e' un sacco di paper a riguardo, un giorno sotto l'ombrellone magari