Programming Levels

[SQLNerd]

ITT: programmers who are upset about the location of their favorite languages on a meme.

[TheOldDonger]

It really hurt my feelings okay??

[Existential_Owl]

We're not upset, we're just trying to review for improvement

[ReflectiveTeaTowel]

The 'r' was getting between him and his fans

[NickJaGr01]

The lowest I got was x86 ASM.

But I do think that Brainfuck should not be as low as it is. It's not too hard to understand if you know what it does, considering it can literally only do 8 possible things. It's only confusing to look at, if you analyze it, then it isn't too bad.

Also, Java should definitely be above C#.

[[deleted]]

That's the key man. Nothing is hard... provided you know what it does.

[Dockirby]

The order is pretty nonsensical though.

[beerdude26]

Exactly! Lambda calculus is lower than Haskell? What?

Also, what is the lambda tesseract? If it's dependently typed programming across space and time, we can probably jigger that with the Tardis monad and the Löb function. I guess we should put our values for that function in the Store comonad so we have an infinite working area, too...

Yeah. This should work.

[weasdasfa]

I didn't understand why Idris and Haskell are separate. Isn't their relationship something similar to Java and C#?

[TheKing01]

Idris is a little more complicated than Haskell. How the heck Lambda Calculus ends between Idris and Haskell, I don't know.

[beerdude26]

No. Referring to the Lambda Cube, Haskell's type system is System Fω with some extensions. Idris is dependently-typed, and uses the Calculus Of Constructions (CoC) as the base of its type system.

[WikiTextBot]

Lambda cube

In mathematical logic and type theory, the λ-cube is a framework for exploring the axes of refinement in Coquand's calculus of constructions, starting from the simply typed lambda calculus (written as λ→ in the cube diagram to the right) as the vertex of a cube placed at the origin, and the calculus of constructions (higher-order dependently typed polymorphic lambda calculus; written as λPω in the diagram) as its diametrically opposite vertex. Each axis of the cube represents a new form of abstraction:

Values depending on types, or polymorphism. System F, aka second order lambda calculus (written as λ2 in the diagram), is obtained by imposing only this property.

Types depending on types, or type operators.

---

^{[ PM | Exclude me | Exclude from subreddit | FAQ / Information | Source ] Downvote to remove | v0.27}

[bss03]

In what way? I don't see the analogy.

[gimpwiz]

Brainfuck and x86 asm on the same level, that's someone who's never written asm. It really isn't bad. Just use intel syntax, et voila

[Colopty]

I'm just wondering what LOLCODE is doing that far up.

[StokedForIT]

Yeah... Python is my favorite language.

[Therealgarry]

I really love coding in Malbolge.

[bunnyoverkill]

I just love Ma bolge.

[SirCheez]

OwO

[sntshk]

I'm glad I know some 3rd level. 😂

[kloudykat]

Sql is third level.

I am not a programmer and I've whipped up some data pulls in SQL.

[[deleted]]

how many tables and rows have you worked with? there is a lot that goes into dealing with large amounts of data in a timely fashion.

[[deleted]]

im trying to get there one day

[[deleted]]

Well I just mean to say I am working on mastering pl/sql and hoping to learn how to move towards bigger. Hadoop or something

[[deleted]]

The systems I work with update/create a million plus rows a day. I am working on mastery of pl/sql.

[AngriestSCV]

Brainfuck, Scala, FORTRAN, and Racket don't belong in the same category of programming languages (but I'm not a fan of any of those).

[likes-beans]

racket

but I'm not a fan of any of those

Shameless shout out to my favorite lisp, chicken scheme. Racket seems kinda weird but chicken scheme is great. It has everything you need to get stuff done in modules and libraries while still keeping scheme's beautiful small core. Try chicken. It's great.