User loginNavigation 
Why is there not a PL with a mathematical type system?Hello dear LTU community, I want to know why there is no programming language which has a type system which is modelled after or "simulating" the mathematical world? Let me shortly explain what I mean with "mathematical type system": As anyone who looks at the scientific world I, too, see that the world is modelled using mathematics. Natural scientists are using it, Engineers using mathematics and for example there is also mathematical finance. But we programmers don't use mathematics. We are translating mathematical objects like "natural numbers" to "integers", and we don't have a type named "function" as it is defined in mathematics. Our functions don't have derivatives. The programmers don't have set theory under their fingers and also nothing like analysis. I can imagine some advantages if we would have such a type system: So, but we don't have such a type system. But there are intelligent and experienced PL developers who gave us regards By gueven at 20070420 13:38  LtU Forum  previous forum topic  next forum topic  other blogs  8847 reads

Browse archivesActive forum topics 
Recent comments
2 days 6 hours ago
2 days 21 hours ago
2 days 23 hours ago
4 days 22 hours ago
4 days 23 hours ago
5 days 1 hour ago
5 days 8 hours ago
5 days 12 hours ago
5 days 15 hours ago
5 days 16 hours ago