A collection of bookmarks covering the topics of
- functional programming with haskell
- type theory
- category theory
- formal verification
- interesting stuff for haskellers
Caveat: It's just personal opinion, and was written to be a bit provocative and encourage discussion . It is also something that is constantly evolving. Some of the main criteria I used in constructing this taxonomy are age, how widely used it us, and how well understood it is by the average Haskell programmer. These things will change over time.
Aso, this is focused on appropriateness for use in commercial production code bases. If you are not thinking about commercial use with a team of multiple
Last login: Tue Sep 1 20:19:10 2015 | |
FreeBSD 10.1-RELEASE (GENERIC) #0 r274401: Tue Nov 11 21:02:49 UTC 2014 | |
Welcome to FreeBSD! | |
Release Notes, Errata: https://www.FreeBSD.org/releases/ | |
Security Advisories: https://www.FreeBSD.org/security/ | |
FreeBSD Handbook: https://www.FreeBSD.org/handbook/ | |
FreeBSD FAQ: https://www.FreeBSD.org/faq/ | |
Questions List: https://lists.FreeBSD.org/mailman/listinfo/freebsd-questions/ |
#!/bin/sh | |
if test -f .merlin; then | |
echo ".merlin already exists, bailing out ..." >&2 | |
exit 1 | |
else | |
# You could add your default EXT's and such to this list: |
(by @andrestaltz)
If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.
(ns om-data.core | |
(:require [om.core :as om :include-macros true] | |
[om.dom :as dom :include-macros true] | |
[datascript :as d])) | |
(enable-console-print!) | |
(def schema {}) | |
(def conn (d/create-conn schema)) | |
/** | |
* More info? | |
* [email protected] | |
* http://aspyct.org | |
* | |
* Hope it helps :) | |
*/ | |
#include <stdio.h> | |
#include <stdlib.h> |