What's the most mathematical programming language?
I think it's Haskell.
Prolog for logicians.
What's the most mathematical programming language?
Ayden Richardson
Samuel Edwards
Maybe Python
Noah Thomas
this
haskell is for failed mathematicians and failed programmers
prolog is long ded
matlab is for dying professors
python is the future
scipy tensorflow theano pandas matplotlib sklearn keras skimage etc
can't fight the power. rip everyone else
besides R which beats python in data visualisation
Parker Lee
OP's "mathematical programming language" is super vague, but I'm pretty sure he didn't intended it to mean the language most practical or useful to do some work that involves some stuff labeled math. Like statistics with the pandas package.
One could argue that (assuming I'm right about what OP meant) a "mathematical programming language" is one that has semantics within a common setting taught and/or understood by mathematicans.
en.wikipedia.org
Then he goes on mentioning Haskell. Historically, Haskell was cooked up by American CS people in the 80's because they wanted to research the lazy paradigm and couldn't get the right to...I think to the ML language.
As opposed to Haskell, ML actually has formal semantics, I think
en.wikipedia.org
Nolan Hill
>What's the most mathematical programming language?
no idea what you mean with mathematical programming language but I guess you are talking about functional programming paradigm.
If that is the case, then yeah haskell,lisp and python i descending order are the most functional (and widely known).
Daniel Baker
R
Camden Williams
Agreed
Juan Price
>If that is the case, then yeah haskell,lisp and python i descending order are the most functional (and widely known).
you're a retard
Ryan Myers
It's simply fun to have another approach to problems. A lot of programms requires tricks- that implies thinking maybe that's not for you- and it's rather really different than other languages.
Also, python is not the future. It has a really low computing power. It's becoming popular because it's baby's first programming language.
Dominic Allen
>future
>caring about computing power
also most of the computation is done in C, pyhton just acts as an interface bye
Adam Barnes
Someone needs to fucking document matplotlib properly
Jack Murphy
Haskell's history is somewhat more complicated than that. It's also not that clear cut given that Haskell is a proper (pure) functional language while ML is not.
The way I interpreted OP was that he was referring to languages that mathematicians would use to do their work. As in a language that you can formalize theorems in. In this sense it would have to be one of the theorem proving formal languages, Agda, Coq, Idris, Lean, etc.. Basically a language with dependent types and a well designed type system.
pleb tier, pls kill yourself
Gavin King
lmao all mathematicians use either matlab or python kys pretentious faggot
Ethan Carter
>theorem proving programming languages (theorem provers),
fixed
not sure why I threw the word formal into that sentence.
Gabriel Gray
cause you weren't sure if it was pretentious enough
Brandon Jenkins
>proving theorems with matlab or python
many keks
gtfo applied math science slave
Ian Powell
>all mathematicians ever do is prove theorems
bitch no one uses your shitty languages
Blake Baker
>A mathematician's job is to do a scientist's job.
bitch mathematicians who aren't involved in theorem proving based research aren't really doing mathematics anymore
Those languages are all still prototypes on the path to a future language, adoption isn't meant to be widespread.
Luke King
>Those languages are all still prototypes on the path to a future language
lel. mathematicians can't code and they will never attract talent for developing real compiler. octave couldn't attract real compiler designers and developers so their compiler is still a joke. keep lying to yourself that there's a "future language". there's no future. it'll become a thing when HURD has an official release
also applied mathematics is also mathematics. get mad
Ryan Morris
>thinks octave is a mathematical language or in any way related to dependantly typed languages
lol how embarrassing for you
Brandon Sanchez
>not mentioning GAP (gap-system.org
Stay pleb fucking shit tier mathematicians, someday you'll learn
Lucas Bell
i didn't say that fuck off with your shit reading comprehension and stop (you)-ing me with your retarded posts
Jacob Murphy
>R
>pleb tier
>the language all professional statisticians use for research
Anthony Bailey
pick all
Jaxon Miller
see pic
>statisticians prove theorems and aren't just slaves to the sciences
Don't make me laff, they're no more mathematicians than actuaries.
Joseph Anderson
> 'most mathematical'
> it said Haskell
> my editor when
Evan Gutierrez
C
Colton Young
SetL lol
Aiden Hughes
This.
If you absolutely have to get your hands dirty, might as well go all the way.
Easton Cox
APL
life←{↑1 ⍵∨.∧3 4=+/,¯1 0 1∘.⊖¯1 0 1∘.⌽⊂⍵}
Justin Martinez
Visual Basic :^)
Isaac Campbell
most mathematical == most lowlevel?
I think the important difference is : represent maybe advanced maths (as good as can) vs. number crunching.
If number crunching, then yes, C, R, maybe even Fortran, still seems to be deep in business for some stuff.
This on the other hand looks interesting
Charles Bell
How can I learn Haskell?
Thomas Jenkins
Bumping. Any good resource? Apart from - Learn you Haskell.
Juan Peterson
>forgetting Sage
Cameron Flores
look up 'real world haskell'
Matthew Williams
I will, thanks dude.
Benjamin Howard
I used an older version of this course along with LYH
seas.upenn.edu
Angel Garcia
Go to bed, Joseph.