drboolean
mostly-adequate-guide (old)

Updated a year ago

Vinicius Vinhas (@vvinhas) started discussion #199

2 years ago · 0 comments

Open

You might think, well that's just common sense. But last I checked, computers don't have common sense. Indeed, they must have a formal way to automate these kind of code optimizations. Maths has a way of formalizing the intuitive, which is helpful amidst the rigid terrain of computer logic.

Chapter 7: Hindley-Milner and Me (Edit this file)

"You might think, well that's just common sense. But last I checked, computers don't have common sense" Nice pun :)

No description provided.

No comments on this discussion.


to join this conversation on GitBook. Already have an account? Sign in to comment
Notifications

You’re not receiving notifications from this thread.


1 participant