fderepas/tal-fsharp

F# 代码执行容器

镜像概述和主要用途

本Docker镜像用于在https://github.com/fderepas/try_all_languages/%E9%A1%B9%E7%9B%AE%E4%B8%AD%E6%89%A7%E8%A1%8CF#%E7%A8%8B%E5%BA%8F%E6%BA%90%E4%BB%A3%E7%A0%81%E3%80%82%E5%AE%83%E9%80%9A%E8%BF%87%E6%8C%82%E8%BD%BD%E4%B8%BB%E6%9C%BA%E7%9A%84%E8%BE%93%E5%85%A5%E7%9B%AE%E5%BD%95%E5%92%8C%E8%BE%93%E5%87%BA%E7%9B%AE%E5%BD%95%EF%BC%8C%E5%AE%9E%E7%8E%B0F#%E4%BB%A3%E7%A0%81%E7%9A%84%E7%BC%96%E8%AF%91%E3%80%81%E6%89%A7%E8%A1%8C%E5%8F%8A%E7%BB%93%E6%9E%9C%E8%BE%93%E5%87%BA%EF%BC%8C%E6%8F%90%E4%BE%9B%E5%AE%89%E5%85%A8%E9%9A%94%E7%A6%BB%E7%9A%84%E4%BB%A3%E7%A0%81%E8%BF%90%E8%A1%8C%E7%8E%AF%E5%A2%83%E3%80%82

核心功能和特性

• 代码编译：自动编译输入目录中的F#源代码文件
• 多输入处理：支持对多个标准输入文件执行程序
• 结果输出：为每个输入生成对应的标准输出、标准错误和返回码文件
• 安全隔离：默认禁用网络（--network none），确保执行环境安全
• 目录挂载：通过绑定挂载实现主机与容器间的文件交换

使用场景和适用范围

• 在线编程平台的F#代码执行环境
• 多输入测试场景，验证程序在不同输入下的运行结果
• 需要隔离环境的代码执行需求
• try_all_languages项目的F#语言支持组件

详细使用方法和配置说明

目录结构要求

• 输入目录（dir1）：存放F#源代码文件（如prog.fs）和标准输入文件（命名格式为inputN.txt，其中N为序号，从0开始）
• 输出目录（dir2）：用于接收执行结果文件，包括：
  • 标准输出文件：outN.txt
  • 标准错误文件：errN.txt
  • 返回码文件：errcodeN.txt

Docker运行命令示例

以下命令将当前目录作为输入和输出目录，执行2个输入文件（input0.txt和input1.txt）：

bash
docker run \
       --mount type=bind,source=`pwd`,target=/mnt/in,ro \
       --mount type=bind,source=`pwd`,target=/mnt/out \
       --network none \
       --name tal-fsharp-$ --rm \
       tal-fsharp:latest /bin/sh /home/tal/launch.sh 2

参数说明

• --mount type=bind,source=pwd,target=/mnt/in,ro：将当前目录绑定为容器的输入目录（只读）
• --mount type=bind,source=pwd,target=/mnt/out：将当前目录绑定为容器的输出目录
• --network none：禁用容器网络，增强安全性
• --name tal-fsharp-$：指定容器名称（包含进程ID，确保唯一性）
• --rm：容器退出后自动删除
• tal-fsharp:latest：镜像名称及标签
• /bin/sh /home/tal/launch.sh 2：启动脚本及输入数量（此处"2"表示处理input0.txt和input1.txt两个输入）

输出文件说明

执行后，输出目录将生成以下文件（以输入数量2为例）：

• 输入0对应：out0.txt（标准输出）、err0.txt（标准错误）、errcode0.txt（返回码）
• 输入1对应：out1.txt（标准输出）、err1.txt（标准错误）、errcode1.txt（返回码）