Scala Advanced, Part 1 - The Scala Type System

所在平台: Udemy

课程主页: https://www.udemy.com/course/scala-advanced-part-1-the-scala-type-system/

课程评论:没有评论

第一个写评论        关注课程

课程简介

课程名称:Scala高级课程,第1部分 - Scala类型系统 课程概述: Scala高级课程第1部分由Escalate Software提供,旨在帮助有经验的Scala开发者提升他们的技能,尤其是在库和API设计与开发方面。本课程涵盖了生产高质量、正确、强大且灵活的Scala库所需的重要内容,同时确保这些库易于被他人使用。第一部分深入探讨Scala类型系统,这是任何库开发的重要基础。课程开始时,我们会关注Scala中可变共享状态的危险及其安全使用方法,包括属性和缓存的使用。随后,我们将深入Scala类型系统,包括以下主题: - 泛型 - 协变和逆变 - 上限与下限 - 类型推断 - 类型参数和类型成员 - 路径依赖类型 - 精炼类型 - 结构类型 - 递归类型 - F界定多态 最后两个模块转向二级隐式类型系统,这个系统增强了常规Scala类型系统,包括: - 简单隐式参数 - 类型类 - 隐式类、对象和方法 - 类型类组合 - 隐式约束 本课程适合希望进一步提升库开发能力的Scala开发者。

课程评论(0条)

课程详情

Scala Advanced, Part 1The Escalate Software Scala Advanced course is intended for experienced Scala developers looking to improve their skills, particularly for library and API design and development. It covers topics needed to be effective in producing high quality, correct, powerful and flexible Scala libraries that are still easy to use by others.Part 1 provides in depth and thorough knowledge of the Scala type system, an important precursor to any library development. We start off with a look at the dangers, and safe use, of mutable shared state in Scala, covering properties and caching. From there we delve into the Scala type system including:GenericsCo- and Contra-VarianceUpper and Lower BoundsType InferenceType Parameters and Type MembersPath Dependent TypesRefinement TypesStructural TypesRecursive TypesF-bounded PolymorphismThe final two modules then move on to the secondary Implicits type system that augments the regular Scala type system, covering:Simple Implicit ParametersType ClassesImplicit classes, objects and methodsType Class CompositionImplicit Constraints=:= and

课程标签

0人关注该课程

主题相关的课程