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

Browse archivesActive forum topics 
Recent comments
1 week 6 days ago
1 week 6 days ago
2 weeks 3 hours ago
2 weeks 4 hours ago
2 weeks 16 hours ago
2 weeks 17 hours ago
2 weeks 2 days ago
2 weeks 3 days ago
3 weeks 1 day ago
3 weeks 2 days ago