Phantom types with Flow
Adapted from “Phantom type†Haskell Wiki A phantom type is a parametrised type whose parameters do not all appear on the right-hand side of its definition, e.g class Data<M> { value: string; constructor(value: string) { this.value = value } }Here Data is a phantom type, because the M parameter doesn’t appear in its implementation. Why? An example: validating user inputSay you have a use(input: str
Haskell ライブラリã«ã‚¹ã‚¿ãƒ¼ã‚’é€ã‚‹ãƒ„ール thank-you-stars を作ã£ã¦ã¿ã¾ã—㟠- ãƒã‚§ã‚·ãƒ£çŒ«ã®æ¶ˆæ»…定ç†
Haskell ã® GitHub レãƒã‚¸ãƒˆãƒªã‚’眺ã‚ã¦ã¿ã‚‹ã¨ã€æœ‰åライブラリã§ã‚ã£ã¦ã‚‚スター数ãŒæ„外ã¨å°‘ãªã„ã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ã‹ã® Yesod ã§ã™ã‚‰æœ¬è¨˜äº‹åŸ·ç†æ™‚点㧠1,794 個ã§ã‚ã‚Šã€Rails ã® 36,933 個や Django ã® 28,165 個ã¨æ¯”較ã™ã‚‹ã¨æ–‡å—通りæ¡é•ã„ã§ã™ã€‚ スター数ã¯å¿…ãšã—ã‚‚ OSS ã¨ã—ã¦ã®è©•ä¾¡ã‚„価値をåæ˜ ã—ã¾ã›ã‚“ã—ã€ãã‚‚ãã‚‚ Haskell ユーザã®çµ¶å¯¾æ•°ãŒå°‘ãªã„ã‹ã‚‰ã¨è¨€ã£ã¦ã—ã¾ãˆã°ãã‚Œã¾ã§ãªã®ã§ã™ãŒã€è‹¥å¹²å¯‚ã—ã„æ„Ÿã˜ãŒã—ã¾ã›ã‚“？ 一方ã€å…ˆæ—¥ id:teppeis ã•ã‚“㌠ä¾å˜ã—ã¦ã„るライブラリã«ã‚¹ã‚¿ãƒ¼ã‚’é€ã‚‹ npm ツール を公開ã•ã‚Œã¦ã„ã¾ã—ãŸã€‚ãã“ã§çœŸä¼¼ã—ã¦ä½œã£ã¦ã¿ãŸ Haskell 版ãŒä»¥ä¸‹ã§ã™ã€‚ github.com セットアップ後ã€è‡ªåˆ†ã® Cabal / Stack プãƒã‚¸ã‚§ã‚¯ãƒˆã®ãƒ«ãƒ¼ãƒˆãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªã§å®Ÿè¡Œã™ã‚‹ã ã‘㧠OK。package.caba
Generative Testing in JavaScript
IntroductionGenerative testing is a widespread approach in the functional world, mainly due to the popularity of Haskell’s QuickCheck and Clojure’s QuickCheck implementation test.check. Traditional unit tests enable us to verify assumptions for a given function. This approach, also known as example based testing, is based on manually defined inputs and expected outputs. In other words a developer
The JavaScript Problem - HaskellWiki
The problem The JavaScript problem is two-fold and can be described thus: JavaScript, the language. JavaScript, the language, has some issues that make working with it inconvenient and make developing software harder : lack of module system (only pre-ES6), weak-typing, verbose function syntax1 (pre-ES6), late binding2, which has led to the creation of various static analysis tools to alleviate thi
エラー処ç†ã®æŠ½è±¡åŒ–
エラー処ç†ã®æŠ½è±¡åŒ–ç”°ä¸è‹±è¡Œ <tanaka.hideyuki@gmail.com> 2012/06/26 @LOG.debug("nice catch!") 自己紹介田ä¸è‹±è¡Œ http://tanakh.jpTwitter: @tanakhGithub: https://github.com/tanakh Preferred Infrastracture 勤務ã®ãƒ—ãƒã‚°ãƒ©ãƒžHaskellã¨ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ã¤ã„ã¦ã‚ã‚Œã“れ考ãˆã‚‹ã®ãŒå¥½ãHaskell入門書 ã™ã”ã„HaskellãŸã®ã—ãå¦ã¼ã†! Learn You a Haskell for Great Good! ã®å’Œè¨³ java-ja …ï¼ï¼Ÿã¨ã‚“ã§ã‚‚ãªã„ã¨ã“ã‚ã«æ¥ã¦ã—ã¾ã£ãŸãž (((´･_ï½¥`))) ﾌﾞﾙﾌﾞﾙ 本日ã®ãŠè©±ãªãœã€ã‚¨ãƒ©ãƒ¼å‡¦ç†ã¯é‡è¦ãªã®ã‹ï¼Ÿãªãœã€ã‚¨ãƒ©ãƒ¼å‡¦ç†ã®æŠ½è±¡åŒ–ã¯é‡è¦ãªã®ã‹ï¼Ÿãªãœã€ã‚¨ãƒ©ãƒ¼å‡¦ç†ã®æŠ½è±¡åŒ–ã¯è¡Œã‚ã‚Œã¦æ¥ãªã‹ã£ãŸã®ã‹ï¼Ÿ
Java ã®èªžå½™ã§ Maybe を説明ã—ã¦ã¿ã‚‹ - ãã‚‹ãる～
java-jaã§ä¾‹å¤–処ç†ã®è©±ã‚’ã—ã¦ãã¾ã—㟠- 西尾泰和ã®ã¯ã¦ãªãƒ€ã‚¤ã‚¢ãƒªãƒ¼ ã‚’èªã‚“ã§ã€‚ Maybe ã¯å€¤ãŒã‚ã‚‹ã‹ãªã„ã‹ã‚’åž‹ã§è¡¨ã™ã“ã¨ãŒã§ãã¾ã™ï¼ãã†ã€ç›´å’Œåž‹ãªã‚“ã§ã™ï¼ã¨ã‹è¨€ã‚ã‚Œã¦ã‚‚イミフã ã¨æ€ã†ã®ã§ã™(リンク先ã®ã‚¨ãƒ³ãƒˆãƒªãŒãã†èª¬æ˜Žã—ã¦ã‚‹ã‚ã‘ã§ã¯ãªã„ã§ã™ãŒ)。 Java ã®èªžå½™ã§ Maybe ã®èª¬æ˜Žã‚’ã§ããŸã‚‰å¬‰ã—ã„人もã„ã‚‹ã‚“ã˜ã‚ƒãªã„ã‹ãªãã€ã¨ã‹ãªã‚“ã¨ã‹ã€‚ ãŸã ã—ã€æ›¸ã„ã¦ãŸã‚‰çµæ§‹é•·ããªã‚Šã¾ã—ãŸã€‚時間ãŒã‚る人ã¯ã©ã†ãžã€‚ Maybe？ null より安全ã«ã€Œå€¤ãŒãªã„ã“ã¨ã€ãŒæ‰±ãˆã‚‹ã‚‚ã®ã よ スタート地点ã¨ã—ã¦ã¯ã“ã‚Œã§ã„ã„ã§ã—ょã†ã€‚ 以é™ã§ã€ã€Œãªã‚“ã§å®‰å…¨ãªã®ï¼Ÿã€ã¨ã„ã†å…¨ã†ãªç–‘å•ã«ç”ãˆã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ å•é¡Œç‚¹ int ã§èª¬æ˜Žã™ã‚‹ã¨ç…™ã«å·»ã„ã¦ã—ã¾ã†ã‚ˆã†ãªæ°—ãŒã—ãŸã®ã§ã€User クラスを見ã¦ã¿ã¾ã™ã€‚ import java.util.*; class User { final String name;
Macchiato - QDD test framwork for JavaScript
CAUTION This project is under development now. Sorry to keep you waiting. Please see GitHub Milestones What's "Macchiato.js" ? Inspired by QuickCheck Macchiato is a testing framework for JavaScript, inspired by QuickCheck, a similar library for Haskell programs. QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
ãƒã‚§ã‚·ãƒ£çŒ« on Twitter: "本日ã®é€²æ—ã§ã™ã€‚Haskell ã®ä¾å˜ãƒ©ã‚¤ãƒ–ラリをèªã¿è¾¼ã‚“㧠GitHub ã«ã‚¹ã‚¿ãƒ¼ã‚’付ã‘るツールを作りã¾ã—ãŸã€‚@teppeis ã•ã‚“作æˆã® JS 版をå‚考ã«ã•ã›ã¦é ‚ãã¾ã—ãŸã€‚ #hasmoku https://t.co/4GnASHaJQv"
{{#tags}}- {{label}}
{{/tags}}