Skip to content

Instantly share code, notes, and snippets.

@lazywithclass

lazywithclass/blog-post.md

Last active April 12, 2017 14:09
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lazywithclass/4fb43122337f845a9c58dc5bebc0f0b7 to your computer and use it in GitHub Desktop.
Save lazywithclass/4fb43122337f845a9c58dc5bebc0f0b7 to your computer and use it in GitHub Desktop.
Download ZIP
[RC Diary] Speed reading app, and then mind blank(-49)
Raw
blog-post.md

[RC Diary] Speed reading app, and then mind blank(-49)

I find working with types extremely enjoyable. I especially treasure those moments when your code type checks and you just refresh the UI and everything works as intended. I just love it.

I decided I am going to rush a bit more into The Little Schemer, so that I could allow more time to learning Idris. I think that everything I am reading / experiencing in these months points towards the fact that I would love to work in an environment where my logic is in the types, so whenever my code type checks I'm almost completely sure it works.

The drawback of this is that it really drains my brain, I've spent the past couple hours staring at the screen, doing minor tasks here and there. I'm really exhausted and I'm not going anywhere until I take a break, so I'm about to do exactly that.

Also tomorrow I have two interviews. And an evening meetup event with one of the authors of The Reasoned Schemer.

[...]

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment