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"