mattox/haskell-prairielearn

Haskell与Prairielearn外部评分器镜像

概述

本Docker镜像为Haskell语言编程作业提供自动化评分解决方案，专为Prairielearn在线学习平台设计，作为外部评分服务实现代码提交后的实时评估。镜像集成Haskell编译环境与评分逻辑，可无缝对接Prairielearn平台，实现作业提交、代码检测、测试执行及分数生成的全流程自动化。

核心功能与特性

语言支持

• 内置Haskell编译器（GHC）及标准库，支持Haskell 98/2010标准
• 兼容常见Haskell构建工具（Cabal、Stack），支持依赖解析

评分能力

• 自动化代码编译验证：检测语法错误、依赖缺失等问题
• 测试用例执行：运行预设测试套件，验证代码功能正确性
• 评分规则适配：支持自定义评分标准（如测试覆盖率、代码风格、性能指标）
• 详细评估报告：生成包含错误信息、测试结果、得分明细的结构化反馈

平台集成

• 符合Prairielearn外部评分器接口规范，支持HTTP/JSON通信协议
• 支持Prairielearn作业提交事件触发，实时返回评分结果
• 兼容Prairielearn的评分权限控制与结果展示机制

安全与隔离

• 容器化环境隔离：每个评分任务在独立容器实例中执行，避免***代码影响
• 资源限制：可配置CPU/内存使用上限，防止无限循环或资源耗尽***
• 超时控制：支持任务执行超时设置，确保评分流程稳定性

使用场景

教育场景

• 高校计算机课程：Haskell编程作业的自动批改与反馈
• 在线编程培训：实时评估学员代码提交质量
• 编程竞赛：自动化检测参赛代码的正确性与效率

平台集成

• 作为Prairielearn平台的外部评分服务组件
• 集成到自定义LMS（学习管理系统）的编程作业模块
• 构建独立的Haskell代码在线评测系统

使用方法

基本部署

Docker Run命令

bash
docker run -d \
  -p 8080:8080 \
  -v /path/to/test-cases:/app/test-cases \
  -v /path/to/score-rules:/app/rules \
  --name haskell-grader \
  docker.xuanyuan.run/your-registry/haskell-prairielearn-grader:latest

参数说明

• -p 8080:8080：映射容器评分服务端口到主机
• -v /path/to/test-cases:/app/test-cases：挂载本地测试用例目录（需包含.hs测试文件）
• -v /path/to/score-rules:/app/rules：挂载评分规则配置文件（JSON格式）

环境变量配置

示例配置：

bash
docker run -d \
  -e TEST_TIMEOUT=60 \
  -e MAX_MEMORY=1024 \
  -p 8080:8080 \
  docker.xuanyuan.run/your-registry/haskell-prairielearn-grader:latest

与Prairielearn集成步骤

1. 配置Prairielearn外部评分器
   在Prairielearn课程实例配置文件中添加：

   json
   {
     "externalGrader": {
       "url": "http://haskell-grader:8080/grade",
       "enabled": true
     }
   }
   

2. 作业题目配置
   在Haskell作业题目目录中创建grader.json，指定评分参数：

   json
   {
     "testCaseDir": "/app/test-cases/assignment-1",
     "scoreRules": "basic-rubric.json"
   }
   

3. 启动服务
   确保评分器容器与Prairielearn服务在同一网络，或通过可访问URL通信。

评分规则文件格式示例

json
{
  "testCases": [
    {
      "name": "基础功能测试",
      "weight": 0.4,
      "passScore": 100
    },
    {
      "name": "边界条件测试",
      "weight": 0.3,
      "passScore": 100
    },
    {
      "name": "性能测试",
      "weight": 0.3,
      "passScore": 100,
      "timeout": 10
    }
  ],
  "penalties": {
    "compileError": 0,
    "runtimeError": 0.2
  }
}

注意事项

• 测试用例需符合Haskell语***范，推荐使用HUnit或tasty框架编写
• 生产环境中建议通过Docker Compose或Kubernetes进行服务编排，确保高可用性
• 定期更新镜像以获取最新的Haskell编译器安全补丁与功能优化