PL2015:编程语言原理课程执行讲座的存储库(2015)

  • g7_999336
    了解作者
  • 38.2KB
    文件大小
  • zip
    文件格式
  • 0
    收藏次数
  • VIP专享
    资源类型
  • 0
    下载次数
  • 2022-05-02 07:44
    上传日期
编程语言原理 编程语言原理课程执行讲座的存储库(2015) 该存储库包含在“编程语言原理(2015)”课程的练习讲座中提供的所有有关 Haskell 的练习 (6/5/15) 函数定义和模式匹配; 构造函数(类型与数据); 记录语法; 类型同义词; 新类型与数据; 函数柯里化和组合; 无限计算; (15/5/15) 布尔值守卫; 无限计算; 让 & 哪里; 案例表达; 折叠; 列表理解; 类型类; (29/5/15) Monads:也许,状态; Logger Monad 的定义; 二叉树的应用; 作业(幻灯片) (5/6/15) 并发; 作业(可能的解决方案)
PL2015-master.zip
  • PL2015-master
  • homework
  • homework.hs
    1.6KB
  • Homework_ppl2015.pdf
    29.8KB
  • concurrency
  • sparks.hs
    1.3KB
  • threads.hs
    931B
  • eshs3.hs
    5.9KB
  • eshs2.hs
    3.4KB
  • eshs2_complete.hs
    6.5KB
  • README.md
    752B
  • eshs1.hs
    3.7KB
  • eshs3_complete.hs
    7.9KB
内容介绍
# Principles of Programming Languages Repository for the execise lecture of the course on Principles of Programming Languages (2015) This repository contains all the exercises on Haskell presented during the exercize lectures of the course "Principles of Programming Languages (2015)" (6/5/15) Function definition and pattern matching; Constructor (type vs data); Record syntax; Type synonyms; newtype vs data; functions currying and composition; Infinite computations; (15/5/15) boolean guards; Infinite computations; let & where; case expressions; fold; list comprehension; typeclasses; (29/5/15) Monads: Maybe, State; Dedinition of Logger Monad; Application to binary tree; Homework (slide) (5/6/15) Concurrency; Homework (possible solution)
评论
    相关推荐