Create a gist now

Instantly share code, notes, and snippets.

What would you like to do?
[RC Diary] Speed reading app, and then mind blank(-49)

[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