Java-远程-1个月

项目编号：【140587】
要求：资深java，了解haskell

对于第一个目标，我们需要考虑Graphviz库是否能够正确使用。要求是能够根据项目中的具体文件正确地生成依赖图，并且能够被Java正确地读取和识别。


第二个问题是拓扑排序算法的实现。要求是能够根据特定文件准确地生成依赖文件的子集。这意味着脚本生成的依赖文件列表能够被编译，并且特定的Agda文件能够成功运行。


第三种是使用多个核心来编译Agda文件。最终的项目应该能够并行编译多个文件，而且多核处理的时间应该比逐个编译文件的时间短。


第四个目标是为多核处理进行优化，拓扑排序将导致不同的实现方式产生不同的排列组合。这意味着我们需要考虑拓扑排序的一般化。应尽可能合理地使用用于并行处理的文件分类，以提高效率。


第五个目标是在时间允许的情况下考虑其他图算法来实现项目。这些目标是对项目目标的分解，可以看作是初步的架构和设计。