Thinking with Types
ThinkingwithTypesstarted,assomanyofmyprojectsdo,accidentally.Iwasunemployed,bored,andstartingtogettiredofansweringthesamequestionsoverandoveragaininHaskellchat-rooms.AndsoIstartedaquickdocument,jottingdownabunchoftype-levelprogrammingtopicsIthoughtit
下载地址
用户评论