(toiminnot)

hwechtla-tl: Nettipäiväkirja 27.10.2018

Kierre.png

Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset


Löysin hauskan kielen, Dynan (http://cs.jhu.edu/~darcey/dyna-tutorial.pdf). En nykyään löydä kovin usein kieliä, joissa törmäisin uusiin ajatuksiin. Dynassa logiikkaohjelmointiydin on liitetty funktionaalistyyppiseen lausekesyntaksiin (vähän niin kuin GF:ssä) ja lisäksi määritelmät ovat aggregoivia eli koska jokaisesta lauseesta voi olla monta tulosta niin määritelmissä kerrotaan miten ne tulokset yhdistellään.

Vähän samanlainen yhdistelmä kaikenlaista hauskaa kuin jq: json, jq, catenative, and traversals.


kommentoi (viimeksi muutettu 27.10.2018 01:32)