CS 6510 Practical Functional Programming
CS 6510 Practical Functional Programming
Spring 2008
Instructor: Matthew Flatt
MWF 9:40-10:30 WEB 122 (EMCB)
Office Hours: by appointment, MEB 3122
see https://www.cs.utah.edu/~mflatt/past-courses/cs6510/public_html/
This course is about functional programming, emphasizing functional-programming skills and techniques that apply to all programming languages. Roughly one-third of the course meetings provide a conventional lecture; in the remaining meetings, we study example programs written and presented by students who are taking the course.
Mailing List
- cs6510@cs.utah.edu
- To sign up for this list, visit http://mailman.cs.utah.edu/mailman/listinfo/cs6510
Day-by-Day
Jan 7: | Course setup |
Jan 9: | How to design programs; slides |
Jan 11: | How to design programs; slides; HW1 |
Jan 14: | How to design programs; slides |
Jan 16: | Sudoku solvers |
Jan 18: | Sudoku solvers |
Jan 23: | Continuation-passing; success-fail-k.zip |
Jan 25: | Sudoku servers (HW2) |
Jan 28: | Closure compilation; clos-comp.zip; Feeley87 |
Jan 30: | Compiling an interpreter |
Feb 1: | Scrabble; HW 3 |
Feb 4: | Macros |
Feb 6: | Scrabble checkers |
Feb 8: | Scrabble checkers |
Feb 11: | Scrabble checkers; tests |
Feb 13 | Functional drawing: Slideshow paper examples; HW4 |
Feb 15: | Concurrent ML; notes/code; refs |
Feb 20: | Scrabble Players |
Feb 25: | Scrabble Players |
Feb 27: | Scrabble Players |
Feb 29: | Purely Functional Data Structures |
Mar 3: | Monads |
Mar 5: | Scrabble Payers |
Mar 7: | Lisp Machines |
Mar 10: | Semantics and Redex |
Mar 12: | Tail recursion and safe-for-space |
Mar 14: | Project descriptions |
Mar 24: | Delimited continuations |
Mar 26: | Project presentations |
Mar 28: | Lambda Calculus |
Mar 31: | Project presentations |
Apr 2: | Functional Reactive Programming |
Apr 4: | Project presentations |
Apr 7: | Project presentations |
Apr 9: | Project presentations |
Apr 11: | Scribble |
============= End
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· SQL Server 2025 AI相关能力初探
· Linux系列:如何用 C#调用 C方法造成内存泄露
· AI与.NET技术实操系列(二):开始使用ML.NET
· 记一次.NET内存居高不下排查解决与启示
· 探究高空视频全景AR技术的实现原理
· 阿里最新开源QwQ-32B,效果媲美deepseek-r1满血版,部署成本又又又降低了!
· SQL Server 2025 AI相关能力初探
· AI编程工具终极对决:字节Trae VS Cursor,谁才是开发者新宠?
· 开源Multi-agent AI智能体框架aevatar.ai,欢迎大家贡献代码
· Manus重磅发布:全球首款通用AI代理技术深度解析与实战指南
2020-04-03 Color Schema 配色随笔
2020-04-03 Qt qml中listview 列表视图控件(下拉刷新、上拉分页、滚动轴)
2020-04-03 Qt android 浅析
2018-04-03 home.php