Terminal-Based Applications
It's pretty amazing what you can do in a terminal: Why? To get a foot-in-the door, because the market is still developing: Today's revolution: 18:58 Interesting chat about vector spaces and anihilators today. What caught my eye was the quote "vectors can be thought of as linear maps from scalars to vectors, ... then in the dual space, dual vectors are linear maps from vectors to scalars". Yesterday I was talking about how lambda calculus represents everything by a function of some type. If you start with linear maps (a type of function) then a vector is a kind of fixpoint isn't it? See Daniel Tubbenhauer on An Unknotter and Curt Jaimungal Interviewing Renato Renner , in particular the talk by Simon Peyton Jones on impredicativity in System-F and Hindley-Milner type inference in this post of mine . Why Java? Subscribe to Robert Elder Software . You can do things like this in JavaScript too, if you like. Yo...