Re: [Jchat] Notation for programming language specification

> That said, it's also wise to keep in mind some weaknesses of the J> community. One of which is that we're not really capable of taking on > real time programming tasks (neither is Racket, because of its garbage > collection algorithm). You need a language where garbage collection > can be entirel

Re: [Jchat] Notation for programming language specification

Ok, well... to describe a classic parser, you need a state machine for lexical analysis (sadly, J's ;: is too specialized to handle the general case here, but it's probably good enough for most languages), and another state machine with a stack to describe the parser itself. Redex was built as an

Re: [Jchat] Notation for programming language specification

The point I am trying to make w/the PL community is that using inadequate notations like BNF leaves out an important bunch of PLs. I don't think they are motivated to do anything about this, judging by the BNFy flavor of Redex. Roger's simple table in the C appendix of "APL from 1978" ( https://dl.

Re: [Jchat] Notation for programming language specification

I suspect that a redex representation of J's grammar would not be very descriptive. I think you would need an adequate dependent type system to fully specify the syntactic types of the results of J's adverbs and conjunctions. Still... you could specify an informative subset of J's grammar in rede

Re: [Jchat] Notation for programming language specification

Not a language nut--This is the book I used to learn APL since at the time it was all that was available at my university library related to APL. It describes the IBM 360 architecture using APL. A. D. Falkoff, K. E. Iverson and E. H. Sussenguth, "A formal description of SYSTEM/360," in IBM Sys

Re: [Jchat] Notation for programming language specification

> some examples of PL notations to look at: Ott (which I could not > find), K (same K we know?), and Redex about which there is info here Factoid: The name used by cognoscenti of the k we know, is k, lowercase. On Thu, Oct 1, 2020 at 1:52 PM Devon McCormick wrote: > I recently butted in to a

Re: [Jchat] Notation for programming language specification

There’s also an (unfortunately named) K framework from Grigore Rosu’s group: https://www.sciencedirect.com/science/article/pii/S156783261160 It has a notation (and whole system?) for making languages Cheers, Vanessa McHal

[Jchat] Notation for programming language specification

I recently butted in to a PL (programming languages) discussion on Disqus - https://disqus.com/home/discussion/sigplan-pl-perspectives/pl_notation_is_a_barrier_to_entry/#comment-5091883057 - where I moaned about the lack of inclusion of array languages in the PL discussion. The writer of the blog