t2ru

(defprotocol Monad
  (return [m v])
  (bind [m mv f]))

(defprotocol MonadPlus
  (mzero [m])
  (mplus [m mv mw]))


;; identity monad

t2ru

Functor

• fmap : (a -> b) -> m a -> m b
  • f : a -> b
  • mv : m a
  • fmap f mv : m b

Applicative Functor

t2ru

(ns testmonad.amonad-test
  (:use [clojure.test]
        [clojure.algo.monads]))

(defprotocol Either
  (either-call [obj on-left on-right]))
(defrecord Left [v]
  Either (either-call [obj on-left on-right] (on-left v)))
(defrecord Right [v]
  Either (either-call [obj on-left on-right] (on-right v)))

t2ru

(ns testmonad.core)


;;; Typeclass Protocols

(defprotocol Functor
  (fmap [mv f] "f : a -> b, mv : m a, fmap f mv : m b"))

(defprotocol Applicative
  (ap [mf mv] "mf : m (a -> b), mv : m a, ap mf mv : m b"))

t2ru

# 末尾に追加

latex_elements['preamble'] = r'''
\usepackage[export]{adjustbox}
\usepackage{letltxmacro}
\LetLtxMacro{\origincludegraphics}{\includegraphics}
\renewcommand*\includegraphics[2][max width=\textwidth,max height=\textheight,keepaspectratio]{%
\begin{figure}[htbp]
\origincludegraphics[#1]{#2}
\end{figure}

t2ru

---
- hosts:
    - servers
  vars:
    ansible_ssh_user: root
  tasks:
    - name: make sure local keys directory exists
      local_action: file path=./keys state=directory
    - name: check key pair exists
      local_action: command test -f keys/id_rsa

t2ru

(ns smm.core
  (:refer-clojure :exclude [==])
  (:use [clojure.core.logic])
  (:require [clojure.core.logic.fd :as fd]))

;;;   S E N D
;;; + M O R E
;;; ---------
;;; M O N E Y