{"type":"link","version":"1.0","title":"文章回顾 Futhark… · Rewriting the Futhark type… | HotDaily","description":"文章回顾 Futhark 类型系统从标量/数组/元组起步，逐步加入记录、模块、高阶函数、Hindley-Milner…","url":"https://hotdaily.top/item/e40f8c9d-2939-4999-97b7-99d2b534b082","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}