totem3

{-# LANGUAGE NoImplicitPrelude, MultiParamTypeClasses, Rank2Types, TypeOperators #-}

newtype Id a =
  Id a

data a :\/ b =
  Left a
  | Right b

data a :/\ b =

totem3

(use 'clojure.core.logic)

(defne append [x y z]
  ([() a a])
  ([[a . b] _ [a . c]]
     (append b y c)))

totem3

継続開発のススメ 2011

更新:	2013-02-06
バージョン:	1.0.1
作者:	@voluntas
URL:	http://voluntas.github.com/

変更履歴

totem3

{-# LANGUAGE GADTs #-}

module Main where

import Control.Monad
import Control.Monad.RWS.Strict
import Control.Monad.Trans.Error
import Control.Monad.Operational.Simple
import Prelude hiding (putChar, getChar)
import qualified System.IO as IO

totem3

UserId などの型はどうするべきか

1. primitive 型をそのまま使う

case class Person(id: Long, name: String, organizationId: Long)
object Person {

  def groupByOrg: Map[Long, Seq[Person]] = ...