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  9506 reads

Browse archivesActive forum topics 
Recent comments
34 min 40 sec ago
3 hours 16 min ago
2 days 18 min ago
2 days 1 hour ago
2 days 2 hours ago
2 days 2 hours ago
2 days 3 hours ago
2 days 4 hours ago
2 days 10 hours ago
2 days 11 hours ago