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

Browse archivesActive forum topics 
Recent comments
18 hours 52 min ago
19 hours 50 min ago
1 day 12 hours ago
5 days 7 hours ago
5 days 13 hours ago
5 days 15 hours ago
6 days 1 hour ago
1 week 21 hours ago
1 week 2 days ago
1 week 2 days ago