首页   注册   登录
 thautwarm 最近的时间轴更新
thautwarm's repos on GitHub
C · 66 人关注
flowpython
tasty feature extensions for python(python3).
Python · 52 人关注
EBNFParser
Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).
Python · 28 人关注
graphviz-artist
A chance to focus on graph drawing itself, forget APIs and other stuffs.
F# · 23 人关注
FSTan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
Idris · 18 人关注
idris-cam
Compilers and universal runtime system for at least Idris targeting Julia, Python, etc.
Python · 6 人关注
do-you-like-wan-you-si
脑洞,让自己的生活更美好。
F# · 6 人关注
FastParse.fs
fast, easy, typed, minimal
Jupyter Notebook · 3 人关注
daily-coding-playground
Python · 2 人关注
Dealing-with-Features
在数据挖掘实战中锻炼处理实际数据特征的能力
Standard ML · 2 人关注
Dress
好耶 是女装
Python · 2 人关注
fix-author
fix unexpected history missing for git
Julia · 1 人关注
Benchmarkplotting.jl
Benchmark intuitively!
Python · 1 人关注
dbg-lang
maybe debug-lang. A declarative dsl for database-orm usage.
Julia · 1 人关注
FlowerQ
One day, one scientific computing algorithm.
Python · 1 人关注
flowlibs
powerful libraries made by flowpython
Python · 1 人关注
formulapy
external tools to type math formulas in Python files.
C++ · 1 人关注
GraphEngine
Microsoft Graph Engine
0 人关注
AOP
reliable and efficient python meta-programming for building productivity tools
Elixir · 0 人关注
awesome-elixir
A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:
OCaml · 0 人关注
ber-metaocaml
Unofficial git mirror of the BER MetaOCaml patchset.
Python · 0 人关注
BioInfoPlus
A tool framework for bioinformatics written in multiple scientific languages.
Python · 0 人关注
bytecode
Python module to modify bytecode
Python · 0 人关注
clang-build
Clang-based cross platform build system written in Python
PowerShell · 0 人关注
config
config files and YadliShell
Python · 0 人关注
cpython
The Python programming language
Python · 0 人关注
Distributed
An implementaion about universal distributed work in python
0 人关注
doctrans
Transform markdown to rst, and so on. A `smarter` text processing tool than pandoc in some areas.
Python · 0 人关注
ebnfparser-dev-notes
个人演草记录。记录遭遇的bug,解决技术的关键手段,以及心得。
Matlab · 0 人关注
FuzzyNetWork
嘛,用matlab写的一个小框架。可以支持模糊网络。这个和之前见过的不一样,我很惊讶反向传播对它居然是有效的。
PowerShell · 0 人关注
get-idris
Setting up an Idris dev environment on Windows

thautwarm

红美玲见奏?
V2EX 第 280475 号会员,加入于 2018-01-06 23:34:42 +08:00
今日活跃度排名 1687
男人中的男人!
程序员工作日程调查求助: "健身状况"字段数据清洗
程序员  •  thautwarm  •  5 小时 57 分钟前  •  最后回复来自 thautwarm
3
程序员的工作日程调查
  •  6   
    调查  •  thautwarm  •  6 小时 40 分钟前  •  最后回复来自 thautwarm
    232
    为 idris 写 Python 和 julia 的后端
    Python  •  thautwarm  •  1 天前  •  最后回复来自 ech0x
    5
    "我还想更简单的画点图"
  •  1   
    Python  •  thautwarm  •  67 天前  •  最后回复来自 uyhyygyug1234
    29
    安利框架,原生 Python 的 functional 库,无伤尾递归加模式匹配。
    Python  •  thautwarm  •  2018-01-08 16:04:34 PM  •  最后回复来自 thautwarm
    7
    thautwarm 最近回复了
    5 小时 57 分钟前
    回复了 thautwarm 创建的主题 程序员 程序员工作日程调查求助: "健身状况"字段数据清洗
    能不能帮忙 map 一下呀 QAQ
    最后,编辑器支持什么的也很重要了。不比当年裸 vim/emacs 写。不求专门的 ide, 可以快速做一个 emacs mode 改善入门体验
    一些夹带个人喜好别的问题,
    1. 语言似乎和 py 一样是 statement first 的,且所有表达式都无法包括语句?有没有什么 expression first 风格的模拟方法?
    2. 扩展性。有没有办法定义新运算符,包括优先级结合性。有没有办法自定义类型推导规则。有没有办法定义新的语法,新的语言构造以及相应语义。
    lz 您好,很厉害。
    几个问题:
    1. 类型系统设计是什么样的?如你所说这是静态语言的话,这一点会是关键
    2. 语言擅长的抽象方式是什么?基于类型的多态,面向对象多态,语法宏 /语法形式抽象?
    3. 语言针对的问题?如果是 DSL,针对的什么方面。如果是通用编程,在各个领域的示例代码大概什么样(不需要实现)
    4. 如果静态类型不够强,运行时的 debug 支持如何?运行时报错是否 make sense ?编译运行 latency 如何(比如 julia 语言几乎是完美后端语言,不考虑 latency 的话)
    @goodleixiao
    你怎么扯到范式啊。
    只说 lisp,并不能确保说的是什么语言,范式是否是函数式。
    关于函数式,您能描述所谓的函数式的定义吗?
    仅仅 函数是一等公民 就是函数式,那全世界都是函数式了。
    在现在 PL 当年的历史 review 论文里(什么 how fp matters 之类的学术文章),喜欢提的东西:
    1. 函数是一等公民(first class)
    2. 函数是纯的(pure)
    3. 函数的定义适合进行推导证明(algebraic data type, 静态的 pattern matching)

    大多数 lisp 不满足 2 和 3。
    lisp 能被称为函数式语言,是一个历史遗留问题。
    现代程序设计的学术目标,不仅仅是让你发挥想象力,而且要让你想得对,辅助你正确地想。

    而且函数式对程序的抽象不是最高的,声明式不知比他高到哪里去了!!
    1 天前
    回复了 thautwarm 创建的主题 Python 为 idris 写 Python 和 julia 的后端
    @ech0x 你不是会 dt 吗?
    其实会 haskell 就能写了,很简单的。我其实也不怎么用 dt 的功能
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   963 人在线   最高记录 5043   ·  
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.3 · 17ms · UTC 23:07 · PVG 07:07 · LAX 16:07 · JFK 19:07
    ♥ Do have faith in what you're doing.
    沪ICP备16043287号-1