mapping object language integers to Haskell integers, and object language nega-tion to Haskell negation
Code version of the 'mapping' referred to above. Need to gain more intuition ...
28 Matching Annotations
- Mar 2022
-
okmij.org okmij.org
-
-
solve the so-called expression problem
Interesting tangent: https://en.wikipedia.org/wiki/Expression_problem
Per Wikipedia, typeclasses are a solution to this. So this is one angle to look at typeclasses from?
-
- Nov 2020
-
www.actualfreedom.com.au www.actualfreedom.com.au
-
this very moment which is happening now is your only moment of being alive
How much do I realize this really?
-
- Dec 2017
-
www.vacationlabs.com www.vacationlabs.com
-
Logging
Saurabh - I know this section is yet to be written, but is there a logging library you would recommend for beginners?
-
-
www.vacationlabs.com www.vacationlabs.com
-
stack install
According to their latest README this only works on GHC 8.2.2 (not 8.2.1, 8.0.2). Which GHC version does this book recommend/ assume at the moment?
-
we recommend simply using the same LTS because it is simpler and is guaranteed to work
What are the instructions on ensuring this?
-
--resolver=lts-9.14
Why use a specific resolver, and not the default?
-
-
www.vacationlabs.com www.vacationlabs.com
-
Pagination
Interesting exercise. Would be nice if there was a test case to thoroughly test the solution. Or is it outside the scope?
-
-
www.vacationlabs.com www.vacationlabs.com
-
companName
typo
-
Note
Would a side note about Hoogle be useful here?
-
Tip
Rename Tip -> Learning goal ?
-
pattern-matching
Normally we don't put a hyphen in here.
-
type-polymorphism
Why 'type polymorphism' as opposed to just 'polymorphism'?
-
-
www.vacationlabs.com www.vacationlabs.com
-
a real term
The real term is 'tail recursion', no?
-
insert indentation rules here
Need to talk about auto-formatting/ auto-indentation by VSCode and Spacemacs.
-
read
read about?
-
-
www.vacationlabs.com www.vacationlabs.com
-
In later chapters we go back to the problems of earlier chapters and try solving them with the new techniques just introduced.
Ah, interesting. This should be fun! :-)
-
Btw, this is done brilliantly by SICP, but unforunately, it uses Scheme, which is not typed and is mutable.
This may be unsolicited feedback, but I enjoy rewriting sentences some times :-) I'd write it as: SICP does this brilliantly, however it uses Scheme which is dynamically typed and mutable
-
,
Remove the comma
-
Tweet
Saurabh - you mean we can publish links to this book publicly? I thought you wanted to keep this link secret to withhold public criticism for a while?
-
existing blog posts
Their content might need to be cached in case of linkrot.
-
How is this different?
There are 4 distinct observations in this section. For easy reading they should be bulleted from 1 to 4.
-
design of Haskell programs
An example of this, perhaps somewhere further inside the book, (with a reference to it in the preface here) would be appreciated.
-
launching into a tangent
The idiom you are looking for is going on a tangent
-
Another observation
I don't particular understand this sentence. Research-y ideas - I get, but how does this apply to gotchas and pitfalls?
-
common tasks
An example here (briefly mentioned within parentheses) would be useful.
-
it was too verbose
I totally agree as well. Even trying to skim it got to the point of being annoying. With Julie being the coauthor I figured they wrote the book for absolute beginners and not established programmers.
-
- Jul 2017
-
actualfreedom.com.au actualfreedom.com.au
-
the qualities pertaining to the properties of the form
Testing public annotations (from iOS Safari browser)
-