Deal - DbC、检查Python 值、异常和副作用


文章目录


一、关于 Deal

Deal 是用于 design by contract (DbC) 和 检查值、异常和副作用的Python库。简而言之,交易使您能够编写bug的代码。

通过在代码中添加一些装饰器,您可以获得免费测试、静态分析、形式验证等等。阅读介绍开始。



特点


二、安装

shell 复制代码
python3 -m pip install --user 'deal[all]'

三、30秒内使用 Deal

python 复制代码
# the result is always non-negative
@deal.post(lambda result: result >= 0)
# the function has no side-effects
@deal.pure
def count(items: List[str], item: str) -> int:
    return items.count(item)

# generate test function
test_count = deal.cases(count)

现在我们可以:

  • 运行python3 -m deal lintflake8以静态检查错误。
  • 运行python3 -m deal testpytest生成并运行测试。
  • 只需在项目中使用该函数并在运行时检查错误。

阅读更多的文档


四、其它

贡献

欢迎投稿!您可以贡献的一些想法:

  • 为linter添加新的检查。
  • 改善文档。
  • 添加更多测试。
  • 提高性能。
  • 找到bug?修好它!
  • 写了一篇关于交易的文章?太好了。让我们把它添加到README.md中。
  • 没有时间编码?别担心!只需告诉您的朋友和订阅者该项目。更多用户->更多贡献者->更多酷功能。

要在本地运行测试,您只需要任务。运行task all来运行所有代码格式化程序、linter和测试。

谢谢你❤️


2025-03-19(三)

相关推荐
xw33734095649 分钟前
OpenCV 图像变换全解析:从镜像翻转到仿射变换的实践指南
人工智能·python·opencv·计算机视觉·pycharm
点云SLAM11 分钟前
Pytorch中cuda相关操作详见和代码示例
人工智能·pytorch·python·深度学习·3d·cuda·多gpu训练
过往入尘土1 小时前
matplotlib的详细知识点
python
overFitBrain1 小时前
数据结构-5(二叉树)
开发语言·数据结构·python
IMER SIMPLE1 小时前
人工智能-python-OpenCV图像处理核心技术:梯度计算、边缘检测与轮廓分析详解
人工智能·python·opencv
rookiesx1 小时前
安装本地python文件到site-packages
开发语言·前端·python
2301_764441332 小时前
储粮温度预测新方案!FEBL模型用代码实现:LSTM+注意力+岭回归的完整流程
python·深度学习·机器学习
叫我:松哥2 小时前
优秀案例:基于python django的智能家居销售数据采集和分析系统设计与实现,使用混合推荐算法和LSTM算法情感分析
爬虫·python·算法·django·lstm·智能家居·推荐算法
yivifu2 小时前
使用OpenCV做个图片校正工具
python·opencv·计算机视觉
一个天蝎座 白勺 程序猿2 小时前
Python(32)Python内置函数全解析:30个核心函数的语法、案例与最佳实践
android·开发语言·python