My dabbling with Pierce's languages in Haskell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
pierce_ch11_1
pierce_ch11_10
pierce_ch11_11
pierce_ch11_12
pierce_ch11_13
pierce_ch11_2
pierce_ch11_3
pierce_ch11_4
pierce_ch11_5
pierce_ch11_6
pierce_ch11_7
pierce_ch11_8
pierce_ch11_9
pierce_ch13
pierce_ch14_1
pierce_ch14_2
pierce_ch14_3
pierce_ch15_1
pierce_ch15_2
pierce_ch15_3
pierce_ch15_4
pierce_ch15_5
pierce_ch19
pierce_ch20
pierce_ch22 Add ch. 22 on type reconstruction/inference Feb 4, 2011
pierce_ch23
pierce_ch24
pierce_ch3
pierce_ch3b
pierce_ch5
pierce_ch8
pierce_ch9
README

README

These examples are just me monkeying around with the example languages in Pierce's Types and Programming Languages book. 

PLEASE NOTE: They are NOT meant to be complete examples, they may have bugs (both obvious and nonobvious), or may just be flat out wrong.  No guarantees.  Buy the book and read the text when in doubt.

That said, it's kinda fun to translate the languages to Haskell.

Also, I switched the version of the Haskell plugin for Eclipse I was using part of the way through the languages, so there are two different types of projects.  For some reason I prefer the older plugin, so I stuck with that.

Comments welcome.