1 个仓库
Awesome GitHub RepositoriesInteractive Programming Environments
Tools that combine a shell, REPL, and variable inspection for dynamic code evaluation.
Distinct from Go Variable Inspection: Shortlist candidates are too narrow, focusing only on variable inspection or debugging utilities.
Explore 1 awesome GitHub repository matching development tools & productivity · Interactive Programming Environments. Refine with filters or upvote what's useful.
Awesome Interactive Programming Environments GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- system-f/fp-course
system-f/fp-course
4,237在 GitHub 上查看该项目是一个基于练习的学习平台和函数式编程课程，旨在通过结构化的实践任务课程来教授 Haskell。它作为一个交互式教程和学习框架，学生通过完成一系列精心设计的模块来掌握函数式编程概念。 该平台强调类型驱动的开发工作流，利用类型孔（type holes）和编译器集成的类型查询来引导程序逻辑的发现。它通过读取-求值-打印循环（REPL）提供交互式编程环境，允许进行实时代码实验、表达式类型查询以及标识符详情检查。 通过结合单元测试和基于属性的测试套件的自动化验证系统来确保正确性。这些工具使用随机输入生成来验证练习解决方案是否满足特定要求。 课程涵盖语言语法、类型签名、多态性以及用于解构复杂数据结构的模式匹配。
Ships an interactive environment combining a REPL and type inspection for real-time code experimentation.
Haskell
