Fork me on GitHub
#clojure-italy
<
2018-04-27
>
mdallastella07:04:45

Giorno giovani

manuel08:04:44

salve gente

reborg08:04:32

@bronsa ma non si potrebbe fare qualcosa di simile con spec? Non parlo della visualizzazione dei grafi, ma della generazione di scenari possibili (o non possibili) e la descrizione del sistema wolf-goat-cabbage

bronsa08:04:45

@reborg con spec puoi modellare il problema e probabilmente usarlo per trovare una soluzione via brute force, certo, ma come puoi farlo in puro clojure volendo

bronsa08:04:10

era piu` un modo interessante per fare una demo di IPL e imandra che altro :)

bronsa09:04:38

tanto per risolvere sti problemi niente batte prolog

reborg09:04:22

Infatti, la demo fa capire in modo semplice cosa fa il tool. Immagino che farlo scalare sia la difficolta' ed il fatto che i tipi siano statici aiuti non poco. Con spec forse ti veniva il DSL for free.

bronsa13:04:12

siamo molto vicini a lanciare imandra al pubblico :)