长按上方二维码3秒识别二维码
古濑淳 Jun Furuse 是 OCaml 程序员,DaiLambda 创始人兼首席执行官,在日本的 Tezos 科学家,玩转 Tezos。他的兴趣在使用强类型语言和形式化方法,构建健壮且可扩展的系统。