Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

Matlab

Name: Anonymous 2010-04-10 6:42

Great programming language or greatest programming language?

Name: Anonymous 2010-04-10 6:57

Not as good as Scheme, Perl, ASP, and BBCode.

Name: Anonymous 2010-04-10 7:09

Programming in Matlab is like having TAOCP rammed up your ass Actually, I've never used it

Name: Anonymous 2010-04-10 8:18

Meatlab

Name: Anonymous 2010-04-10 11:51

MATLAB is very handy for messing around with [multidimensional] arrays. All of my UNDREGRADUATE QUALITY AI, cognitive science, and human vision programs are written in it.

But I don't have the cash for the license at the moment, so I can't use them. This makes me feel stupid and wish they were in Haskell.

Name: Anonymous 2010-04-10 13:09

>>5
You could use Octave, it's like a mix of Matlab and Ruby.

Name: Anonymous 2010-04-10 13:42

>>5
All of my UNDERGRADUATE QUALITY AI programs are written in Python because that's the language Xarn taught them to me in.

Name: Anonymous 2010-04-10 14:00

Are people seriously saying that MatLab counts as a programming language?

Name: Anonymous 2010-04-10 14:18

>>8
Of course they are. Have you even used it?

Name: Anonymous 2010-04-10 14:19

>>8
It depends on your definition of programming language some people consider HTML a programming language, they're wrong, but that doesn't mean they don't say it

Name: Anonymous 2010-04-10 14:47

>>10
Yeah, but MatLab is TC unlike wimpy markup languages.

Name: Anonymous 2010-04-10 15:01

>>11
tinychan?

Name: Anonymous 2010-04-10 15:02

>>11
I don't think there is anyone stupid enough to try and suggest that mathematics isn't turing complete. prove me wrong

Name: Anonymous 2010-04-10 15:53

>>13
As far as I'm concerned, if you want to draw a line it should separate TC from non-TC. I've recently given this up, though, HTML is programming, but I've also decided it's not a language. After this rearrangement, I've noticed that the lists of things I'd classify as programming languages and of things I wouldn't haven't changed any.

Name: Anonymous 2010-04-10 16:55

>>13
Every program in Martin-Löf's constructive type theory terminates. Because of Curry–Howard isomorphism every mathematical formula can be expressed as a type so mathematics are equal power.
Touring completion requires unbounded computation capabilities there fore mathematics not touring complete.

PROVE ME RIGHT

Name: Anonymous 2010-04-10 17:20

>>15
I was meaning the whole of mathematics, which IIRC includes the untyped lambda calculus. I already knew that e.g. the simply typed lambda calculus without extensions wasn't TC as it can't express Y. And I thought that the curry-howard isomorphism only applies to constructive mathematics

Name: Anonymous 2010-04-10 17:33

Because of Curry–Howard isomorphism every mathematical formula can be expressed as a type so mathematics are equal power.
The curry-howard isomorphism is between proofs and programs, not between functions and types.

Name: Anonymous 2010-04-10 17:35

>>13
Matlab is for arithmetic while Mathematica is for mathematics!!!
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -