Tokiwo Ousaka tokiwoousaka

tokiwoousaka / gist:8554260

Last active January 4, 2016 02:19

リストモナドのEff版的な

	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE ExistentialQuantification #-}
	module Main where

	newtype Eff a = Eff { runEff :: forall w. (a -> VE w) -> VE w }
	instance Monad Eff where
	--return :: a -> Eff a
	return x = Eff $ \k -> k x
	--(>>=) :: Eff a -> (a -> Eff b) -> Eff b
	m >>= f = let

tokiwoousaka / gist:7385207

Last active December 27, 2015 20:29

テーマ「型」

６さいカンファレンスのレジュメ的な何か

はいはい、どうも、ちゅーんさんですよ。

tokiwoousaka / gist:6885121

Last active December 25, 2015 00:09

	module Main where

	contents::[(String, Int)]
	contents =
	[ ("start", 1)
	, ("string", 11)
	, ("number", 15)
	]

	formatRec :: (Int, (String, Int)) -> String

tokiwoousaka / gist:6666757

Created September 23, 2013 05:30

(｡ŏ﹏ŏ)ふぇぇ…

	{-# LANGUAGE TypeSynonymInstances #-}
	module Main where

	class Hoge h where
	hoge :: h a -> String

	type Foo a = (a, a)
	instance Hoge Foo where -- => Type synonym `Foo' should have 1 argument, but has been given none
	hoge _ = "foooooo!"

tokiwoousaka / gist:6655082

Last active December 23, 2015 15:19

ちゅ〜りっぷ

tokiwoousaka / .vimrc

Created June 12, 2013 15:56

仕事先で使えるよう公開

tokiwoousaka / gist:5507329

Last active December 16, 2015 22:29

egisonではリストもmaybeも、matcherを適切に実装する事で、同じマッチ式でパターンマッチする事ができる。

tokiwoousaka / gist:5495959

Last active December 16, 2015 20:58

たけとんさんの書いたeitherで遊んでみた

tokiwoousaka / gist:5481512

Last active December 16, 2015 18:59

egisonを使ったMaybeのmatcher定義

tokiwoousaka / gist:5480615

Last active December 16, 2015 18:49

egisonのmatcherの定義。見様見真似で書いてみたけどどうしてこーなるのか解らんｗ