{"type":"link","version":"1.0","title":"文章介绍了一种 existential… · Existentials on a… | HotDaily","description":"文章介绍了一种 existential types 编码，允许类型中出现裸 existential，使用 Fresh 代理作为证明令牌，通过线性…","url":"https://hotdaily.top/item/f5e278f5-9654-413e-aa95-05a116e7185f","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}