为 idris 写 Python 和 julia 的后端

2019-04-17 14:54:30 +08:00
 thautwarm

https://github.com/thautwarm/idris-cam

累死辣！

1474 次点击
所在节点    Python
5 条回复
ech0x
2019-06-14 14:31:47 +08:00
好强！
thautwarm
2019-06-14 14:56:10 +08:00
@ech0x 谢谢~ 欢迎参与开发。
我这个架构设计设计得非常简单哒，这是我最自豪的点之一~
ech0x
2019-06-14 15:05:13 +08:00
@thautwarm 但是我不会 idris😂
thautwarm
2019-06-14 15:18:10 +08:00
@ech0x 你不是会 dt 吗？
其实会 haskell 就能写了，很简单的。我其实也不怎么用 dt 的功能
ech0x
2019-06-14 19:55:03 +08:00
@thautwarm #4 刚刚开始学，刚刚开始学😂

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/556042

V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX