Near Future of Programming Languages [pdf]

Interestingly Scala has come from Academia, Industry, and Hobbyists. And for me it's already the next great programming language. Yeah, it has some warts and is hard to learn but that's true of all great things. :)

Re: Near Future of Programming Languages [pdf]

#5

Post by telotortium » Mon, Oct 30, 2017, 2:31 AM UTC

Is there a talk for these slides? I haven't been able to find it.

Re: Near Future of Programming Languages [pdf]

#6

Post by [deleted] » Mon, Oct 30, 2017, 2:32 AM UTC

jlward4th wrote: post #4

"Where will the next great programming language come from?" Interestingly Scala has come from Academia, Industry, and Hobbyists. And for me it's already the next great programming language. Yeah, it has some warts and is hard to learn but that's true of all great things. :)

[deleted]

Re: Near Future of Programming Languages [pdf]

#7

Post by drefanzor » Mon, Oct 30, 2017, 2:40 AM UTC

TLDR The future of programming languages should involve not naming your language "Coq". I know I am going through the lowest common denominator, but how do you explain to your boss that you're proficient with using Coq. Ugh. Or professor, since apparently it's a proofing language for academia.

Re: Near Future of Programming Languages [pdf]

#8

Post by davemp » Mon, Oct 30, 2017, 2:43 AM UTC

drefanzor wrote: post #7

TLDR The future of programming languages should involve not naming your language "Coq". I know I am going through the lowest common denominator, but how do you explain to your boss that you're proficient with using Coq. Ugh. Or professor, since apparently it's a proofing language for academia.

It gets really bad when you're using "Hoare Logic" in "Coq"

Re: Near Future of Programming Languages [pdf]

#9

Post by tdb7893 » Mon, Oct 30, 2017, 2:46 AM UTC

drefanzor wrote: post #7

TLDR The future of programming languages should involve not naming your language "Coq". I know I am going through the lowest common denominator, but how do you explain to your boss that you're proficient with using Coq. Ugh. Or professor, since apparently it's a proofing language for academia.

I would just pronounce it like "coke" and it would just sidestep the whole pronunciation issue. I'm not sure how most people pronounce it but that's what I would do to talk to my boss about it.

Re: Near Future of Programming Languages [pdf]

#10

Post by thomasfoster96 » Mon, Oct 30, 2017, 2:49 AM UTC

drefanzor wrote: post #7

TLDR The future of programming languages should involve not naming your language "Coq". I know I am going through the lowest common denominator, but how do you explain to your boss that you're proficient with using Coq. Ugh. Or professor, since apparently it's a proofing language for academia.

Wait, it isn’t pronounced ‘cog’?