Categories
Language
Platform
Category Theory
Translation of Category Theory for Programmers
Spark
Programming Paradigm
Category Theory Notes
Spark Development Tutorial
Quartz Tutorial
2025
泛型
F-Bounded
Markdown语法记录
Java语言功能更新
platform tbd
language basics tbd
2020
2.2 Limits and Colimits - 端和余端
2.1 Category Theory and Declarative Programming - 范畴论和声明式编程
Scala Style
Spark相关内容随记
Higer Rank Types / Rank N Types
泛型可变性
Generic Bound - 泛型约束
Higher Kinded Type - 高阶类类型
programming paradigm tbd
F# Automatic Generalization - F# 自动泛化
范畴论笔记 - 第一部分
范畴论笔记 - 第二部分
1.10 Natural Transformations - 自然变换
1.9 Function Type - 函数类型
1.8 Functoriality - 函子性
1.7 Functors - 函子
1.6 Simple Algebraic Data Types - 简单代数类型
1.5 Products and Coproducts - 积与余积
1.4 Kleisli Categories - Kleisli范畴
1.3 Categories Great and Small - 范畴可大可小
范畴论笔记 - 序
1.2 Types and Functions - 类型与函数
1.1 Category: The Essence of Composition - 范畴:复合的本质
Spark开发入门-介绍
6. 小测试参考思路
5. 小测试
4. 实际开发的注意事项
3. 使用 Spark 进行数据分析
2. Scala Intro
1. 准备开发环境
2017
F#-Notes-2 Imperative Programming
Quartz Tutorial Cron Expression
Quartz Tutorial 9 - Configuration, Resource Usage and SchedulerFactory
Quartz Tutorial 8 - Job Stores
Quartz Tutorial 11 - Miscellaneous Features of Quartz
Quartz Tutorial 10 - Advanced (Enterprise) Features
Quartz Tutorial 7 - SchedulerListeners
Quartz Tutorial 6 - TriggerListeners and JobListeners
Quartz Tutorial 5 - Cron Trigger
Quartz Tutorial 4 - Simple Trigger
Quartz Tutorial 3 - More About Triggers
Quartz Tutorial 2 - More About Jobs and Job Details
Quartz Tutorial 1 - Using Quartz & The Quartz API, Jobs and Trigger
Learn Windows PowerShell 3 in a Month of Lunches - Review lab 1 (chapters 1–6)
CSS选择器
F#-Notes-1 Functional Programming
F#
2016
通过实现“快排”对比OO&FP