More Related Content
IoT experiment at Nijo-castle, Kyoto V-To World - What is V-To - Koinu Lina katayose pyladies3周年LT Viewers also liked (9)
20120519 inverse fizzbuzz を解いてみよう 恊働ロボットCOROの開発における形式的仕様の適用事例 More from kyon mm (20)
Scrum,Test,Metrics #sgt2016 Kaizen process with test #hackt ICST2015 GUI Testingの紹介 #SIGSTJ Sta introduction in_kyoto #devkan 出来るチューリング完全！SQLでもいろいろ出来る！ #syoboben #STAC2014 状態遷移を活用した自動テストのテスト戦略とデプロイメントパイプライン #STAC2014 システムテスト自動化ハンズオン テストファースト、自動テストを導入するという事について（@社内勉強会） Gradle 2.2, 2.3 news #jggug テストとリファクタリングに関する深い方法論 #wewlc_jp テストエンジニアの品格 #automatornight JenkinsとGitで実装するGatewayCheckIn Pattern #AsianAA GradleのREPLプラグイン紹介 #jggug いつでも聞けるTDD入門 #TDDBC_NAGOYA Test Retrospective #kyon_kao_wedding in Tokyo OCamlの多相Variant紹介 #fpstudy
- 44. type w_irof = [`Okayama_Irof
! ! ! ! ! ! ! |`Nara_Irof
! ! ! ! ! ! ! | irof1];;
- 53. type A = [Foo| Num of int];;
type B = [Bar | Num of int];;
- 54. let func = function
Num i -> i
| _ -> failwith "Not Number";;
![type irof1 = [`Osaka_irof of PG
|`Fukuoka_irof of PG];;](https://image.slidesharecdn.com/20120519lt-120519033213-phpapp02/85/OCaml-Variant-fpstudy-25-320.jpg)
![type irof2 = [`Tokyo_irof of PG];;](https://image.slidesharecdn.com/20120519lt-120519033213-phpapp02/85/OCaml-Variant-fpstudy-26-320.jpg)
![type w_irof = [`Okayama_Irof
! ! ! ! ! ! ! |`Nara_Irof
! ! ! ! ! ! ! | irof1];;](https://image.slidesharecdn.com/20120519lt-120519033213-phpapp02/85/OCaml-Variant-fpstudy-44-320.jpg)
![type A = [Foo| Num of int];;
type B = [Bar | Num of int];;](https://image.slidesharecdn.com/20120519lt-120519033213-phpapp02/85/OCaml-Variant-fpstudy-53-320.jpg)
