2024-11-01 16:37:14 I would like to present a compile-time, statically type-checked, pure-functional, immutable Forth word: : NOP ; IMMEDIATE 2024-11-01 16:37:23 If we stick to this word we can write safe, provable Forth code 2024-11-01 16:38:03 I patiently await all our Forth code to be rewritten in this safe subset 2024-11-01 16:43:21 lol, if i'm writing a collection of offset words and one has an offset of 0 i usually do ' nop aka >field immediate 2024-11-01 16:44:27 What I have done is put all the unsafe Forth words in a separate vocabulary, accessible through UNSAFE 2024-11-01 16:44:53 But you shouldn't ever need it, I never use it. All of my programs are either one or zero words long, and I've never needed UNSAFE 2024-11-01 16:51:05 makes sense 2024-11-01 18:10:55 veltas: That definitely looks inspired by something :) what was it? 2024-11-01 20:17:03 user51: I've taken inspiration from all the greats, as usual 2024-11-01 20:17:31 Haskell, Brainfuck, Rust, Spanish 2024-11-01 20:20:56 and then you wake up after tener has been chasing after you on spindly legs 2024-11-01 20:40:18 veltas: On the bright side, probably a good thing to have a broad experience.