首先得明确一个核心点：OpenGL本质是实时渲染API，它负责把你的3D几何数据转换成屏幕上的像素，但要导出3D打印格式，关键是要拿到模型的原始几何数据（三角面片、顶点坐标这些），而不是渲染后的2D图像。你提到的STL解析包完全可以和Haskell的OpenGL工作流配合，下面分情况给你梳理：

• 如果你是手动构造的3D模型（比如直接定义顶点、三角面）
  这种情况最简单——你本身就持有生成STL需要的核心数据。Haskell里的STL处理包（比如stl）通常会提供Triangle类型和文件写入函数，你只需要把自己的三角面数据转换成包要求的格式（比如每个三角面的三个顶点坐标+法向量），直接调用写入接口就能生成标准的STL文件，完全不需要和OpenGL的渲染流程绑定，因为你已经掌握了模型的几何信息。

• 如果你的模型是通过OpenGL动态生成的（比如曲面细分、Shader生成几何）
  这时候你需要先把GPU中生成的几何数据读回CPU：

  1. 可以用变换反馈（Transform Feedback） 特性，在Shader执行时捕获生成后的顶点数据；
  2. 或者用getBufferSubData函数（Haskell的OpenGL包提供了对应绑定），从顶点缓冲对象（VBO）中读取最终的顶点数据。
     拿到这些数据后，整理成三角面片结构，再用STL包写入文件即可。

• 除了STL的替代选择
  3D打印支持的格式不止STL，比如OBJ、AMF都是常用选项：

  • OBJ格式更灵活，支持顶点颜色、材质信息，Haskell的obj包可以处理这类文件；
  • AMF则支持更复杂的几何和颜色，适合高精度打印需求。

之前有人觉得你的问题表述模糊，其实你的需求很清晰——从Haskell OpenGL的3D场景导出可3D打印的几何文件，核心就是把渲染逻辑和几何数据导出逻辑分开，别盯着OpenGL的渲染结果，而是聚焦于你用来渲染的（或GPU生成的）原始几何数据就行。

内容的提问来源于stack exchange，提问作者Stéphane Laurent