python-adt:Python 代数数据类型,使用 Hy!

时间:2024-07-19 11:24:54
【文件属性】:

文件名称:python-adt:Python 代数数据类型,使用 Hy!

文件大小:2KB

文件格式:ZIP

更新时间:2024-07-19 11:24:54

Python 代数数据类型 该项目旨在使用语言在 Python 中实现代数数据类型。 实际上,我们想输入这样的代码 (data TypeName (TypeConstructor (name str)) :deriving (Show, Eq )) 并使用宏获得类似以下内容。 class TypeName ( object ): def __init__ ( self , name ): if not isinstance ( name , str ): raise ValueError ( "{} must be of type str" . format ( name )) self . _name = name @ property def name ( self ): return


【文件预览】:
python-adt-master
----.gitignore(675B)
----LICENSE(1KB)
----README.md(1KB)

网友评论