add1 :: Int -> Int
add1 x = x + 1

int add1(int x) { return x + 1; }

data Member = Member String Int
  deriving (Show)

data Member = Member String Int

class Member {
	public String name;
	public int age;
	public Member(String name, int age) {
		this.name = name;
		this.age = age;
	}
}

data Member = Member
  { name :: String
  , age :: Int
  }

honoka :: Member
honoka = Member "honoka" 16

honoka :: Member
honoka = Member
  { name = "honoka"
  , age = 16
  }

main :: IO ()
main = do
  putStrLn ("name: " ++ name honoka)
  putStrLn ("age: " ++ show (age honoka))

-- vvv 出力 vvv
-- name: honoka
-- age: 16

honoka :: Member
honoka = Member
  { name = "honoka"
  , age = 16
  }

main :: IO ()
main = do
  prettyPrintMember honoka

prettyPrintMember :: Member -> IO ()
prettyPrintMember (Member herName herAge) = do
  putStrLn ("name: " ++ herName)
  putStrLn ("age: " ++ show herAge)

--                vvvvvvvv ここ vvvvvvvvv
prettyPrintMember (Member herName herAge) = ...

data Muse = Hanayo | Rin | Maki | Umi | Kotori | Honoka | Eli | Nico | Nozomi

data Muse = Hanayo | Rin | Maki | Umi | Kotori | Honoka | Eli | Nico | Nozomi
  deriving (Show)

main :: IO ()
main = do
  print Umi
  print Honoka
  print Kotori

-- vvv 出力 vvv
-- Umi
-- Honoka
-- Kotori

enum Muse { Hanayo, Rin, Maki, Umi, Kotori, Honoka, Eli, Nico, Nozomi }

public class Program {
	public static void main(String[] args) {
		Muse eli = Muse.Eli;
		System.out.println(eli);
	}
}

// vvv 出力 vvv
// Eli

helloTo :: Muse -> IO ()
helloTo Umi    = putStrLn "ｳﾐﾁｬﾝ♡"
helloTo Honoka = putStrLn "ﾎﾉｶﾁｬﾝ!"
helloTo Kotori = putStrLn "わたしだね"
helloTo x      = putStrLn ("おはようっ♪ > " ++ show x)

main :: IO ()
main = do
  helloTo Umi
  helloTo Honoka
  helloTo Kotori
  helloTo Hanayo
  helloTo Nico
  helloTo Nozomi

-- vvv 出力 vvv
-- ｳﾐﾁｬﾝ♡
-- ﾎﾉｶﾁｬﾝ!
-- わたしだね
-- おはようっ♪ > Hanayo
-- おはようっ♪ > Nico
-- おはようっ♪ > Nozomi

data Member        -- 具体型の名称
         = Member  -- 値構築子
              String Int

show ::
    a  -- 具体的でない（抽象的な）型の仮名称は頭文字が英字大文字でない
    -> String

data Muse = Hanayo  -- 代数的データ型の値
          | Rin | Maki | Umi | Kotori | Honoka | Eli | Nico | Nozomi

helloTo :: Muse -> IO ()
helloTo Umi  -- 仮引数部に値が書かれているので、パターンマッチが起こる
    = putStrLn "ｳﾐﾁｬﾝ♡"
helloTo x  -- 仮引数部に名前（変数、具体的な値でないもの）が書かれているので、パターンマッチでない束縛が起こる
    = putStrLn ("おはようっ♪ > " ++ show x)

data Student = OtonokiStudent String Int
             | UranohoshiStudent String Int Bool
  deriving (Show)

-- 直和型
data Student = OtonokiStudent { otonokiName :: String, otonokiAge :: Int }
             | UranohoshiStudent { uranohoshiName :: String, uranohoshiAge :: Int, likeMikan :: Bool }
  deriving (Show)

prettyPrintStudent :: Student -> IO ()
prettyPrintStudent (OtonokiStudent herName herAge) = do
  putStrLn "音ノ木坂学院生徒"
  putStrLn ("name: " ++ herName)
  putStrLn ("age: " ++ show herAge)
prettyPrintStudent (UranohoshiStudent herName herAge sheLikesMikan) = do
  putStrLn "浦の星女学院生徒"
  putStrLn ("name: " ++ herName)
  putStrLn ("age: " ++ show herAge)
  putStrLn ("みかんのこと好き？: " ++ show sheLikesMikan)

main :: IO ()
main = do
  let umi     = OtonokiStudent "園田海未" 16         --
      yoshiko = UranohoshiStudent "ヨハネ" 15 False  -- do式内のletブロックは、複数の名前を定義できるよ
  prettyPrintStudent umi
  prettyPrintStudent yoshiko

-- vvv 出力 vvv
-- 音ノ木坂学院生徒
-- name: 園田海未
-- age: 16
-- 浦の星女学院生徒
-- name: ヨハネ
-- age: 15
-- みかんのこと好き？: False

interface Student {}
class OtonokiStudent implements Student {
	public String name;
	public int age;
	public OtonokiStudent(String name, int age) {
		this.name = name;
		this.age = age;
	}
}
class UranohoshiStudent implements Student {
	public String name;
	public int age;
	public boolean likeMikan;
	public UranohoshiStudent(String name, int age, boolean likeMikan) {
		this.name = name;
		this.age = age;
		this.likeMikan = likeMikan;
	}
}

class StudentFunctions {
	public static void prettyPrintStudent(Student she) {
		if (she instanceof OtonokiStudent) {
			OtonokiStudent otonokiGirl = (OtonokiStudent)she;
			System.out.println("音ノ木坂学院生徒");
			System.out.println("name: " + otonokiGirl.name);
			System.out.println("age: " + otonokiGirl.age);
		} else if(she instanceof UranohoshiStudent) {
			UranohoshiStudent uranohoshiGirl = (UranohoshiStudent)she;
			System.out.println("浦の星女学院生徒");
			System.out.println("name: " + uranohoshiGirl.name);
			System.out.println("age: " + uranohoshiGirl.age);
			System.out.println("みかんのこと好き？: " + uranohoshiGirl.likeMikan);
		} else {
			throw new RuntimeException("undefined behavior is detected");
		}
	}
}

public class Program {
	public static void main(String[] args) {
		Student umi = new OtonokiStudent("園田海未", 16);
		Student yoshiko = new UranohoshiStudent("ヨハネ", 15, false);
		StudentFunctions.prettyPrintStudent(umi);
		StudentFunctions.prettyPrintStudent(yoshiko);
	}
}

// vvv 出力 vvv
// 音ノ木坂学院生徒
// name: 園田海未
// age: 16
// 浦の星女学院生徒
// name: ヨハネ
// age: 15
// みかんのこと好き？: false