Top all-time · #4123
Programming Linguistics
Personal blog · pling.jondgoodwin.com/postprogramming
Programming Linguistics is a personal blog at pling.jondgoodwin.com about programming. Since 2018, 18 different Hacker News readers have linked it 22 times, most often “The Fascinating Influence of Cyclone (2019)”. The last post was in 2022, but the archive is still widely read.
Meditations on Programming Language Design
Most-linked posts?
- The Fascinating Influence of Cyclone (2019)4 people · 5 mentions · first linked 2019-09-30
- The Fascinating Influence of the Cyclone Language2 people · 2 mentions · first linked 2023-02-08
- The Power of Lifetimes2 people · 2 mentions · first linked 2020-08-03
- Can a compiler guarantee multi-owner memory safety?2 people · 2 mentions · first linked 2018-12-12
- The Power of Lifetimes2 people · 2 mentions · first linked 2019-04-18
- Compiler Performance and LLVM2 people · 2 mentions · first linked 2019-04-03
What Hacker News says?
FWIW I found this post thought provoking in thinking about data models of languages. https://news.ycombinator.com/item?id=13293290 --- About first class variants: https://lobste.rs/s/77nu3d/oil_s_parser_is_160x_200x_faster_... https://github.com/rust-lang/rfcs/pull/2593 Another way I think of this is "types vs. tags": https://oilshell.zulipchat.com/#narrow/stream/208950-zephyr-... (Zulip, requires login) Basically v…
Comment linking /post/when-sum-types-inherit/
on “Rob Pike's Rules of Programming (1989)”Submitted Compiler Performance and LLVM as a story · 122 points
HN discussion> I was familiar with Ada, but I wasn't aware that it had an ownership system like Rust that could guarantee memory safety. The point for bringing up Ada was more that a non-academic "memory-safe" language without GC existed for decades (predating Linux). Old school Ada doesn't use the ownership system, and true doesn't give all the compile-time safety guarantees of Rust but it does give some (and rust in practice c…
Comment linking /post/cyclone/
on “The Rise of Worse Is Better (1991)”Submitted The Power of Lifetimes as a story · 107 points
HN discussionI'm jealous of that self hosted compiler! For Zig I've mandated that we have to forever maintain both the stage1 C++ compiler as well as the self-hosted one (which is not feature complete yet). Also I have some bad news for you... > One major caveat: after the above stages have finished, a C compiler still needs to run to generate the final binary, which usually takes up the most time. The LLVM backend will (hopeful…
Comment linking /post/compiler-performance/
on “Show HN: Muon, a low-level programming language inspired by C, C# and Go”Submitted Weakening Cycles So That Turing Can Halt as a story · 96 points
HN discussionRust also borrowed concepts from Cyclone: > The inspiration for safe borrowed references comes in two ways from the Cyclone programming language, a joint development effort by AT&T and Cornell University. The notion of a borrowed reference is adapted from Cyclone’s polymorphic restricted alias pointers. Additionally, Cyclone’s safe memory management focused on regions (which are usually arenas). In order to ensure m…
Comment linking /post/lifetimes/
on “Bjarne Stroustrup Weighs in on Distributed Systems, Type Safety and Rust”Submitted The Fascinating Influence of Cyclone (2019) as a story · 30 points
HN discussionYes, borrowed references being lifetime-constrained means that I have a "borrow checker" that ensures that. It is only partially implemented. You are correct that Cone supports a static, shared, mutability permission, including on borrowed references into resizable arrays. The short safety answer is array resizing is only possible when you have a unique reference to the array, so you can't run into the trouble you d…
Comment linking /post/interior-references-and-shared-mutable/
on “Cone Programming Langauge”Submitted The Power of Lifetimes as a story · 11 points
HN discussionSubmitted The Fascinating Influence of Cyclone as a story · 6 points
HN discussionSubmitted 2030 Programming Language Predictions as a story · 3 points
HN discussionSubmitted The Power of Lifetimes as a story · 2 points
HN discussionSubmitted The Rise of Type Theory as a story · 2 points
HN discussionSubmitted Can a compiler guarantee multi-owner memory safety? as a story · 2 points
HN discussionSubmitted Compiler Performance and LLVM (2019) as a story · 1 points
HN discussionSubmitted The Fascinating Influence of the Cyclone Language as a story · 1 points
HN discussionSubmitted The Fascinating Influence of Cyclone (2019) as a story · 1 points
HN discussionSubmitted Can a compiler guarantee multi-owner memory safety? as a story · 1 points
HN discussionSubmitted The Fascinating Influence of Cyclone (2019) as a story · 1 points
HN discussionSubmitted The Fascinating Influence of Cyclone as a story · 1 points
HN discussionSubmitted Power of Lifetimes: Cyclone, Rust, and Beyond as a story · 1 points
HN discussion
