This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2018-04-16
Channels
- # atlanta-clojurians (1)
- # aws (1)
- # beginners (65)
- # boot (4)
- # cider (81)
- # cljs-dev (25)
- # cljsrn (27)
- # clojure (129)
- # clojure-dusseldorf (12)
- # clojure-italy (68)
- # clojure-norway (5)
- # clojure-poland (4)
- # clojure-spec (14)
- # clojure-uk (72)
- # clojurescript (144)
- # code-reviews (19)
- # copenhagen-clojurians (5)
- # cursive (16)
- # datomic (21)
- # editors (1)
- # emacs (15)
- # events (1)
- # figwheel (6)
- # fulcro (54)
- # graphql (1)
- # hoplon (24)
- # jobs (6)
- # jobs-discuss (2)
- # keechma (4)
- # leiningen (6)
- # luminus (17)
- # lumo (2)
- # off-topic (43)
- # onyx (6)
- # pedestal (2)
- # perun (2)
- # portkey (3)
- # re-frame (22)
- # reagent (11)
- # ring-swagger (5)
- # shadow-cljs (46)
- # specter (8)
- # test-check (2)
- # testing (3)
- # vim (16)
- # yada (1)
Hello world
Buon Lunes
@bronsa ho trovato questo channel slack cercando su google il libro di tarver the book of Shen. Alla fine l'hai letto?
@bronsa vuoi darmi un parere? Visto che lo trovo su libgen devo decidere se comprarlo 😄
un po' per entrambe le cose @meditans, ha una community di circa 20 persone (attive) anche se teoricamente puoi fare interop con qualsiasi host
ma pure come scelte di linguaggio, certe feature a mio avviso sono molto interessanti ma per niente pratiche
quindi se ti interessa studiare linguaggi e o scoprire tecniche nuove o completamente innovative, te lo consiglio
se sei alla ricerca di un linguaggio interessante da poter usare sul lavoro, allora sinceramente no :)
ho pensato "Tarver e` completamente folle o geniale, ma non capisco quale" numerose volte leggendolo
@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)
e il "type system" che ha e` completamente diverso da quello di qualsiasi altro linguaggio
sisi, questo l'avevo visto dal poco materiale online; alla fine hai mai usato il linguaggio per qualcosa dopo aver letto il libro?
non so, shen e` un lisp bastardizzato con ml + sequent calculus come type system, per prototipare roba algoritmica secondo me va benissimo
io l'ho usato un paio di volte questi mesi per esplorare un po' con vari automated theorem provers, per ste cose e` perfetto
molto interessante, puoi approfondire? Come background, scrivo haskell e agda (ti chiedo di approfondire perche' volevo velocemente esplorare cose relative ad agda)
dipende da cosa intendi, sono entrambi automated th provers ma usano logiche diverse IIRC
ma comunque per il dominio di esplorazioni su theorem prover/type system/compiler e simili per me e` ottimo
grazie mille; e oltre al pattern matching quali sono le features innovative che hai usato di piu'?
poi non saprei consigliartelo piuttosto di haskell o ocaml sinceramente, se le feature del type system non ti interessano
con il type system piu` di imparare a usarlo e come funziona l'implementazione non ci ho fatto molto
capito, grazie per le risposte, alla fine mi sa che lo compro; tu l'hai preso da amazon, o lo vende qualcuno in italia?
molto volentieri, anche per fare due chiacchiere; se hai una copia in piu' te la compro volentieri
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