One small confession before we begin.
The first programming language I ever used was not Pascal. It was the built-in BASIC on the Atari 800XL home...
For further actions, you may consider blocking this person and/or reporting abuse
One of my weirdest takes is that people should not learn to code with C, but with pascal. It's not the greatest language to be productive in 2026, but it has some guard rails that enforce more purposeful structure rather than putting code wherever your cursor is whenever you decide you need it.
I share the same opinion
I like Miranda 🥰
Never touched Miranda before :)
It is less about touchy-touchy, more about talkie-talkie :)
Miranda is the predecessor Haskell.
Haskell has gf called Agda.
Fun langs.
If you are into imperative, you should take a look at Spark (in the context of Ada).
It is quite a jolly little thing.
That's exactly what I meant. I've never touched Miranda—I mean, I've never written any code in Miranda. 😄
I know about Ada, though. I once watched Tsoding code in it like an absolute boss, but I've never programmed in Ada myself either.
I specifically meant Spark.
We developers rarely talk about the fact, that after almost 100 years, we run untested, and unproven code 99% of the time.
Spark isn't solving the problem (aka it is not a holy grail), but at least it tries to deal with this problem.
Aka it is not about development, but about static and dynamic analysis.
I actually like Agda. it is quite neat-o.
One can write code, but also the proof.
I don1t mean unit test. I mean literal actual proof :)
Problem with Agda is that...
it is so out-of-touch from the reality that an average developer never did a single proof even in school on paper, therefore it is like expecting a happy baby seal to pilot a AH-1Z and provide close air support to ground units.
I was also introduced to pascal and Lazarus thanks to Tsoding's video on Lazarus Ide. When I took a glance on the language and the Ide, One thing ran in my mind was that how underrated is thing is and it has an immense potential to replace web based apps with native application. It is a also a golden combo machine for C and pascal because of a high quality C interoperability . And there are many more aspect which makes it more fascinating than ever and also a great language to teach from both linguistic and mathematical standpoint besides C.
Memories .. Basic was my actual first on a Tandy TRS-80 in grades 7 and 8. In my high school years, we used Pascal on an Apple 2 with one of those hi-tech, at the time, amber monochrome monitors and 64KB of RAM.
And yes, I'm old and was a COBOL developer! No laughs please!!!
Awesome ! No laughs No laughs :)
I'm an old-school Pascal developer, I used Pascal in the 1990's and 2000's, later Delphi. About a year ago, I built a simple Pascal interpreter to help me better understand the Odin programming language. That turned into a side-project and eventually, into WasmPascal. I wanted a simple way to relive my Pascal days, without needing to install things or struggle with emulators etc. This is not meant to replace any of the amazing tools and compilers you already mentioned, but rather to fill a gap for folks like me that just want to play around a bit again, with minimal fuss.
It should work alright in the browser and I have even created repo with lots of examples of what kind of things you can do with it. For those that are interested, there are sections on self-hosting and even using it from the CLI if you are brave. That part is still brittle, but I have managed to make it work for some of my larger experiments.