受虐狂:依赖类型 Haskell 编程的快乐与痛苦 [pdf] (2013)
Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

原始链接: https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf

这看起来像是一个PDF文件的二进制数据,无法翻译成可读的中文。 它包含乱码,并非正常的文本。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 受虐狂:依赖类型 Haskell 编程的乐趣与痛苦 [pdf] (2013) (strath.ac.uk) 11 分,来自 fanf2,49 分钟前 | 隐藏 | 过去 | 收藏 | 1 评论 moomin 4 分钟前 [–] 最后一行是金句。 回复 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

原文
%PDF-1.5 %ÐÔÅØ 118 0 obj > stream xÚ­;ْÜ6’ïúŠ~SuDE‚·÷em¯=ž‰qÌNH~hw„Y$ºŠ+’ x¸§üõ›xT±{W²ž˜HÜÈ;~÷áÍ»Cï΋ÔWÉ݇§;ùŽòü»Øu(öî>w»Ÿ²Þä粯ï?ü z¨;ÏwÒ Ž±ÇÁbGùáÝAғ.Îúþ Bw÷ߕÎú±“Rւ¾÷Â]V6\2Oüý/Ýê¦ÐÍP]ñá>qw—VK/XÈÇ{ÏÝ骒a:s겺.›Ó¼6×IÃ$ŵž æ R'I^Ùû¬æ¾/›¢Ò¸ŽËÔ7qÒ( x[±ãF n¶pß5å½ w¿c'ÝõåpY¯ÿýÐeÃ9¯.…æ!•»Ò‰Ó >,0äû¬v*ZÈå?{êíd¹3~Üڍ a;i4r’4åþߛÆt
联系我们 contact @ memedata.com