Hacker News new | ask | show | jobs
by jamesfisher 4255 days ago
Does a good formal introduction exist for K, or Q, or APL, or J, or any other languages in this family? Something with, you know, a syntax definition at least, and any kind of formal definition of the semantics.

The closest I could find is this [1] but "The model is expressed in SHARP APL", so from the start, it's circular.

[1] http://www.jsoftware.com/papers/APLSyntaxSemantics.htm
2 comments
eggy 4254 days ago
It's not formal, but it is helpful to watch these series of videos by Martin Saurer on J:

https://www.youtube.com/watch?v=VSJpJt3c11c

It goes form solving some Euler problems to a full-blown web app in J.

link
avmich 4254 days ago
For J, IMO, jsoftware.com has good resources. That includes vocabulary (the way to specify the language), a few textbooks (JforC, J Primer), essays, examples of short code... And J forums are pretty helpful.

Coming back to the question, for J its vocabulary on jsoftware.com is a good resource.

link