All Questions
Tagged with static-typing implementation
3
questions
12
votes
4
answers
1k
views
Why does Python ignore type hints?
In Python, everything is treated as an object. This means that CPython interpreter will decide on the fly, what is the type of each variables or the function return type depending on the current state....
5
votes
3
answers
209
views
How can I reconcile “all functions are variables” with a typeclass type system?
In my WIP language, all functions are really just variables with a callable type. That is, a function call foo(bar) is parsed into the following AST:
...
6
votes
3
answers
438
views
What are common approaches to representing types within a compiler?
I'm implementing my own statically-typed programming language and I'm not too happy with my own approach to types. At the moment, I'm relying on mapping a textual representation of a type to an index ...