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

Browse archivesActive forum topics 
Recent comments
2 hours 29 min ago
9 hours 8 min ago
9 hours 40 min ago
17 hours 22 min ago
17 hours 57 min ago
20 hours 9 min ago
20 hours 31 min ago
23 hours 51 min ago
1 day 56 min ago
1 day 4 hours ago