who?

Spacebattles forum. We have a trope page on it iirc.

You'd be hard-pressed to find a Haskell programmer who understands its type system. It differs from traditional languages by requiring you to tediously subvert it to do basic shit that would require maybe two lines in any sane language.

I take it you're not a fan? Seems like it should be useful for formal verification type stuff.

Code Monkeys all up in.

Monkeys?

OK, maybe not the right term. Code pros?

IIRC NICTA did a formal verification of a really small kernel with it (the sel4). That's...about it, really. Haskell is one of those languages that's so convoluted and counterintuitive that you're more likely to have some ludicrously arcane bug in your verification code than you are in the stuff you're trying to verify with it, and you may never even notice because it's so awful at telling you when something is wrong.

edited 6th Jun '13 11:32:26 PM by Pykrete

Have you used Coq? How does it compare?

I haven't. Looking at some samples of it though, while it looks too close to Haskell to be completely comfortable for me, it at least looks considerably more intuitive and halfway readable — probably a result of actually being designed with a specific class of tasks in mind and tailoring its tools to doing that, instead of just making a language with typing and evaluation as spectacularly lazy as possible just for shiggles and then trying as hard as possible to shoehorn it into whatever they could.

Like, I can actually give a half-decent shot at reading this and having a decent idea what it does.

The way I understand it, Haskell wasn't built to actually do anything, but as a proof-of-concept of a collection of abstract language theories, and as such the language fundamentally isn't built to do useful things. Like, a bunch of dudes in Portland (because of course something as fucked up as Haskell could only have its genesis in Portland◊) decided to consolidate a bunch of functional languages and make a loose standard. It's kind of like Brainfuck in that its existence makes the point it was trying to make, but unlike it in that it people legitimately try to do things with it after that and then wonder why it doesn't take.

edited 7th Jun '13 12:40:03 AM by Pykrete

Stop, we're going into plaaaaaaaaaaaid

Awkward? Eeyup.

(Human)

They look young in that picture.

They actually dated in college, but decided they were Better as Friends.

Hey, he had to get his fancy maths from somewhere.

I just finished reading So Long, and Thanks For All the Ponies.

Brilliant, brilliant crossover. The guy has a flawless Douglas Adams voice.

edited 7th Jun '13 3:01:20 AM by Pykrete

Pinkie Pi

Mmm...Pi.

I like imagining Pinkie is actually kinda super-smart but her randomness makes her hard to understand.

A thousand s

Ahoy hoy btw.

ohai.

Pinkie will team up with Twilight and they'll create The Sparkle-Pie Equations.

Errand to run, but I can write tonight. Well, try to write.

By the way, has anyone else been checking out The Music of Ponyville, first in the Cadanceverse? I'm quite interested in seeing how it develops.

I've just finished Of Skies Long Forgotten so I'm planning on starting it today.

-slinks in-

Howdy everypony! Ah'm awake at last. What did ah miss?