1.问题描述 带时间窗的取送货路径规划问题（pickup and delivery problem with time window，PDPTW）是路径规划问题的一个重要子类，在供应链领域比较常见，例如某物流企业需要指定交易未来某段时间内车辆的运输调度计划，在满足货物运输要求前提下最小化运输成本。 （1）对车辆，已知起始停靠点，结束停靠点，最早开始时间，最晚结束时间，最大行驶距离，速度，...

1.what is type inference 静态类型语言statically typed languages：在编译时（程序运行前），每个binding的类型都已经确定，因此类型错误会在编译时提醒，比如Java，C，ML 动态类型语言dynamically typed languages：每个binding的类型不会提前确定，在运行时才会确定，因此...

1.terms first-class functions：一阶函数，可以被计算，传递和存储的函数，和值一样 high-order functions：高阶函数，可以读取和返回其它函数的函数 function closures：函数闭包，可以使用在函数外部定义的变量，让一阶函数更有用 functional prog...

Difference between SSH and HTTPS in GitHub 1.SSH和HTTPS介绍 SSH（Secure Shell）和HTTPS （Hypertext Transfer Protocol Secure）是两种与Github仓库交互的方法，GitHub提供SSH和HTTPS作为身份验证和通信协议，每种协议都有其优点和使用场景 SSH：SSH...

1.Conceptual Ways to Build New Types 前面介绍的各种基本类型，比如int，bool，char等，以及一些复合类型：tuple，lists, options等，接下来介绍更多创建复合类型的方式。 对于任何语言，有3种最重要的类型构建块： Each of：一个t值包含t1,t2…tn的每个值 One of：一个t值包含...

1.Expressions 在 ML 语言中，程序执行的过程通常可以分为三步：语法解析、类型检查和评估。在语法解析阶段，ML 编译器会检查代码是否符合语言的语法规则，ML 是一种静态类型语言，这意味着所有变量和表达式的类型在编译时就必须确定。在类型检查阶段，编译器会根据语法树推断出每个表达式的类型，并检查类型是否符合预期。通过语法解析和类型检查后，ML 开始执行代码。这一阶段会对表达式进行...

课程前言：Programming Languages是University of Washington的一门介绍编程语言基本概念的课程，特别强调函数式编程。课程分成三个部分，分别使用ML（A部分）、Racket（B部分）和Ruby（C部分）语言来讲解编程语言。课程核心不是为了学习特定的语言语法，而是提供一个框架，帮助理解如何有效地使用语言构造，以及如何设计正确优雅的程序，这种思路对于任何语言...

What is Linux Operating System 1.Linux介绍 Linux是一种操作系统，由Linus Torvalds创建的内核演变而来。Linux kernel（内核）是操作系统的大脑，用来管理软件和硬件的交互，是Linux的核心。但是只有内核不足以让Linux成为一个完整的操作系统，还需要许多其它的软件包，组件和开发工具，组成Linux distributions...

1.问题描述 电商等仓储物流中心每天需要配送几万甚至十几万包裹，每个包裹需要包含来自于不同仓库，不同库区，不同数量的物品。如果规划不合理，可能会导致跨库、跨区域数量过多，订单配货时间过长，物流核心设备无效冗余运作距离过长,库存周转效率降低等问题。例如某电商有P个包裹（每个包裹包含多件商品，可能分布在多个仓库（暂时不考虑库存）），需要将其分到B个波次中，要求： 每个波次的商...

1. 安装 1.1 创建repository 在GitHub - cotes2020/chirpy-starter: A website startup template using the Chirpy theme gem.中点击Use this template下面的Create a new repository，命名为username.github.io，username就是git...