Learn-OCaml Docker镜像文档

镜像概述和主要用途

Learn-OCaml是一个用于学OCaml语言的平台，提供Web交互式环境、练系统以及课程和教程目录。该Docker镜像封装了Learn-OCaml平台，便于快速部署和使用。

在线演示可访问：[***]

核心功能和特性

• Web交互式OCaml编程环境
• 完整的练***系统，支持自动评分
• 课程和教程目录管理
• 可定制的学***内容
• 学生答案分类和管理功能

使用场景和适用范围

• OCaml语言初学者的自学平台
• 大学或培训机构的OCaml教学辅助工具
• OCaml编程练***和评估系统
• 编程工作坊和研讨会的实践环境

Docker镜像信息

提供两个Docker镜像：

• 服务器镜像: ocamlsf/learn-ocaml
• 客户端镜像: ocamlsf/learn-ocaml-client

使用方法和配置说明

基本使用

启动服务器容器

docker run -d -p 8080:8080 --name learn-ocaml-server ocamlsf/learn-ocaml

容器启动后，可通过访问 http://localhost:8080 使用Learn-OCaml平台。

使用客户端容器

docker run --rm -it ocamlsf/learn-ocaml-client learn-ocaml --help

持久化数据

为确保练***数据和用户进度不丢失，建议挂载数据卷：

docker run -d -p 8080:8080 \
  --name learn-ocaml-server \
  -v learn-ocaml-data:/root/.local/share/learn-ocaml \
  ocamlsf/learn-ocaml

自定义配置

可以通过环境变量自定义配置：

docker run -d -p 8080:8080 \
  --name learn-ocaml-server \
  -e LEARN_OCAML_PORT=8080 \
  -e LEARN_OCAML_HOST=0.0.0.0 \
  ocamlsf/learn-ocaml

Docker Compose部署方案

创建docker-compose.yml文件：

version: '3'

services:
  learn-ocaml:
    image: ocamlsf/learn-ocaml
    container_name: learn-ocaml-server
    restart: always
    ports:
      - "8080:8080"
    volumes:
      - learn-ocaml-data:/root/.local/share/learn-ocaml
    environment:
      - LEARN_OCAML_PORT=8080
      - LEARN_OCAML_HOST=0.0.0.0

volumes:
  learn-ocaml-data:

启动服务：

docker-compose up -d

进阶指南

练***开发

• 如何设置练***开发环境？
• 如何编写练***？
• 如何向全局题库提交练***？

部署与管理

• 如何部署Learn OCaml实例？
• 如何静态部署Learn-OCaml？
• 如何使用Learn-OCaml练***OCaml？
• 如何分类学生答案？

联系方式

使用者交流

若有关于如何使用Learn-OCaml的问题，请订阅邮件列表 learn-ocaml-club。

开发者交流

若要讨论Learn-OCaml的开发事宜，请订阅邮件列表 learn-ocaml-dev。

许可证和版权

除非文件中明确说明，否则应用程序的源代码、图像、静态文件、课程内容和练***均采用MIT许可证。

包含轻微修改的第三方组件ACE和ppx_metaquot，分别采用其原始许可证（BSD和MIT）。

OCamlPro徽标图像版权归OCamlPro所有，允许再分发，修改需经OCamlPro事先书面授权。

OCaml / ocaml.org徽标采用非常宽松的UNLICENSE许可证。详见[***]

Inconsolata字体采用Open Font License许可证。详见[***]

Biolinum字体采用GNU通用公共许可证，并带有"Font-Exception"条款。详见[***]

Learn OCaml的公共实例使用Fontin字体代替Biolinum。该字体采用exljbris Font Foundry Free Font License Agreement许可证，据我们理解，不允许重新分发。详见[***]

本仓库的贡献采用MIT许可证。这意味着我们可以将它们与代码库的其余部分以相同的许可证合并，而您保留对代码的所有权利。我们也不必为将来的许可证更新打扰您。详见[***]

作者和致谢

Learn-OCaml是OCaml软件基金会开发的自由软件。

2015年至2018年由OCamlPro编写。

当前主要贡献者包括Érik Martin-Dorel、Yann Régis-Gianas和Louis Gesbert。

初始作者为Benjamin Canou、Çağdaş Bozman、Grégoire Henry和Louis Gesbert。

该项目基于Try OCaml的先前经验，由Çağdaş Bozman和Fabrice Le Fessant开发。

我们大量使用js_of_ocaml，感谢Ocsigen团队。

文本编辑组件是ACE的定制版本。

我们还包含了Alain Frisch开发的ppx_metaquot的衍生版本。