Viewing profile — init1

I've read it and I agree private properties on classes satisfy the requirement. It does allow you to hide implementation details and I was unaware it was added; though with anythin…

See my comment here for an example: https://news.ycombinator.com/item?id=47810686

> The article claims only Ada has true separation of implementation vs specification (the interface), but as far as I am able to reason, also e.g. JavaScript is perfectly able to d…

As far as I can tell you cannot create your own bounded Integer/Floating point types in any of the ML languages. That's one example of one of the core Ada type features. Most peopl…

In my opinion it has both complicated and terrible syntax that it inherited and extended from c++ and complicated semantics.

It is not that I cannot remember the symbols - I don't want to; I want the language to plainly explain itself to me. Furthermore every language has it's own set of unique symbols. …

Verbosity is a feature not a bug. Programming is a human activity and thus should use human language and avoid encoded forms that require decoding to understand. The use of abbrevi…

Git is an OSS project and is not owned even slightly by Microsoft. Github the website however is. You don't need to replace git.

I found a project ClippyJS: https://github.com/pi0/clippyjs That adds clippy and all the other agents to a webpage. There is a PR on the repo that adds an example that hooks clippy…

What useless drivel. If you already have property rights then you have the right to own and operate computers. The main thrust of the law is directly self contradictory. "Governmen…

Big agree. Overly terse and symbolic languages feel very cryptic and ugly to me as well.

You're in luck. Try Ada (it's great BTW)

You can generate bindings using a gcc -c -fdump-ada-spec . They typically work well enough without needing additional tweaks but If it's more involved you can ask Claude to make a …

What exactly is a "type-related disadvantage"? As far as I'm aware, Ada has a much more expressive type system and not by a hair. By miles. Being able to define custom bounds check…

I've never come across any range restricting constructions in C++ projects in the wild before. It truly is a shame, I think it's something more programmers should be aware of and u…

Instead of just thinking about the proof in your mind or putting it in comments you can actually embed pre/post conditions and compile time proofs in actual code using ADA SPARK. Y…

All these years and Ada is still the undisputed and unmatched master of type safety.

I wanted to look at the code in more detail and it looks like the author didn't link it anywhere. Luckily it wasn't difficult to find: https://github.com/AdaDoom3/Neo.SIMD Looks li…