Party Vibe

Register

Welcome To

Computer Science ∩ Mathematics (Type Theory) – Computerphile

Forums Life Computers, Gadgets & Technology Computer Science ∩ Mathematics (Type Theory) – Computerphile

  • This topic is empty.
Viewing 2 posts - 1 through 2 (of 2 total)
  • Author
    Posts
  • I understand about 2% of what the Professor is saying (it does make some sense) but I have forgotten most of what I learned about sets in maths as that was 30 years ago, and barely understand object oriented programming either (by the time that was invented I’d dropped out of uni and was way more interested in partying), let alone this “new” functional programming stuff (which might not be that new as I see it mentioned alongside Lisp etc and that was around in 1950/60s)

    TBH I’m glad I don’t have to be in education these days, there seems to be too much to learn all at once especially for anyone who would want to get started with programming – or maybe thats only if you want to go up to Unversity.

    Thankfully the “1980s way” of getting access to a suitable system to experiment on and “JFDI” still works and you can learn something (and at least today its possible to own more than one computer or use virtual machines so if you do screw up badly you don’t trash anything crucial..)

0

Voices

0

Replies

Tags

This topic has no tags

Viewing 2 posts - 1 through 2 (of 2 total)
  • You must be logged in to reply to this topic.

Forums Life Computers, Gadgets & Technology Computer Science ∩ Mathematics (Type Theory) – Computerphile