tag:blogger.com,1999:blog-4650294074444534066.post1711961589136854855..comments2024-03-13T03:49:34.330-07:00Comments on Typed Logic: Yeah, but how do I do that?geophfhttp://www.blogger.com/profile/09936874508556500234noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4650294074444534066.post-44850223893909975912015-08-17T00:06:35.303-07:002015-08-17T00:06:35.303-07:00Very inspiring! I do not code for a living, but I ...Very inspiring! I do not code for a living, but I code for fun and to augment my current job's tasks. I have had to use certain languages due to a certain work place, but I have my loves: J (APL), PicoLisp, Retro and some others. I do it, as you wrote so passionately, to accomplish something that is truly my own, to hell with other considerations. Right now I have chosen Elixir over Haskell, not just for the distributed systems programming, but because it sang to me. Perhaps if I were more schooled in functional programming and types, it would be the other way around, although distributed systems are cool. Thanks for such joyful reading!Anonymoushttps://www.blogger.com/profile/00016897275962739002noreply@blogger.comtag:blogger.com,1999:blog-4650294074444534066.post-85715635717765477732015-08-13T23:21:01.307-07:002015-08-13T23:21:01.307-07:00Thank you for posting this. I was scouring your si...Thank you for posting this. I was scouring your site trying to find a "Getting Started" post.<br />I've been developing software in the "real world" for 4 years now and you've given me the inspiration that I didn't even realize I needed.valbacahttps://www.blogger.com/profile/04779482295180046018noreply@blogger.com