covariant and contravariant in Python
本文所使用的记号 A ≼ B means A is a subtype of B. A -> B is the type of functions for which the argument type is A and »
How To Prove It 笔记 - Introduction
How to Prove It Introduction 一节的读书笔记 命题一: n 为任意一个大于 1 的合数，那么 \(2^n-1\) 也为合数 证明: 因为 n 为合数，那么存在正整数 a 和 b(a< n, »
类型中的 Any, object 和 Optional[Any]
Any 不等价于 Optional[Any] Any 不等价于 object 首先来说明第一条(本文使用 mypy 0.660) Optional[Any] 等价于 Union[Any, None]，但是 Union[Any, T](T 为任意类型)并不能被简化成 Any »
How APScheduler works - part 4 (executor)
APScheduler 支持如下几种 executor asyncio debug gevent processpool threadpool tornado twisted executor 负责 Job 的执行，本文这里选线程池的实现来进行说明 首先来看基类 BaseExecutor # executors/base.py class BaseExecutor(six.with_metaclass(ABCMeta, »
How APScheduler works - part 3 (trigger)
trigger 用于处理 job 的触发逻辑，对比如 cronjob, interval 等执行周期进行抽象。APScheduler 默认提供了三种内置的 trigger，他们分别是 date: use when you want to run the job just once at a certain »
How APScheduler works - part 2 (job_store)
APScheduler 默认提供了如下几种 job_store in-memory mongodb redis rethinkdb sqlalchemy zookeeper 所有的 jobstore 共同继承 jobstore/base.py 中的 BaseJobStore 基类。 本文这里简要的通过 redis jobstore 来举例。由上一节可知，job_store »
How APScheduler works - part 1 (scheduler)
Basic Concepts APScheduler 是一个任务调度框架。它由以下的组件所组成: executor: 任务执行组件，提供不同的运行方式(线程、进程) jobstore： 任务持久化组件，提供不同的持久化后端 scheduler: 任务调度组件，提供不同的调度器(tornado/background) trigger: 任务触发器组件，可以使用 cronjob 也可以直接指定 interval 一个简单的使用示例: import »