Play Framework是一种用Scala编写的Web应用框架，其遵循MVC建筑模式。Play Framework使用Scala编写，并可以被编译成Java虚拟机器字节码中的其他编程语言使用；例如Java语言。其旨在通过建立一个“约定优于配置”、“热码重装”，以及“在浏览器中显示错误”来优化开发人员的工作效率。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
Kafka是由Apache软件基金会开发的一个开源流处理平台，由Scala和Java编写。该项目的目标是为处理实时数据提供一个统一、高吞吐、低延迟的平台。其持久化层本质上是一个“按照分布式事务日志架构的大规模发布/订阅消息队列”，这使它作为企业级基础设施来处理流式数据非常有价值。此外，Kafka可以通过Kafka Connect连接到外部系统，并提供了Kafka Streams——一个Java流式处理库。
Apache Flink是由Apache软件基金会开发的开源流处理软件框架，其核心是用Java和Scala编写的分布式流数据流引擎。Flink以数据并行和管道方式执行任意流数据程序，Flink的流水线运行时系统可以执行批处理任务和流处理程序。此外，Flink的运行时本身也支持迭代法的执行。
Raft是一种用于替代Paxos的共识机制算法。相比于Paxos，Raft的目标是提供更清晰的逻辑分工使得算法本身能被更好地理解，同时它安全性更高，并能提供一些额外的特性。Raft能为在计算机集群之间部署有限状态机提供一种通用方法，并确保集群内的任意节点在某种状态转换上保持一致。Raft算法的开源实现众多，在Go、C++、Java以及 Scala中都有完整的代码实现。Raft这一名字来源于"Reliable, Replicated, Redundant, And Fault-Tolerant"的首字母缩写。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
Heroku是一个支持多种编程语言的云平台即服务。在2010年被Salesforce.com收购。Heroku作为最元祖的云端计算之一，从2007年6月起开发，当时它仅支持Ruby，但后来增加了对Java、Node.js、Scala、Clojure、Python以及PHP和Perl的支持。基础操作系统是Debian，在最新的技术堆栈则是基于Debian的Ubuntu。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
Mini wiki
