I hope to someday have a programming environment that is equal parts Idris, Hypercard, and Racket.
Conversation
I'd love to work on this, trouble is I don't have the right education...
2
I suspect that nobody has the right education for this - no need for fear!
1
5
No what I mean is that I don't have an undergraduate degree :\
2
3
Big mood
1
1
So frustrating to email admissions people and get told not to bother applying :(
2
It's easier for many people to learn at universities, but much can also be learned outside them.
1
1
I've had great success at that, in fact. Everywhere else wants to make some kind of short term commodity though, which isnt conducive to serious thinking...
1
1
I don’t have an undergrad degree, but I’m slowly getting my head around this stuff. It is possible, and very rewarding! A bunch of people are learning on the Pikelet gitter channel too. If you’re ever interested, feel free to drop by! 🙂
Amazed that you don't have an undergraduate degree, . Did you drop out?
BTW, there's also ##dependent and ##type-theory on Freenode — and #idris, #agda, #coq and probably others of interest.
1
1
Show replies