Surely I Am Joking

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, 2013April 28, 2022 Yin Wang

How to reduce the contagious power of ‘const’ in C++

April 26, 2012February 29, 2020 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

September 12, 2010March 15, 2018 Yin Wang

PySonar: a type inferencer and indexer for Python

June 2023
S M T W T F S
 123
45678910
11121314151617
18192021222324
252627282930  
« Nov    

Recent Posts

  • Moved to Substack
  • My new book: Ground-Up Computer Science
  • There is no human-level computer vision
  • Three famous quotes
  • Tests and static analysis

Archives

  • November 2022
  • May 2021
  • October 2019
  • February 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.
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
  • Follow Following
    • Surely I Am Joking
    • Join 210 other followers
    • Already have a WordPress.com account? Log in now.
    • Surely I Am Joking
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar