3 ms·
As a linguistics student and amateur programmer I find linear logic to be very interesting since it gets used both in linguistics (associated with lexical-funct
by maxwelljoslyn 11y ago
As a linguistics student and amateur programmer I find linear logic to be very interesting since it gets used both in linguistics (associated with lexical-functional grammar) and, of course, math and computing.
I think it would be cool to parse the output tree of a Ceptre program and produce some kind of display (other than a visual tree, of course.) Maybe set the stages to auto, run it a a bunch of times, then produce some statistical analysis from the results - number of deaths per character, average speed at which a given character dies, and so on.
Anyone know if a Ceptre parser available? They must have written one for this article.
- smosher_ 11y agoI posted this in another comment, but her github repo has a Ceptre implementation: https://github.com/chrisamaphone/interactive-lp/ https://github.com/chrisamaphone/interactive-lp/ There are details on getting the trace graphed in the tutorial. (If you want more detail in the trace you can uncomment the code on this line: https://github.com/chrisamaphone/interactive-lp/blob/master/src/traces.sml#L50 https://github.com/chrisamaphone/interactive-lp/blob/master/... )
- maxwelljoslyn 11y agoThanks!