Stream: Miscellaneous

Topic: New stack exchange for PL


view this post on Zulip walker (Feb 25 2023 at 21:18):

There is an initiative for a new stack exchange website for PL/PL related stuff, it feel overlapping with proof-assistants on many aspects:

I will leave link for it here in case one is interested:
https://area51.stackexchange.com/proposals/127456/programming-language-design-and-implementation

view this post on Zulip Karl Palmskog (Feb 25 2023 at 22:19):

looks like they want PL without any formal methods or software engineering. That will either be extremely niche or indeed just Proof Assistant Stack Exchange but only using LaTeX proofs/arguments...

view this post on Zulip walker (Feb 26 2023 at 10:42):

I think the intesection would be in type checking, but imo there is more to PL than just types/proofs, there is always the lexing/parsing parts and then all the trick that can be played with SSA

view this post on Zulip Karl Palmskog (Feb 26 2023 at 11:12):

concepts that are regularly formalized in Coq, Isabelle, etc., in PLDI/POPL papers

view this post on Zulip James Wood (Mar 02 2023 at 11:29):

Karl Palmskog said:

looks like they want PL without any formal methods or software engineering. That will either be extremely niche or indeed just Proof Assistant Stack Exchange but only using LaTeX proofs/arguments...

It depends what you mean by “extremely niche”, I guess. Looking at the example questions, there are a lot design questions that mathematical reasoning alone can't answer, and a lot of parsing and other technical questions that proof assistants are not the best tool for. If anything, it looks less niche than PASE.

view this post on Zulip Karl Palmskog (Mar 02 2023 at 11:39):

let's take parsers as an example:

view this post on Zulip Karl Palmskog (Mar 02 2023 at 11:44):

the main audience of PL SE as currently conceived might be the domain-specific languages crowd, but that seems nearly 100% SE / software engineering to me

view this post on Zulip James Wood (Mar 02 2023 at 12:16):

You could similarly argue that most PA SE questions could go on TCS SE or Stack Overflow or whatever (as they did before PA SE, and often still do), but it's not a strong argument against PA SE existing.

view this post on Zulip Karl Palmskog (Mar 02 2023 at 13:43):

there was always the argument that Coq questions in TCS or SO were more suitable elsewhere in a more specialized Exchange. My argument is that the same is difficult to argue for "PL" questions, when there is already TCS, SO, SoftEng, PA SE, ...


Last updated: Nov 29 2023 at 05:01 UTC