type-inference-by-example:有关实现类型推断的一系列扎实的文章

  • o7_113726
    了解作者
  • 598.6KB
    文件大小
  • zip
    文件格式
  • 0
    收藏次数
  • VIP专享
    资源类型
  • 0
    下载次数
  • 2022-06-13 20:10
    上传日期
通过示例进行类型推断 有关实现类型推断的一系列扎实的,面向代码的文章。 该系列也可在。 章节 类型约束? 换人? 什么? 本章是介绍,因此没有代码。 推断通用类型 本章的最终代码在。 即将来临 类型类别 功能依赖 现场限制 排名较高的类型 命名参数 可选参数 瓦拉格斯 接触 我是JoakimAhnfelt-Rønne,计算机科学硕士(哥本哈根大学)。 我从事该行业的函数式编程工作,并在哥本哈根共同组织了一次聚会。 在业余时间里,我从事编程语言的工作-显然,写关于它的东西。 在https://discord.gg/4Kjt3ZE上吸引我-这是一个非常不错的编程语言设计社区。 我是@ahnfelt。
type-inference-by-example-master.zip
  • type-inference-by-example-master
  • talk-mfk
  • slides.pdf
    512.1KB
  • Inference.scala
    18.9KB
  • README.md
    1.3KB
  • part2
  • image.png
    58.3KB
  • article.md
    2.7KB
  • part6
  • image.png
    37.1KB
  • article.md
    7.5KB
  • Inference.scala
    8.2KB
  • part4
  • image.png
    32.1KB
  • article.md
    5.1KB
  • part1
  • image.png
    36.1KB
  • article.md
    2.2KB
  • part7
  • image.png
    41.5KB
  • article.md
    9KB
  • Inference.scala
    19.1KB
  • part8
  • Main.scala
    9.4KB
  • Lowering.scala
    5.1KB
  • Syntax.scala
    2.1KB
  • Substitution.scala
    5.8KB
  • Emitter.scala
    2.4KB
  • Inference.scala
    11.4KB
  • part3
  • image.png
    34.3KB
  • article.md
    2.7KB
  • part5
  • image.png
    26.3KB
  • article.md
    4KB
  • Inference.scala
    4.2KB
内容介绍
# Type Inference by Example A series of down-to-earth, code-oriented articles on implementing type inference. *This series is also available on [Medium](https://medium.com/@joakim.ahnfelt/type-inference-by-example-793d83f98382).* # Chapters ## Type constraints? Substitutions? What? * [Part 1](part1/article.md) * [Part 2](part2/article.md) * [Part 3](part3/article.md) > This chapter is an introduction, so there's no code. ## Inferring generic types * [Part 4](part4/article.md) * [Part 5](part5/article.md) * [Part 6](part6/article.md) * [Part 7](part7/article.md) * [Slides](talk-mfk/slides.pdf) > Final code for this chapter [here](talk-mfk/Inference.scala). ## Upcoming * Type classes * Functional dependencies * Field constraints * Higher ranked types * Named arguments * Optional arguments * Varargs # Contact I'm Joakim Ahnfelt-Rønne, MSc Computer Science (University of Copenhagen). I work with functional programming in the industry and I co-organize a [meetup](https://www.meetup.com/MoedegruppeFunktionelleKoebenhavnere) about it in Copenhagen. In my spare time, I work on [programming languages](https://github.com/topshell-language/topshell) - and apparently, write about it. Catch me on https://discord.gg/4Kjt3ZE - it's a very nice community about programming language design. I'm @ahnfelt.
评论
    相关推荐