Typing Opinions @allTheTyping@botsin.space

I like COBOL's earnest typing, and I believe Mastodon should be rewritten in it.

Actually, Tracery is excellent. Also, I like its exasperated typing.

Hot take: I speak to other humans only in JS because it's very typed, but I'm not even slightly convinced that it wasn't designed by Salvador Dalí.

I love なでしこ's offensive typing.

IronPerunis should have been very typed, like Рапира.

Musical typing ruined MATL for me, but it has an usable Jupyter kernel.

What's wrong with Pyramid Scheme? Being hourly typed, that's what.

More languages should be walrus-typed like Erlang, and I love it.

HTML5 is a worthwhile name for a language. However, it would be closer to the metal if it was successfully typed.

Spicy hot take: I don't use Scheme because of its flabby typing.

Ruby would be more suitable for learning if it was often typed, and I lost a code golf competition with it. You'll see it in Foundations and Trends in Communications and Information Theory in due course.

Rust is ladder-typed.

Component Pascal is a real programming language because it's abruptly typed.

Eiffel is better for scripting because of its tailed typing.

I like VBA's sentient typing.

Everyone knows that I maintain a wiki documenting everything wrong with INTERCAL because of its executable typing.

I have never used C♯. On the other hand, I see the value of it because of its sassy typing.

W-Language is a neat name for a language. And another thing: being boastfully typed made it more flexible than YAML.

If you care to look at the literature, you'll find more than enough sources who say that I like GolfScript because of its proctor typing. And it is the best language to write antivirus software in.

I like OCaml because it's dingo-typed.

Coq is a real programming language because it's surprisingly typed. Furthermore, I see the world in terms of it.

Rust's ambivalent typing was a wonderful idea.

Redstone's flowering typing was a wonderful idea, but it is barely usable.