Dependent Types for F#

3    08 Dec 2017 18:57 by u/TheBuddha

6 comments

0

Funny, I started with F#. I always liked it but then I realized that if I wrote F# at my company no one else would be able to fix bugs in it. So I stayed in C#.

0

That's what you started with? For some reason, I thought you were older.

0

No I started with Z80 Assembler in the 80's before the ZX80 came out.

0

Ah - you're probably in your 40s, then.

I'll see what I can find to add for you grumpy curmudgeons today. ;-)

0

Be careful, I could be 50 even 60. The knowledge curve in the computer field is almost flat before the 1980's.

0

You could, but most people in that age wouldn't be programming anymore - they'd be managers or project leads. I'm gonna peg my guess at 43.

You don't have to tell me if I'm right, of course. However, I'm dumping some content that might be right up your alley. Hard CompSci stuff, good theoretical stuff, stuff that makes you go, "Huh?" Ideally, someone will read it and learn something. I just read abstracts, for some of them, and then skim them to give them a quick sanity check. I'm a maths geek, not a CompSci person.