Attention: the list was moved to
https://github.com/dypsilon/frontend-dev-bookmarks
This page is not maintained anymore, please update your bookmarks.
Attention: the list was moved to
https://github.com/dypsilon/frontend-dev-bookmarks
This page is not maintained anymore, please update your bookmarks.
# Install a local copy of Hoogle (OS X, HP) | |
# Download | |
cd | |
cabal unpack hoogle | |
cd hoogle-4.2.26/ | |
# Build | |
cabal sandbox init | |
cabal install -j --dependencies-only |
total | |
threeAintEven : Even 3 -> _|_ | |
threeAintEven (evenS e) with (e) | |
| (evenS _) impossible | |
| (evenZ) impossible | |
threeAintEven evenZ impossible |
The imports for building the various field-oriented optics are pretty minimal. It's not
until you make a Getter or a Fold that you need to look outside of base
.
This cookbook only covers the field oriented optics and not the constructor oriented ones.
If you want to build a Prism or an Iso without a lens dependency, you should
copy the definition of lens' prism
and iso
combinators and add a profunctors dependency
to your project. Those two combinators are quite self-contained.
http://www.jerf.org/iri/post/2908 | |
http://mwotton.github.com/hs_gbu/ | |
http://reddit.com/r/haskell/comments/y6i7d/do_we_have_real_world_examples_of_where_static/ | |
http://reddit.com/r/haskell/comments/12e3a0/the_good_the_bad_and_the_ugly_haskell_in/ | |
http://blog.codersbase.com/2010/09/composability-laziness-testing-and.html | |
https://www.fpcomplete.com/user/imalsogreg/functional-programming-elevator-pitch | |
http://evincarofautumn.blogspot.com/2012/07/so-i-write-compilers-for-living-now.html | |
http://www.reddit.com/r/haskell/comments/2gz7s1/please_point_me_at_an_eloquent_paper_or_post_on/ |
{-# LANGUAGE RankNTypes #-} | |
newtype State s a = State { runState :: forall r. s -> (a -> s -> r) -> r } | |
stateReturn :: a -> State s a | |
stateReturn = undefined | |
stateMap :: (a -> b) -> State s a -> State s b | |
stateMap = undefined |
{-# LANGUAGE RankNTypes #-} | |
newtype State s a = State { runState :: forall r. s -> (a -> s -> r) -> r } | |
stateReturn :: a -> State s a | |
stateReturn a = State $ \s k -> k a s | |
stateMap :: (a -> b) -> State s a -> State s b | |
stateMap f (State sa) = State $ \s kb -> sa s (kb . f) |
(ns parser) | |
(defn read-char [rdr] | |
(let [ch (.read rdr)] | |
(if-not (== -1 ch) (char ch)))) | |
(def expr-tags | |
{:if #(str "if tag args: " (clojure.string/join ", " %1))}) | |
(defn expr-tag [{:keys [tag-name args] :as tag} rdr] |
Various blog posts related to Nix and NixOS
configuration.nix
example.diff --git a/apps/flake/src/flake_harness.erl b/apps/flake/src/flake_harness.erl | |
index 0657f03..6980cb3 100644 | |
--- a/apps/flake/src/flake_harness.erl | |
+++ b/apps/flake/src/flake_harness.erl | |
@@ -18,33 +18,35 @@ | |
-author ('Dietrich Featherston <[email protected]>'). | |
-export ([ | |
- generate/1, | |
- generate/2, |