{"type":"link","version":"1.0","title":"作者总结了其博士论文的核心成果… | Deconstructing… · HotDaily 每日晚报","description":"作者总结了其博士论文的核心成果，探讨了将 Datalog 特性整合进强类型函数式语言的路径。文章重点介绍了 Datafun…","url":"https://hotdaily.top/item/b1154c32-6982-4aff-b481-2b79b78f3f5b","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}