哪些Diagrams后端支持动画渲染？

好问题！在Diagrams库中，目前有两个后端明确支持Animation类型的Mainable实例，能直接通过mainWith生成逐帧动画文件：

• Cairo后端：这正是你参考的教程里用到的后端。它会生成一系列带索引的位图帧（比如PNG格式），你之后可以用ffmpeg这类工具把帧合并成GIF或视频。使用时需要导入Diagrams.Backend.Cairo.CmdLine，它自带Animation Cairo v n的Mainable实例。

• Rasterific后端：和Cairo类似，它也支持生成逐帧的位图文件（支持PNG、JPG等格式）。导入Diagrams.Backend.Rasterific.CmdLine就能使用对应的实例。

另外补充一下你提到的SVG后端：SVG后端本身没有为Animation类型提供Mainable实例，但它可以通过其他方式创建动画——比如用animateDiagram函数生成内嵌动画效果的SVG文件，不过这和逐帧导出的动画逻辑不太一样，不是直接用mainWith处理Animation类型。

内容的提问来源于stack exchange，提问作者Wheat Wizard