Hey guys! Let's all work on a programming project together. We could make some cool thing together. First lets decide what language to use
Name:
Anonymous2015-01-24 11:21
Beyond any doubt, the best language for new projects is Haskell.
Name:
Anonymous2015-01-24 11:37
I'm making a little toy language on the LLVM.
Name:
Anonymous2015-01-24 11:56
Symta
Name:
Anonymous2015-01-24 12:04
Only zygotic shitbrains pick the language before the project.
Name:
Anonymous2015-01-24 12:17
>>5 it's a joke about if we did try this, 100% of the project we be arguing about language, thanks for ruining the thread by making me explain it. 0/10 im not even mad.
Name:
Anonymous2015-01-24 12:34
>>6 I figured that after posting. No regrets. It isn't much of a joke anyway, since it blends in with the rest of /anus/.
>>8 Doing type inference naively is double exponential, by cleverly using sharing in the type expressions you can bring it down to just exponential. But not matter what you do, there will be some rather simple expressions that will make the type checker explode. Luckily, these do not occur in practical programming.
Name:
Anonymous2015-01-24 20:06
>>8,9,10 It's funny because that problem should be solved with laziness.
Name:
Anonymous2015-01-24 20:07
Luckily, Haskell does not occur in practical programming.
You appear to be advocating a new functional, "multi-paradigm" and completely incomprehensible programming language. Your language will not work. Here is why it will not work.
You appear to believe that that garbage collection is free, that programmers love writing lots of boilerplate and that "Spooky action at a distance" makes programming more fun.
Unfortunately, your language lacks semicolons, lacks significant whitespace, has macros, has goto, lacks exceptions, has closures, lacks coroutines, lacks reflection, has subtyping and has multiple inheritance.
The following philosophical objections apply: * Programmers should not need to understand category theory to write "Hello, World!" * The most significant program written in your language isn't even its own compiler * No language spec * The name of your language makes it impossible to find on Google.
Your implementation has the following flaws: * CPUs do not work that way * Compilers cannot work that way * Dangerous behavior is only a warning * You don't seem to understand basic optimization techniques * You don't seem to understand basic systems programming.
Additionally, your marketing has the following problems: * Unsupported claims of increased productivity * Unsupported claims of greater "ease of use" * Noone really believes that your language is faster than assembly * Rejection of orthodox programming-language theory without justification.
Taking the wider ecosystem into account, I would like to note that we already have an unsafe imperative language and you have reinvented PHP but worse.
In conclusion, I think this is a bad language, and you should feel bad for inventing it and programming in this language is an adequate punishment for inventing it.
>>11 Types of all terms have to be forced (strongly normalized) at typecheck time, that's the very point of type inference and typechecking. If you don't normalize 'em, then might as well skip typechecking altogether.
That's also the reason why in dependently typed languages you have to prove that all calculations at the type level terminate. That's why all the totality bullshit there.
>>12 Keep telling yourself that, keep enclosing yourself in that cozy box where your low-level shitlanguages aren't being ousted by Haskell all over the place.
>>18 haskell is a dead dog in the water 15 years from now and C is still being used by everybody of worth and lisp half of that everybody.
die nigger die
Name:
Anonymous2015-01-25 11:24
>>19 Keep telling yourself that. Keep trying to convince yourself that Haskell job offers aren't growing like mushrooms after rain, and that every second programming blog doesn't write about Haskell. Just keep praying Haskell and other high-level languages won't come and eat C's and C++'s cake.
Just keep praying Haskell and other high-level languages won't come
What is Python,Ruby, PHP,Java, node.js and .Net ? do you really think anyone would bother to learn Haskell when the above exist and have strong demand everywhere?
>>21 1. They do not eat C and C++ cake, so your examples are invalid. 2. They are extremely bad designed and a pain to use. 3. Lots of people bother to learn Haskell and once that number reaches the critical mass, BOOM baby, Haskell will replace most of that shit.