Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.



I posted this in another comment, but her github repo has a Ceptre implementation: 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/... )


Thanks!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: