为 idris 写 Python 和 julia 的后端

V2EX = way to explore

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

For Existing Member Sign In

推荐学习书目

› 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

› virtualenv

› Stackless Python

› Beautiful Soup

› 结巴中文分词

› Green Unicorn

› Sentry

› Shovel

› Pyflakes

› pytest

Python 编程

› pep8 Checker

Styles

› PEP 8

› Google Python Style Guide

› Code Style from The Hitchhiker's Guide

This topic created in 2573 days ago, the information mentioned may be changed or developed.

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

累死辣！

5 replies • 2019-06-14 19:55:03 +08:00

ech0x

Jun 14, 2019 via iPhone

好强！

thautwarm

Jun 14, 2019 via Android

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

ech0x

Jun 14, 2019 via iPhone

@thautwarm 但是我不会 idris😂

thautwarm

Jun 14, 2019 via Android

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

ech0x

Jun 14, 2019

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