You are viewing a single comment's thread.

view the rest of the comments →

0
0

[–] 16439451? ago 

ur a python programmer arent you

Nope. I do most of my programming in Idris at the moment.

this "elegance" is completely subjective

sure

You create and API that is elegant under the hood, I create and API that is "messy" under the hood. At the end of the day our interfaces are the same, this elegance means little.

Well the problem isn't what happens under the hood. If your language is unable to make the concept clean over the hood, then we have reached a problem.

An engineer does[n't] care about elegance

I'm an academic, not an engineer.

you understand that this statement makes no sense and shows your ignorance

It does make sense. Idris let's me optionally sacrifice Turing completeness to be able to ensure that functions that I write will indeed terminate. You can also utilize the categorical dual of that and get the guarantee that you program will always be productive. I care about solving the problem. Whether or not I do so via methods that are Turing complete or not are besides the point.

>>12729743

So you are saying that to make an abstraction in C, you need to build a new programming language over it. I hope you can see how that is a very poor solution to the problem of wanting to create an abstraction.

>>12731520

PHP

PHP is literally jewish.

0
0

[–] 16439453? ago 

PHP is literally jewish.

Every php programmer has seen this syntax error.