为 idris 写 Python 和 julia 的后端 - V2EX

首页注册登录

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

已注册用户请登录

推荐学习书目

› Learn Python the Hard Way

Python Sites

› PyPI - Python Package Index

› http://diveintopython.org/toc/index.html

› Pocoo

值得关注的项目

› PyPy

› Celery

› Jinja2

› Read the Docs

› gevent

› pyenv

› Stackless Python

› Beautiful Soup

› 结巴中文分词

› Green Unicorn

› Sentry

› Shovel

› pytest

Python 编程

› pep8 Checker

Styles

› PEP 8

› Google Python Style Guide

› Code Style from The Hitchhiker's Guide

这是一个创建于 1826 天前的主题，其中的信息可能已经有所发展或是发生改变。

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

累死辣！

5 条回复 • 2019-06-14 19:55:03 +08:00

1

ech0x

2019-06-14 14:31:47 +08:00 via iPhone

1

好强！

2

thautwarm

OP

2019-06-14 14:56:10 +08:00 via Android

@ech0x 谢谢~ 欢迎参与开发。
我这个架构设计设计得非常简单哒，这是我最自豪的点之一~

3

ech0x

2019-06-14 15:05:13 +08:00 via iPhone

@thautwarm 但是我不会 idris😂

4

thautwarm

OP

2019-06-14 15:18:10 +08:00 via Android

@ech0x 你不是会 dt 吗？
其实会 haskell 就能写了，很简单的。我其实也不怎么用 dt 的功能

5

ech0x

2019-06-14 19:55:03 +08:00

1

@thautwarm #4 刚刚开始学，刚刚开始学😂

关于 · 帮助文档 · 博客 · API · FAQ · 我们的愿景 · 实用小工具 · 3805 人在线 最高记录 6543 ·

Select Language

创意工作者们的社区

World is powered by solitude

VERSION: 3.9.8.5 · 28ms · UTC 10:43 · PVG 18:43 · LAX 03:43 · JFK 06:43
Developed with CodeLauncher
♥ Do have faith in what you're doing.