5 ms·
In my opinion, static languages don't bring a whole lot to the table with numerical math. There's not many types for one. You basically just use matrices and ve
by cultus 6y ago
In my opinion, static languages don't bring a whole lot to the table with numerical math. There's not many types for one. You basically just use matrices and vectors of floats most of the time.
What would really be a bigger deal is some limited dependent typing to avoid errors from mismatched array sizes. Until then though, Julia is a bit more practical choice for me.
- yawaramin 6y agoOCaml can provide that: https://github.com/Octachron/tensority https://github.com/Octachron/tensority
- octachron 6y agoSlap (https://github.com/akabe/slap https://github.com/akabe/slap) is a more serious attempt. Tensority is still a prototype library that ventures very far into statistical safety, probably at a quite steep cost in usability.
- srean 6y agoThese old papers might pique your interest Shape in Computing [https://dl.acm.org/doi/10.1145/234528.234749 https://dl.acm.org/doi/10.1145/234528.234749 ] A Semantics for Shape [https://www.sciencedirect.com/science/article/pii/0167642395000151 https://www.sciencedirect.com/science/article/pii/0167642395... ] https://www.semanticscholar.org/paper/The-FISh-language-definition-Jay/cc414b98ba5e65f47c18470a5739195f4a63a209 https://www.semanticscholar.org/paper/The-FISh-language-defi... https://link.springer.com/article/10.1007/s100090050037 https://link.springer.com/article/10.1007/s100090050037 The page for FiSH used to be online. I cant find it now.
- cole-k 6y agoThis sort of thing (if I understand the abstracts correctly) can also be done with dependent types: https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/aplicative.pdf https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/a.... This paper was my introduction to dependent typing, so if you have a little Haskell background, you should be able to grok its gist too.