关于服务
翻译我将创建使用 Cobra 语言的应用程序 — 一种具有 Python 风格语法、静态类型、内置合约和单元测试的现代语言。代码运行在 dotnet CLR 上,因此快速、可移植,并且可以轻松部署在 Windows、Linux 和 macOS 上。
我所做的:控制台工具、服务器服务、数据处理管道、桌面工具和可重用库 — 所有这些都用干净、严格类型的 Cobra 代码编写。由于 Cobra 支持基于合约的编程,我在关键方法中添加前置条件、后置条件和不变式,错误会在早期被捕获,而不是在生产中。每个模块都附带内置的单元测试,因此您可以获得代码正确性的证明。
这个过程是透明和可预测的。首先,我们就需求和验收标准达成一致。然后我准备项目结构,编写类型化的类和接口,用合约和测试覆盖核心逻辑。我为 dotnet CLR 构建项目,运行完整的测试套件,并在短迭代中展示结果,以便您可以从一开始就提供反馈。最后,您将获得所有源代码、构建脚本、包含编译和运行说明的简短 README,以及成功通过测试的报告。
我还将小原型从 Python 或脚本移植到严格类型的 Cobra,连接所需的 CLR 库,并在重要的地方优化性能。无论您需要一次性的自动化工具还是大型系统的基础 — 您都将获得可维护、经过测试的代码,其他开发人员可以在其基础上进行扩展。描述任务,我将提出明确的计划、固定价格和现实的时间表。
我所做的:控制台工具、服务器服务、数据处理管道、桌面工具和可重用库 — 所有这些都用干净、严格类型的 Cobra 代码编写。由于 Cobra 支持基于合约的编程,我在关键方法中添加前置条件、后置条件和不变式,错误会在早期被捕获,而不是在生产中。每个模块都附带内置的单元测试,因此您可以获得代码正确性的证明。
这个过程是透明和可预测的。首先,我们就需求和验收标准达成一致。然后我准备项目结构,编写类型化的类和接口,用合约和测试覆盖核心逻辑。我为 dotnet CLR 构建项目,运行完整的测试套件,并在短迭代中展示结果,以便您可以从一开始就提供反馈。最后,您将获得所有源代码、构建脚本、包含编译和运行说明的简短 README,以及成功通过测试的报告。
我还将小原型从 Python 或脚本移植到严格类型的 Cobra,连接所需的 CLR 库,并在重要的地方优化性能。无论您需要一次性的自动化工具还是大型系统的基础 — 您都将获得可维护、经过测试的代码,其他开发人员可以在其基础上进行扩展。描述任务,我将提出明确的计划、固定价格和现实的时间表。