recentpopularlog in

ianweatherhogg : check   123

« earlier  
A Case for Prototypes - Quils in Space
Extending Fold and Unfold to Exponential Embarassing-ness
functional  javascript  test  quick  check  compose 
march 2017 by ianweatherhogg
Code your own QuickCheck (Shrink) – Deque
In the previous posts, we started to implement our own QuickCheck in Haskell, which we named RapidCheck, based on the original publication on QuickCheck. The first post went over the basic concepts needed to build such a module, while our last post focused on how we can write generator for arbitrary functions. You might want…
haskell  quick  check  test 
february 2017 by ianweatherhogg
The benefits of static typing without static typing in Python
One of the most popular complaints against Python is that its dynamic type systemmakes it easy to introduce bugs into your programs. As you probably knowin s...
static  type  check  python 
april 2016 by ianweatherhogg
Choosing properties for property-based testing | F# for fun and profit
Or, I want to use FsCheck and Quickcheck, but I can never think of any properties to use
fsharp  quick  check  5* 
july 2015 by ianweatherhogg
What are your most persuasive examples of using Quickcheck? : haskell
I'm writing documentation for my Python Quickcheck-like library, [Hypothesis](http://hypothesis.readthedocs.org/) and I'm looking for examples of...
reddit  haskell  quick  check  example 
march 2015 by ianweatherhogg
Permutations: an exercise - Harry Garrood
My personal website. Blog posts, portfolio, and contact information.
haskell  quick  check  helloworld  algorithm  math  4* 
march 2015 by ianweatherhogg
Test your Javascript with QuickCheck · purescript/purescript Wiki · GitHub
purescript - A small strongly typed language that compiles to Javascript
wiki  quick  check  purescript 
march 2015 by ianweatherhogg
C Development with Emacs | malb::blog
Recently I spent some time customising my Emacs config again. Playing around with different ways of improving your productivity by adjusting Emacs is a great way of loosing any and all productivity you might have had. It is such a fun way of wasting your time, there's even a little scene around just that activity.…
emacs  c  company  helm  configuration  user  package  cpp  mode  fly  check  5* 
november 2014 by ianweatherhogg
Property Testing in Ruby - jtobin.ca
Testing properties of Haskell functions with
QuickCheck is easy and pretty
enjoyable. It turns out Ruby has a QuickCheck-like property testing …
ruby  quick  check  dice  probability 
september 2014 by ianweatherhogg
Tyblog | Please stop hashing passwords
You should stop hashing passwords, and use cyptographically secure password obsfucation methods instead.
password  hash  entropy  security  5*  check  sum 
may 2014 by ianweatherhogg
flycheck/flycheck-haskell
flycheck-haskell - Improved Haskell support for Flycheck
haskell  fly  check 
january 2014 by ianweatherhogg
Implicits unchained – type-safe equality – part 3 - Heiko's Blog
In the last post we have developed a type-wise balanced type-safe equality operation: 1
2
3
4
5
6
7
8
9
10
11
scala> import name.heikoseeberger. …
scala  implicit  equality  type  check  debug  functional  programming 
august 2013 by ianweatherhogg
Implicits unchained – type-safe equality – part 2 - Heiko's Blog
In the last post we have discussed the problems with untyped equality and shown how to provide a simple type-safe equality operation using implicit …
scala  implicit  type  theory  class  annotation  equality  check  debug  functional  programming 
august 2013 by ianweatherhogg
Implicits unchained – type-safe equality – part 1 - Heiko's Blog
Beside the fusion of object orientation and functional programming, I think that implicits – implicit classes, conversions, parameters and values – …
scala  implicit  type  theory  4*  equality  scalaz  functional  programming  check  debug 
august 2013 by ianweatherhogg
« earlier      
per page:    204080120160

Copy this bookmark:





to read