Skip to content

Instantly share code, notes, and snippets.

View totem3's full-sized avatar

Takafumi Hirata totem3

36 followers · 143 following
View GitHub Profile
@totem3
totem3 / file.md
Last active August 29, 2015 14:26 — forked from gakuzzzz/file.md
UserId など値型はどうするべきか

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

1. primitive 型をそのまま使う

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

  def groupByOrg: Map[Long, Seq[Person]] = ...
@totem3
totem3 / gist:41dd35f71a3189b5c787
Last active August 29, 2015 14:14 — forked from kazu-yamamoto/gist:5882488
{-# 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
totem3 / dev_2011.rst
Created January 5, 2014 20:30 — forked from voluntas/dev_2011.rst
@totem3
totem3 / append1.clj
Created December 2, 2012 00:23 — forked from halcat0x15a/append1.clj
(use 'clojure.core.logic)
(defne append [x y z]
([() a a])
([[a . b] _ [a . c]]
(append b y c)))
@totem3
totem3 / TypeClass.hs
Created November 30, 2012 14:26 — forked from xuwei-k/TypeClass.hs
Type-class hierarchy
{-# LANGUAGE NoImplicitPrelude, MultiParamTypeClasses, Rank2Types, TypeOperators #-}
newtype Id a =
Id a
data a :\/ b =
Left a
| Right b
data a :/\ b =