philnguyen/ffn.rkt

Created June 25, 2013 04:19

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/philnguyen/5855906.js"></script>
Save philnguyen/5855906 to your computer and use it in GitHub Desktop.

Download ZIP

To illustrate how this clever Python solution here can be typed in Typed Racket http://stackoverflow.com/a/732049/159759

Raw

ffn.rkt

	#lang typed/racket

	(: f (case->
	[Number -> (-> Number)]
	[(-> Number) -> Number]))
	(define (f x)
	(if (number? x) (λ () (- x)) (x)))

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment