Typing Is Hard
typing-is-hard.ch
Typing Is Hard
1–10 of 83 posts
Re: Typing Is Hard
#2[deleted]
Re: Typing Is Hard
#3What a cool resource. I've been meaning to finish an MVP for a programming language I've been trying to write, and it's pretty encouraging how many languages use undecidable type systems.
Re: Typing Is Hard
#4Ah, I recently started using type hints in Python. Would've loved to see how that compares even though it's not inherently a statically typed language!
Re: Typing Is Hard
#5[deleted]
Re: Typing Is Hard
#6Ah, I recently started using type hints in Python. Would've loved to see how that compares even though it's not inherently a statically typed language!
Python's type system is an instance of "gradual typing" (like e.g. TypeScript). PEP 483 is actually a nice introduction to this: https://www.python.org/dev/peps/pep-0483/
Re: Typing Is Hard
#7If you have some form of Turing-complete macros, then macro processing might not terminate. I don't see why this is anything but trivial, or a compelling argument against Turing-complete macros.
Re: Typing Is Hard
#8If you have some form of Turing-complete macros, then macro processing might not terminate. I don't see why this is anything but trivial, or a compelling argument against Turing-complete macros.
I don't think it's a compelling argument against having such a language. But you might want to know what you're up against if, say, you decide to write an autocompleter for your editor that needs to know types.
Re: Typing Is Hard
#9After hearing "but Typescript is unsound!" a billion times.... kinda glad to se that being unsound is the "state of the art".
I do wonder how far you can go without letting go of unsound-ness in practice though. Convenience is nice, guarantees are very very nice
Re: Typing Is Hard
#10What Julia?