ã•ã‚‰ãªã‚‹åž‹å®‰å…¨æ€§ã‚’求ã‚㦠~ Refinement Typeã‚’Scalaã§å®Ÿç¾ã™ã‚‹ ~SoRã®æ€§è³ªãŒå¼·ã„BtoBアプリケーションã§ã¯ã€ã€Œå …ãã€ä½œã‚‹ã“ã¨ã‚’求ã‚られる箇所ãŒã—ã°ã—ã°ã‚ã‚Šã¾ã™ã€‚ Scalaã®åž‹å®‰å…¨æ€§ãŒé ¼ã‚‚ã—ãæ„Ÿã˜ã‚‰ã‚Œã‚‹ã®ã¯ã€ã¾ã•ã«ã“ã®ã‚ˆã†ãªç®‡æ‰€ã«ãŠã„ã¦ã§ã™ã€‚ ã€Œå …ãã€ä½œã‚‹ãŸã‚ã«ã€ç§ãŸã¡ãŒã„ã¾æ³¨ç›®ã—ã¦ã„ã‚‹ã®ãŒ refined 㨠newtype ã¨ã„ã†ãƒ©ã‚¤ãƒ–ラリã§ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯ã€refinedã¨newtypeを使ã£ã¦Scalaã®åž‹å®‰å…¨æ€§ã‚’ã•ã‚‰ã«å¼•ã出ã™ãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ã‚’紹介ã—ã¾ã™ã€‚ Value Class / Tagged Type refined + newtypeã®è©±é¡Œã«å…¥ã‚‹å‰ã«ã€ã“ã‚Œã¾ã§ã«ã©ã®ã‚ˆã†ãªãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ãŒä½¿ã‚ã‚Œã¦ããŸã‹ã‚’ç°¡å˜ã«æŒ¯ã‚Šè¿”ã‚Šã¾ã—ょã†ã€‚ ã“ã“ã«ã€SNSã®ãƒ¦ãƒ¼ã‚¶ãƒ¼ã‚¢ã‚«ã‚¦ãƒ³ãƒˆã‚’表ç¾ã™ã‚‹ã‚¯ãƒ©ã‚¹ãŒã‚ã‚Šã¾ã™ã€‚ case class User(id: String, email: String, age: Int) val user1 = User("@tod
JOSE（JavaScriptオブジェクトã¸ã®ç½²åã¨æš—å·åŒ–）ã¯ã€çµ¶å¯¾ã«é¿ã‘ã‚‹ã¹ã悪ã„標準è¦æ ¼ã§ã‚ã‚‹ | POSTD
Haskellã®Web系ライブラリ紹介 - iLog
Haskellライブラリ所感2016 - syocy’s diary
{{#tags}}- {{label}}
{{/tags}}