标签： typing

发布于

`Python`的`类型提示`：`Typing`模块的`Protocol`和`Generic`实现`协议`编程。

Python类型提示进阶：Protocol与Generic的协议编程 大家好，今天我们深入探讨Python类型提示中两个强大的工具：Protocol和Generic，以及它们如何共同实现更灵活、更健壮的协议编程。 1. 协议编程的概念与优势 协议编程，也称为隐式接口或鸭子类型（Duck Typing），是一种编程范式，它关注对象“做什么”，而不是对象“是什么”。 换句话说，我们关心一个对象是否拥有特定方法，并能按照预期的方式执行这些方法，而不必强制它继承自某个特定的基类或实现某个特定的接口。 传统面向对象编程中，我们经常使用继承或接口（在其他语言中）来定义对象之间的关系。 然而，这种方式可能会导致代码僵化，因为对象必须明确地声明它们与特定接口的兼容性。 协议编程则提供了一种更灵活的方式，允许对象通过简单地实现必要的方法来满足协议，而无需显式声明。 协议编程的优势包括： 灵活性： 对象可以更容易地适配不同的上下文，只要它们实现了所需的行为。 解耦： 代码之间的依赖性降低，因为我们不依赖于具体的类继承关系。 可扩展性： 可以更容易地添加新的对象类型，而无需修改现有的代码。 2. typin …

继续阅读“`Python`的`类型提示`：`Typing`模块的`Protocol`和`Generic`实现`协议`编程。”

发布于

`鸭子类型`（`Duck Typing`）与`抽象基类`（`ABC`）：如何平衡灵活性与代码规范。

好的，下面是一篇关于鸭子类型与抽象基类的技术文章，以讲座模式呈现。 鸭子类型与抽象基类：灵活性与代码规范的平衡之道 大家好！今天我们来聊聊编程世界中两个重要的概念：鸭子类型和抽象基类。它们都与接口有关，但实现方式和适用场景却大相径庭。理解它们的区别和联系，能帮助我们写出更灵活、更健壮的代码。 1. 什么是鸭子类型？ 鸭子类型是一种动态类型语言中的概念。它的核心思想是：“如果它走起路来像鸭子，叫起来也像鸭子，那么它就是鸭子。” 也就是说，我们并不关心一个对象的具体类型是什么，而是关心它是否拥有我们所需要的方法和属性。 举个例子，假设我们有一个 fly(animal) 函数，它接受一个动物对象，并调用它的 fly() 方法。 def fly(animal): animal.fly() class Duck: def fly(self): print(“Duck is flying!”) class Bird: def fly(self): print(“Bird is flying!”) class Airplane: def fly(self): print(“Airplane is f …

继续阅读“`鸭子类型`（`Duck Typing`）与`抽象基类`（`ABC`）：如何平衡灵活性与代码规范。”

发布于

Python高级技术之：`Python`的类型提示：`mypy`和`typing`模块在大型项目中的应用。

各位观众，大家好！我是今天的主讲人，很高兴能和大家一起聊聊Python类型提示这个话题。别担心，今天咱们不搞那种让人昏昏欲睡的学院派理论，就来点实在的，说说在大型项目中，mypy和typing模块到底能帮我们解决什么问题，以及怎么用它们让我们的代码更健壮、更易维护。 开场白：类型提示，你的代码“体检报告” 想象一下，你写了一个非常复杂的函数，经过几个月的迭代，你已经忘了当初设计它的初衷。现在，你要修改这个函数，但又害怕改坏了。这时候，如果你的代码有详细的“体检报告”——也就是类型提示，是不是就能心里更有底了？ 类型提示就像是给你的Python代码加上了静态类型检查的“超能力”。虽然Python本身是动态类型语言，但这并不意味着我们不能给它加上类型信息。typing模块提供了定义类型提示的标准方式，而mypy则是一个静态类型检查器，可以根据这些类型提示来检查你的代码是否存在类型错误。 第一部分：typing模块：类型提示的“百宝箱” typing模块是Python 3.5引入的标准库，它提供了各种类型构造器，让我们能更精确地描述变量、函数参数和返回值的类型。 1. 基本类型：int, s …

继续阅读“Python高级技术之：`Python`的类型提示：`mypy`和`typing`模块在大型项目中的应用。”

发布于

JS `Records and Tuples` (提案) `Structural Typing` 与 `Nominal Typing` 的权衡

各位观众，早上好！今天咱们来聊聊JavaScript未来可能引入的Records and Tuples提案，以及它在类型系统上玩的一个小把戏：Structural Typing 和 Nominal Typing 的权衡。这俩家伙就像是编程界的“相声演员”，一个讲究“内在美”，一个看重“出身背景”，让咱们看看它们在Records and Tuples这个舞台上会碰撞出什么火花。 一、Records and Tuples: 何方神圣？ 首先，得搞清楚Records and Tuples是个什么东西。简单来说，它们是JavaScript中新增的两种数据结构，旨在解决现有对象和数组的一些痛点。 Records: 类似于对象，但是是不可变的，并且具有值相等性。 想象一下，一个永远不会被修改，而且只要“长”得一样，就认为是同一个东西的对象。 Tuples: 类似于数组，也是不可变的，并且具有值相等性。 同样，一个永远不会被修改，并且只要里面的元素一样，就认为是同一个东西的数组。 举个栗子： // 这不是真正的 Records 和 Tuples 代码，只是为了说明概念 const point1 = …

继续阅读“JS `Records and Tuples` (提案) `Structural Typing` 与 `Nominal Typing` 的权衡”

发布于

JS `Type Systems` `Structural Typing` vs `Nominal Typing` 的实践差异

咳咳，大家好，我是今天的主讲人，大家可以叫我老码。今天咱们来聊聊JavaScript里的类型系统，尤其是结构化类型（Structural Typing）和名义类型（Nominal Typing）这俩兄弟，看看它们在实践中都有哪些不一样的地方。 开场白：类型，就像给变量穿衣服 咱们写代码，其实就是在告诉电脑“这个数据应该怎么处理”。类型呢，就像是给变量穿的衣服，告诉电脑“这件衣服（这个数据）是啥材质的，应该怎么洗（怎么处理）”。 JavaScript这门语言，它很自由，类型检查比较晚，很多错误都是在运行的时候才发现的。但随着项目越来越大，代码越来越复杂，类型的重要性就凸显出来了。 第一部分：类型系统概览 首先，简单回顾一下类型系统的概念。类型系统就是一套规则，用来保证程序中数据的正确使用。它可以帮助我们： 发现错误： 在代码运行之前，就找出类型不匹配的错误。 提高代码可读性： 明确变量的类型，让代码更容易理解。 增强代码可维护性： 类型信息可以帮助我们更好地重构和修改代码。 常见的类型系统可以分为静态类型和动态类型： 静态类型： 类型检查在编译时进行，例如Java，C++，TypeScr …

继续阅读“JS `Type Systems` `Structural Typing` vs `Nominal Typing` 的实践差异”