Everyone has something they can’t stop themselves from nerding out over - but often it’s hard to find people to talk to about it. So go ahead, share your interests, and tell us about them!
Everyone has something they can’t stop themselves from nerding out over - but often it’s hard to find people to talk to about it. So go ahead, share your interests, and tell us about them!
Hah, thanks! I already try to tell my friends often enough, but usually they lose concentration while I’m still explaining prerequisites :D
One thing I’m very interested in is Turing-completeness of type systems. In every programming language you have pieces of data, and the computer has to know what kind of data it is - for example a number, or a piece of text. Some languages are “dynamically typed”, in that you don’t have to specify what kind of data you’ll put somewhere, it just accepts any kind of data and you have to give the right things (it keeps track internally what you’re putting where). This is something the industry is moving away from after it had been a hype for a couple of years - it leads to problems in the long run, since it’s more difficult to understand the code when reading it (the more information there is, the better, as long as it’s not duplicated or irrelevant).
Turing-completeness is an attribute of computer systems. Turing proved that, if a mathematical system supports a couple of operations, you can do any calculations with it - it’s what our computers today, and information theory, are based on.
(prerequisites mostly done here!)
Some languages are going further than just specifying what kind of data you’re putting somewhere. You can take one of these type definitions, and calculate a new definition from that one! For example, I might store the state of an internet connection as either “connecting”, “connected” or “disconnected”. In another place I can take this list of three words, and add one or remove one - essentially, I can compute a new definition from this old one. And it turns out, if there are a couple of specific operations implemented, you can actually do anything with this!
For example, let’s say you have a piece of data that is executable code for the computer. You can write a type definition that executes this piece of code, which means you’re running the calculation before your program is running! There are many cool development things you can do with this, mostly to prevent bugs or make your life a bit easier. But it’s incredibly fascinating just how global these concepts are. Heck, you can even build a computer from literal crabs that is Turing-complete, which could run this Turing-complete type system for a Turing-complete language!
Oh! I know about data types a little already. Why are languages moving away from strict data typing? That’s very disappointing to hear. Which languages were you thinking about? Will they at least let you configure the compiler to use strict data types in the future?
It’s the other way around, dynamic typing has been hyped in the last decades to years, but the industry is moving away from it, back to static typing :)
Great examples are JavaScript and Python: both are fundamentally dynamically typed, but both have efforts to add static typing (TypeScript for JavaScript, and type hints for Python). So we’re slowly but surely rectifying these problems!
Oh! Good! I’m glad to hear that.