News for hackers. Stuff that matters.

A comment on Research in Programming Languages (2012). Parent comment

Re:Research in Programming Languages (2012) by higerordermap on Thursday December 17, 2020 @06:02AM (#25454459)
Unpopular opinion: The abstract mathematics side of PL research is progressing good enough. More important thing is to improve tooling, and it matters we should be able to design efficient and ergonomic programming languages with tooling focus in mind.

Maybe hardcore Set theory people don't accept progresses in Zig or Rust as PL research, but they are very important thing as well.

[ Parent | on HN ]
Re:Research in Programming Languages (2012) by MaxBarraclough on Thursday December 17, 2020 @01:20PM (#25458451)
From what I gather, good progress is being made on the SPARK Ada tooling, for formally verified software development.

Do you have something specific in mind? IDEs? I don't know much about this but I presume work is being done on Rust/Zig IDEs.

[ Parent | on HN ]