Surely I Am Joking

programming, languages, and clearing of some myths

Menu Skip to content
  • Home

Category: types

October 29, 2013July 29, 2019 Yin Wang

PySonar2 opensourced

June 3, 2013January 22, 2016 Yin Wang

Null reference may not be a mistake

April 8, 2013July 29, 2019 Yin Wang

How to reduce the contagious power of ‘const’

April 26, 2012January 22, 2016 Yin Wang

Propositions as programs

March 19, 2012January 22, 2016 Yin Wang

ADTs and objects

March 5, 2012January 22, 2016 Yin Wang

A bug in GHC’s type system

August 28, 2011March 15, 2018 Yin Wang

Sum types and union types

Posts navigation

Older posts
January 2020
S M T W T F S
« Oct    
 1234
567891011
12131415161718
19202122232425
262728293031  

Recent Posts

  • There is no human-level computer vision
  • Why self-driving cars are not going to happen
  • Some observations about Tesla’s Autopilot
  • Three famous quotes
  • Programs may not be proofs

Archives

  • October 2019
  • March 2016
  • January 2016
  • February 2014
  • January 2014
  • December 2013
  • November 2013
  • October 2013
  • July 2013
  • June 2013
  • April 2013
  • March 2013
  • October 2012
  • April 2012
  • March 2012
  • January 2012
  • September 2011
  • August 2011
  • May 2011
  • April 2011
  • September 2010
  • May 2010
Create a free website or blog at WordPress.com.
Surely I Am Joking
Blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy
Cancel