|
所在平台: Udemy |
课程主页: https://www.udemy.com/course/master-haskell-from-scratch-a-basic-to-advanced-course/
课程评论：没有评论
课程名称：从零开始掌握 Haskell - 基础到高级课程 课程概述：本课程围绕 Haskell 编程语言展开，Haskell 是一种强类型、静态类型的语言，具有非常丰富的类型系统，并且采用非严格求值方式。在该课程中，我们将强调使用 Haskell 进行实际问题解决。课程包括多个主题，分为三个部分。 在第一部分，我们将讨论函数式编程及 Haskell 能解决的问题，并探讨函数式编程特有的解决这些问题的方法，接着具体阐述 Haskell 是如何解决这些问题的。我们将查看第一个 Haskell 程序，开始建立对其结构的直观理解，并深入探讨与空格和布局相关的一些问题。随后，我们将使用格拉斯哥 Haskell 编译器的读取-计算-打印循环 GHCi 来探索 Haskell 程序的值、类型和表达式，并学习如何在 GHCi 中进行调试。 接下来，我们将深化学习，着重研究 Haskell 中的值和表达式，特别是将函数视为值的概念。我们将为核心概念建立直观理解，并学习类型、类型多态约束，以及如何为值添加类型签名。同时，我们将总结 Haskell 记录语法中的积和类型。在这一阶段，我们将掌握足够的知识以应对类型类的挑战，学习如何创建现有类型类的实例以及构建自己的类型类。最后，我们将学习如何从代数数据类型中提取值。 通过本课程的学习，您将获得实用的 Haskell 知识，能够开始编写自己的程序。同时，您将了解 Haskell 如何通过其独特的软件工程方法帮助我们解决问题，并掌握 Haskell 中的值、表达式和类型知识。
This course is about Haskell. Haskell is a strong, statically typed language with a very expressive type system. It also has non- strict evaluation, and it has a very unique approach to problem-solving. This course is going to emphasize using Haskell for practical problem-solving. This course consists of several topics, in three sections. In the first topic, we'll talk about problems that FP and Haskell can address. Then we'll talk about the functional programming-specific ways of approaching these problems. Then we'll talk about how Haskell specifically addresses these types of problems. Then we'll take a look at our first Haskell programs and start to begin an intuition for what they look like. And we'll dig deeper into some issues related to whitespace and layout. Then we'll use the Glasgow Haskell Compiler's read-evaluate-print loop, known as GHCi, to explore our Haskell programs' values and types and expressions. Then we'll learn to debug with GHCi. Moving on, we'll dig deeper, and we'll start to look at Haskell values and expressions, and specifically functions as values. We'll build an intuition for some of the core concepts. Then we'll look at types, polymorphism constraints, and how we can add type signatures to our values. And we're looking to sum up product types in Haskell's record syntax. At that point, we'll know enough to tackle type classes, and we'll learn how to make our own instances of existing type classes and how to build our own type classes. Finally, to cap it all off, we'll learn how to extract values from our algebraic data types. At the end of this course, you will have a practical working knowledge of Haskell, enough to start writing your own program. You'll also know how Haskell can help us solve problems in its particular approach to software engineering. And then, you'll also have knowledge of values, expressions and types in Haskell.
