Fork me on GitHub
#clojure-italy
<
2018-04-16
>
helios10:04:46

buongiorno 🙂

Carlo18:04:22

ciao a tutti

Carlo18:04:32

@bronsa ho trovato questo channel slack cercando su google il libro di tarver the book of Shen. Alla fine l'hai letto?

bronsa18:04:14

ciao @meditans, si` l'ho letto tra dicembre e gennaio

Carlo18:04:43

@bronsa vuoi darmi un parere? Visto che lo trovo su libgen devo decidere se comprarlo 😄

Carlo18:04:49

*non lo trovo

bronsa18:04:09

difficile da dare un giudizio

bronsa18:04:42

dipende dai motivi per cui vorresti leggerlo

bronsa18:04:53

shen a mio avviso e` completamente inutile come linguaggio nella vita vera

bronsa18:04:07

ma come linguaggio da studiare lo consiglierei tantissimo

Carlo18:04:12

@bronsa perche' non ci sono librerie o per il linguaggio in se?

bronsa18:04:24

contiene delle perle assolute

bronsa18:04:13

un po' per entrambe le cose @meditans, ha una community di circa 20 persone (attive) anche se teoricamente puoi fare interop con qualsiasi host

bronsa18:04:33

ma pure come scelte di linguaggio, certe feature a mio avviso sono molto interessanti ma per niente pratiche

bronsa18:04:06

quindi se ti interessa studiare linguaggi e o scoprire tecniche nuove o completamente innovative, te lo consiglio

bronsa18:04:22

se sei alla ricerca di un linguaggio interessante da poter usare sul lavoro, allora sinceramente no :)

bronsa18:04:03

ho pensato "Tarver e` completamente folle o geniale, ma non capisco quale" numerose volte leggendolo

Carlo18:04:24

@bronsa mi interesserebbe un linguaggio con cui posso prototipare velocemente, che abbia un interfaccia nativa con il prolog; e magari riuscirei anche a capire tutto l'amore per i lisp (la mancanza di type-system mi ha sempre fermato dall'apprezzarli fino ad adesso)

bronsa18:04:45

shen e` un lisp molto diverso dagli altri lisp

bronsa18:04:12

e il "type system" che ha e` completamente diverso da quello di qualsiasi altro linguaggio

bronsa18:04:31

perche` non e` un type system se non effettivamente un prolog a compile time

Carlo18:04:25

sisi, questo l'avevo visto dal poco materiale online; alla fine hai mai usato il linguaggio per qualcosa dopo aver letto il libro?

bronsa18:04:25

non so, shen e` un lisp bastardizzato con ml + sequent calculus come type system, per prototipare roba algoritmica secondo me va benissimo

bronsa18:04:33

per prototipare altro no

Carlo18:04:41

cosa intendi per altro?

bronsa18:04:51

eg. applicazioni gui

bronsa18:04:30

io l'ho usato un paio di volte questi mesi per esplorare un po' con vari automated theorem provers, per ste cose e` perfetto

bronsa18:04:38

ma tutto per studio personale

Carlo18:04:24

molto interessante, puoi approfondire? Come background, scrivo haskell e agda (ti chiedo di approfondire perche' volevo velocemente esplorare cose relative ad agda)

bronsa18:04:26

al momento lo uso piuttosto di clojure quando mi fa comodo pattern matching ml style

bronsa18:04:21

beh, nello specifico ho esplorato il tp originale di boyer-moore in shen

Carlo18:04:38

aspetta, non so cos'e', un attimo

bronsa18:04:47

conosci acl2 ?

Carlo18:04:08

no purtroppo, ma sto googlando

Carlo18:04:30

vedo, e' sulla stessa linea di HOL-Isabelle?

bronsa18:04:27

dipende da cosa intendi, sono entrambi automated th provers ma usano logiche diverse IIRC

bronsa18:04:38

non ho mai usato coq/isabelle quindi non ti saprei dire bene le differenze

bronsa18:04:10

ma comunque per il dominio di esplorazioni su theorem prover/type system/compiler e simili per me e` ottimo

Carlo18:04:51

grazie mille; e oltre al pattern matching quali sono le features innovative che hai usato di piu'?

bronsa18:04:56

poi non saprei consigliartelo piuttosto di haskell o ocaml sinceramente, se le feature del type system non ti interessano

bronsa18:04:14

beh "innovative", ho usato il motore prolog studiando kanren

bronsa18:04:35

con il type system piu` di imparare a usarlo e come funziona l'implementazione non ci ho fatto molto

Carlo18:04:03

quanto bene si mescolano il lato prolog e quello funzionale?

bronsa18:04:08

lo yacc che ha di default non l'ho usato per esempio

bronsa18:04:18

molto bene

bronsa18:04:26

hanno un interop "nativo"

bronsa18:04:40

per passare valori da ed a prolog

Carlo18:04:56

cos'e' ed?

bronsa18:04:06

no intendevo da/a

Carlo18:04:48

capito, grazie per le risposte, alla fine mi sa che lo compro; tu l'hai preso da amazon, o lo vende qualcuno in italia?

bronsa18:04:55

di dove sei?

bronsa18:04:09

io ora sto a londra ma scendo spesso a padova

Carlo18:04:11

vivo a padova

bronsa18:04:19

se sei di zona allora possiamo beccarci la prossima volta

bronsa18:04:21

ho una copia in piu`

Carlo18:04:32

eh infatti mi sembrava che il nome utente fosse locale 😄

Carlo18:04:55

molto volentieri, anche per fare due chiacchiere; se hai una copia in piu' te la compro volentieri

Carlo18:04:13

(se passi dall'italia in tempi umani :D)

bronsa18:04:13

io penso di scendere tra ~1mese/1mese e mezzo, se lo vuoi prima dovrai comprarlo :)

Carlo18:04:41

no, aspetto volentieri 😄

bronsa18:04:14

altrimenti ti porto volentieri la mia seconda copia, ti avviso che e` stampata male: in alcune pagine del libro c'e` un font piu` fino, ma e` comunque leggibile

Carlo18:04:54

guarda se non resisto alla tentazione e lo compro prima te lo dico qui 😄

bronsa18:04:57

io meta` l'ho letto tranquillamente su quella copia aspettando mi arrivasse quella di ricambio