tokiwoousaka

　　　　　　　　　　 (´・_・`)
　　　　　　　　　　／,　　/ 
　　　　　　　　　(ぃ９　　|
　　　　　　　 　 /　　　 /、
　　　　　　　　 /　　　∧_二つ
　　　　　　 　 /　　　/
　　　　　　　 /　　　 ＼
　　　　　　　/　 /~＼　＼
　　　　　　 /　 /　　　>　 ）
　　　　　／　ノ　 　 /　／

tokiwoousaka

　＊　 　 　 +　　 　 巛 ヽ
　　　　　　　　　　　　〒　!　　　+　　　　。　　　　　+　　　　。　　　　　＊　 　　　。
　　 　 　 +　　 　 。　 | 　|
　 　 ＊　 　 　 +　　 /　/　　　イヤッッホォォォオオォオウ！
　　　　　　        /　/
　　　　　　(´・_・`/　/　+　　　　。　　　　　+　　　　。　　　＊　 　　　。
　　　　　　,-　　　　　ｆ
　　　　　 / ｭﾍ　　　　| ＊　 　　　+　　　　。　　　　　+　　　。　+
　　　　　〈＿｝ ）　　　|
　　　　　　　 /　　　　! +　　　　。　　　　　+　　　　+　　　　　＊

tokiwoousaka

　　　　　　 　　 　　　/ ）
　　　　　　　 　　　 ./ /
　　　　　　　　　　 / /
　　　　　　 　　　 / /
　　　　　　　　　./ /    　　　　　, -つ
　　　　　　　 　/ /・_・`)　　　／__ノ
　　　　　　　　/　　　　＼　／ /
　　　　　　　 .|　　　　へ／ ／
　　　　　　　 |　　　　ﾚ'　 /､二つ
　　　　　　　 |　　　　　／

tokiwoousaka

public class Main {

	private static void procces(boolean success, String procName){
		if(success){
			System.out.println("処理 " + procName + " 成功");
			throw new RuntimeException();
		}
		System.out.println("処理 " + procName + " 失敗。。。");
	}
	

tokiwoousaka

module Main where
import Control.Monad
import Control.Monad.Trans

-- Try
data Try a b = Success a | Failed b deriving Show
instance Monad (Try a) where
  return x = Failed x
  m >>= k = case m of
    Success x -> Success x

tokiwoousaka

module Main where 
import Control.Monad 
import Data.List 
 
step :: Int 
step = 5 
 
clusterCount :: Int -> Int 
clusterCount n = n * (n + 1) `div` 2 
 

tokiwoousaka

module Main where
import Data.Maybe
import Data.Monoid
import Control.Applicative
import Control.Monad.State
import Control.Lens
import Text.Trifecta

main :: IO ()
main = do

tokiwoousaka

import Control.Applicative

data A
data B
data C
data D

data X

f :: A -> B -> C

tokiwoousaka

{-# LANGUAGE DeriveFunctor #-}
module Main where
import Control.Applicative
import Test.QuickCheck
import Data.Maybe (fromJust)

class Functor w => Comonad w where
  extract :: w a -> a
  duplicate :: w a -> w (w a)
  extend :: (w a -> b) -> w a -> w b

tokiwoousaka

{-# LANGUAGE DeriveFunctor #-}
module Main where
import Test.QuickCheck
import Prelude (($), (.), id)
import Prelude (Integer, Bool)
import Prelude (IO(..), putStrLn)
import Prelude (Show(..), Read(..), Eq(..))
import Prelude (Functor(..), Monad(..))
import Control.Monad
import Control.Applicative