サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
theatrical
id:theatrical
●
37,968
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.net
(7)
●
2013
(1)
●
2014
(2)
●
2048
(11)
●
3d
(2)
●
3d-printer
(1)
●
404
(3)
●
8086
(1)
●
ATS
(2)
●
Algorithms
(26)
●
AngularJS2
(1)
●
ApplicativeFunctor
(1)
●
Bar
(1)
●
CURATOR
(1)
●
Chart
(1)
●
Coeur-de-pirate
(1)
●
DIY
(1)
●
DeepLearning
(1)
●
EMML
(1)
●
EMOML
(1)
●
ElasticSearch
(2)
●
EmotionML
(1)
●
FStart
(1)
●
Factor
(1)
●
FizzBuzz
(1)
●
FreeBSD
(1)
●
Google Spreadsheets
(1)
●
HoloLens
(1)
●
IPA
(1)
●
LinearAlgebra
(1)
●
Literature
(1)
●
Logo
(1)
●
MQ(1)
●
Maître-Gims
(3)
●
Profiler
(1)
●
RabbitMQ
(1)
●
Rank-NTypes
(2)
●
Spreadsheets
(1)
●
TOOL
(1)
●
TypeScript
(5)
●
Virus
(1)
●
VisualStudio
(2)
●
WebGL
(2)
●
a-b-test
(1)
●
a-video
(1)
●
aar
(1)
●
adnroid
(1)
●
adt
(1)
●
aes
(1)
●
agda
(3)
●
agile
(3)
●
ai(8)
●
airmail
(1)
●
ajax
(1)
●
ajhc
(1)
●
akka
(6)
●
alcohol
(3)
●
algbraice-graph-theory
(1)
●
algebra
(9)
●
algebraic-geometry
(1)
●
algorithm
(1)
●
algoritm
(1)
●
alloy
(2)
●
alstjs
(1)
●
altjs
(19)
●
amazing
(1)
●
amino
(1)
●
amir
(1)
●
analysis
(1)
●
android
(10)
●
android-amazing-app
(1)
●
android-app
(1)
●
android-devs
(2)
●
angularjs
(5)
●
animation
(3)
●
anki
(3)
●
apache-spark
(1)
●
api
(13)
●
api-design
(1)
●
app
(2)
●
app_iphone
(1)
●
apple
(1)
●
apps
(2)
●
arc
(2)
●
architecture
(5)
●
archive-file
(1)
●
arduino
(1)
●
arel
(1)
●
arm
(1)
●
array
(2)
●
array-like
(1)
●
artificial-brain
(1)
●
artificial-intelligence
(4)
●
assembler
(2)
●
assembly
(3)
●
ast
(1)
●
async
(11)
●
atletico
(1)
●
atom
(4)
●
atscript
(1)
●
atslang
(3)
●
audio
(1)
●
auth-proxy
(1)
●
author-inteview
(5)
●
awk
(1)
●
aws
(3)
●
azure
(2)
●
bash
(7)
●
bayes
(2)
●
bays
(1)
●
bazqux
(1)
●
bdd
(2)
●
beaf
(1)
●
beat-alanine
(1)
●
beef
(1)
●
belath-kit
(1)
●
benchmark
(2)
●
big-data
(3)
●
bigdata
(4)
●
bigquery
(1)
●
binary
(1)
●
bing
(1)
●
bio
(1)
●
bio-authnetication
(1)
●
bit
(1)
●
bitcoin
(2)
●
biztalk
(1)
●
blog
(1)
●
blues
(2)
●
bluestooth
(1)
●
body-maintanance
(2)
●
book
(18)
●
booklist
(3)
●
bookshelf
(8)
●
bootstrap
(3)
●
c#
(32)
●
c++
(21)
●
c++14
(2)
●
cabal
(5)
●
canvas
(4)
●
category-theory
(19)
●
cateory-theory
(2)
●
chelsea
(5)
●
cl(5)
●
clang
(3)
●
clojure
(53)
●
clojurescript
(10)
●
clos
(2)
●
cloud
(8)
●
code-reading
(5)
●
coffee
(4)
●
coffeescript
(2)
●
color
(3)
●
com
(2)
●
command-line
(4)
●
common-lisp
(13)
●
compare
(3)
●
compiler
(2)
●
computer-science
(11)
●
computer-vision
(4)
●
concurrency
(11)
●
continuation
(3)
●
cooking
(5)
●
coq
(14)
●
cpu
(2)
●
cryengine
(2)
●
css
(26)
●
css-preprocessor
(2)
●
d-lang
(2)
●
d3
(6)
●
dart
(9)
●
data
(11)
●
data-constructor
(3)
●
data-science
(7)
●
data-sicence
(4)
●
data-type
(2)
●
db(5)
●
debug
(2)
●
deep-learning
(8)
●
dependecy-type
(3)
●
design
(15)
●
dlang
(7)
●
docker
(5)
●
dom
(2)
●
domain-theory
(2)
●
dotnet
(16)
●
dsl
(4)
●
ebook
(6)
●
eclipse
(3)
●
editor-war
(6)
●
effel
(2)
●
elixir
(31)
●
elm
(4)
●
emacs
(9)
●
embeded
(3)
●
entropay
(2)
●
erlang
(20)
●
error-processing
(3)
●
event-driven
(2)
●
example
(5)
●
excel
(11)
●
f#
(35)
●
f*
(3)
●
face-detect
(2)
●
facebook
(2)
●
fay
(3)
●
ffi
(6)
●
finance
(11)
●
financial-programming
(5)
●
firefox-os
(2)
●
fitness
(7)
●
font
(6)
●
food
(4)
●
football
(5)
●
fp(2)
●
fpga
(4)
●
free-monad
(2)
●
free_book
(2)
●
french
(8)
●
french-videos
(2)
●
frp
(4)
●
fstar
(4)
●
functional
(20)
●
functional-reactive
(2)
●
game
(4)
●
game-engine
(3)
●
game-programming
(22)
●
gce
(2)
●
gem
(2)
●
generator
(3)
●
ghc
(11)
●
ghc-extension
(4)
●
ghci
(2)
●
ghcjs
(2)
●
git
(6)
●
github
(7)
●
goalng
(2)
●
golang
(42)
●
google
(2)
●
google-glass
(2)
●
gpgpu
(4)
●
gpu
(3)
●
graph-theory
(4)
●
graphics
(3)
●
group-theory
(3)
●
gui
(14)
●
hacklang
(2)
●
hair-salon
(5)
●
hair-style
(2)
●
hakell
(3)
●
hardware
(7)
●
harmony
(2)
●
hasekll
(11)
●
hasell
(2)
●
haskel
(2)
●
haskell
(321)
●
haskell-data-analysis-cookbook
(11)
●
haste
(2)
●
haxe
(3)
●
health
(7)
●
heroku
(2)
●
hg(2)
●
hibernate
(3)
●
hmd
(2)
●
html
(14)
●
html5
(14)
●
ide
(4)
●
idris
(5)
●
igo
(2)
●
infographic
(2)
●
intellij
(4)
●
ios
(9)
●
iot
(6)
●
java
(28)
●
java8
(4)
●
javascript
(93)
●
joke
(2)
●
jose-mourinho
(2)
●
jquery
(2)
●
js(3)
●
json
(8)
●
julia
(7)
●
jvm
(13)
●
knot-theory
(3)
●
koka
(2)
●
kotlin
(5)
●
lambda-calculus
(2)
●
language
(2)
●
latex
(4)
●
leadership
(3)
●
learning-resouces
(3)
●
lens
(2)
●
library
(26)
●
liner-algebra
(2)
●
linq
(3)
●
linux
(3)
●
lisp
(32)
●
lisp-dialects
(5)
●
list
(2)
●
livescript
(2)
●
llvm
(3)
●
log
(2)
●
lua
(4)
●
mac
(8)
●
mac-app
(4)
●
machine-learning
(16)
●
macro
(2)
●
markdown
(4)
●
martial-arts
(3)
●
math
(113)
●
memory
(3)
●
mercurial
(6)
●
meta-programming
(2)
●
mexico
(2)
●
microdata
(2)
●
ml(2)
●
ml-like
(5)
●
modeling
(2)
●
monad
(8)
●
mongodb
(2)
●
motivation-control
(3)
●
ms(10)
●
multi-platform
(3)
●
music
(2)
●
music-video
(22)
●
mvc
(2)
●
nas
(3)
●
natural-lang
(4)
●
neovim
(2)
●
network
(2)
●
neural-network
(2)
●
news
(3)
●
nlp
(3)
●
node
(9)
●
nosql
(4)
●
nutrient
(2)
●
object-oriented
(3)
●
ocaml
(52)
●
openCV
(3)
●
openfl
(2)
●
or-mapper
(2)
●
os(3)
●
oss
(5)
●
osx
(3)
●
p-lang
(5)
●
p_lang
(5)
●
packages
(2)
●
paper
(4)
●
parallel
(18)
●
parsec
(3)
●
parser
(14)
●
pdf
(6)
●
peg
(4)
●
penetration-test
(4)
●
perfomance-tuning
(16)
●
performance-tuning
(2)
●
perl
(2)
●
perl6
(3)
●
php
(7)
●
physical-training
(2)
●
physics
(2)
●
plugin
(3)
●
pomme
(3)
●
postgres
(3)
●
powershell
(8)
●
programming
(6)
●
programming-language
(4)
●
programming-paradigm
(3)
●
promise
(3)
●
pronunciation
(2)
●
proof
(6)
●
protein
(4)
●
proxy
(2)
●
psg
(4)
●
purescirpt
(3)
●
purescript
(8)
●
puzzle
(11)
●
python
(24)
●
quickcheck
(3)
●
r(5)
●
racket
(8)
●
rails
(2)
●
react
(4)
●
reactive
(7)
●
real-madrid
(2)
●
recipe
(4)
●
recommend-system
(2)
●
reddit
(4)
●
redis
(2)
●
refactoring
(2)
●
reference
(9)
●
regex
(4)
●
relational-theory
(2)
●
riemann-hypothesis
(2)
●
rlang
(3)
●
ruby
(32)
●
running
(5)
●
running-course
(3)
●
rust
(32)
●
scala
(78)
●
scalafx
(3)
●
scalaz
(4)
●
schema
(2)
●
scheme
(16)
●
science
(5)
●
search-engine
(2)
●
security
(13)
●
server
(2)
●
server-less-architecture
(2)
●
settings
(2)
●
shell
(4)
●
sicp
(5)
●
sleep
(2)
●
smart-phone
(2)
●
software-design
(2)
●
spark
(2)
●
spec
(5)
●
sql
(14)
●
sqlite
(3)
●
statistics
(29)
●
storage
(2)
●
streaming
(3)
●
svg
(4)
●
swift
(12)
●
system-trade
(2)
●
tdd
(2)
●
team-management
(2)
●
test
(27)
●
text-processing
(2)
●
tmux
(2)
●
trading
(2)
●
tutorial
(2)
●
type
(2)
●
type-class
(3)
●
type-oriented
(2)
●
type-theory
(7)
●
type-thoery
(2)
●
ui(8)
●
unity
(6)
●
user-defined-type
(2)
●
ux(9)
●
vala
(2)
●
vba
(3)
●
video
(19)
●
viewr
(2)
●
vim
(29)
●
visa
(2)
●
visualization
(15)
●
waf
(7)
●
warning
(2)
●
web
(11)
●
web-app
(2)
●
web-design
(16)
●
web-manga
(2)
●
web-programming
(2)
●
web_design
(3)
●
webassembly
(6)
●
why-some-theory-is-intresting
(2)
●
win8
(3)
●
windows
(5)
●
wireless
(3)
●
wish-bookshelf
(78)
●
wish-food
(2)
●
wish-list
(2)
●
wish-place
(2)
●
wish-salon
(2)
●
wishlist
(57)
●
x86
(2)
●
xml
(3)
●
zed
(2)
●
zsh
(2)
●
あとで
(2)
●
あとで読む
(1)
●
いつか行く
(3)
●
ねこ
(2)
●
また見る
(7)
●
アト読み
(4)
●
オーダーシャツ
(2)
●
オーダースーツ
(4)
●
グルメ
(2)
●
タイトル変更
(2)
●
タイトル変更しました
(12)
●
パンケーキ
(2)
●
マドリー
(4)
●
レシピ
(2)
●
外食
(2)
●
後でみる
(2)
●
haskell
(321)
●
math
(113)
●
javascript
(93)
●
scala
(78)
●
wish-bookshelf
(78)
●
wishlist
(57)
●
clojure
(53)
●
ocaml
(52)
●
golang
(42)
●
f#
(35)
関連タグで絞り込む (5)
●
haskell
●
smallcheck
●
smartcheck
●
test
●
wish-bookshelf
タグの絞り込みを解除
quickcheckに関するtheatricalのブックマーク (3)
●
4 users
●
leanpub.com
●テクノロジー
This is an in-progress book, we'vejust field-tested the first exercises. We don't know how big it'sgoing to be, we currently guess around 70 to a 100 pages when finished. Get the book, give feedback and influence what itwill be :-). Although the QuickCheck library has been around since 2000, and has more recently been ported to several other languages, we believe more teams could benefit from u
![(Little)… by Willem van den Ende et al. [PDF/iPad/Kindle]](https://cdn-ak-scissors.b.st-hatena.com/image/square/91a73cb6f7d0aa738bf8cd7319c36101456caae4/height=288;version=1;width=512/https%3A%2F%2Fd2sofvawe08yqg.cloudfront.net%2Fquickcheckworkbook%2Fs_featured%3F1620478587)
theatrical
2015/08/21
●wish-bookshelf
●haskell
●test
●quickcheck
●
2 users
●
taketoncheir.hatenablog.com
●テクノロジー
QuickCheckでtestデータがgenerateされる仕組み 実際に定義したデータ型に対してデータを生成する方法はこちら ここではQuickCheckのソースコードについて記します。 実際に読み取った順に書いているので分かりにくいです、すいませんm(__)m 登場人物 class Testable : ユーザが定義した、Boolを返すプロパティquickCheck : ユーザが定義したTestableを受け取り、試行ごとにランダム値を生成しながらStateを引き回していくテスト管理部分 newtype Gen a : StdGenとサイズ上限値を取って生成されたデータを返す。サイズ上限値は例えばリスト型のデータ生成時に生成するlengthの上限値xとなり、lengthは1~xの中からランダムな値が選ばれる。 class Arbitrary a : テストデータ生成部分 type P
theatrical
2014/08/08
●haskell
●quickcheck
●
1 user
●
www.reddit.com
●テクノロジー
theatrical
2014/05/12
●haskell
●test
●quickcheck
●smallcheck
●smartcheck
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第2週︶
お知らせ
はてなブックマーク透明性レポート︵2024年2月-2024年4月︶
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第1週︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
(Little)… by Willem van den Ende et al. [PDF/iPad/Kindle]
QuickCheckのコード読んでみた - taketoncheir.log
Reddit - Dive into anything