ijt

import Data.Bits ((.&.))
import Test.QuickCheck (Property, (==>))

prop_bits :: Int -> Property
prop_bits n = n > 0 ==> intToBool (n .&. (n - 1)) == not (isPowerOfTwo n)

intToBool 0 = False
intToBool _ = True

isPowerOfTwo :: Int -> Bool

ijt

package main

import (
    "reflect"
    "sort"
    "testing"
    "testing/quick"
)

type IntSlice []int

ijt

#!/usr/bin/env runhaskell

-- Example of tailing a file, using two communicating Haskell threads. It's not
-- really necessary to do this concurrently, but the approach here generalizes
-- nicely if we want to filter or transform the output.

import Control.Concurrent
import Control.Monad
import System.Environment
import System.Exit

ijt

#!/usr/bin/env runhaskell

import System.Environment
import System.Exit
import System.IO

usage = "usage: cat somefile | demux outfile1 outfile2 ..."
help = "This program alternates sending its input to outfile1 and outfile2."

main = do

ijt

" $ cabal install hoogle
"
" Then put this file in ~/.vim/ftplugin/haskell/ijt_hoogle.vim
"
" Put your cursor over a function name and press \h to find out
" its signature and where it is defined.
"
command! Hoogle :exec("!hoogle '" . expand("<cWORD>") . "'")
map \h :Hoogle<CR>

ijt

// Exception handling example, fleshed out from Rob Pike's post
// at http://goo.gl/ZiUra

package main

import "fmt"

func f(dopanic bool) { 
    defer func() { 
        if x := recover(); x != nil { 

ijt

#!/usr/bin/env runhaskell

import Control.Applicative
import Test.QuickCheck

newtype ZipList2 a = ZipList2 { getZipList :: [a] }
instance Applicative ZipList2 where
    pure x = ZipList2 $ repeat x
    (ZipList2 gs) <*> (ZipList2 xs) = ZipList2 (zipWith ($) gs xs)

ijt

The new interface for system calls in Go is much better than it was. Check the examples here:

http://golang.org/pkg/os/exec/

ijt

This script has been moved to http://github.com/ijt/goscript and renamed to "goscript".

ijt

package main

import (
    "fmt"
    "os"
    )

func PrintInts() {
    for i := 0; ; i++ {
        fmt.Printf("%d\r", i)