Yeah actually I worked with Pascal early in my career and that's kinda the vibes I am thinking about, with maybe a stronger type system more ada-esque though (composite, partial and range-and-domain types, all that jazz)