idris-malfunction:Idris的实验性故障后端

Idris后端故障 将Idris编译为 似乎进展很快： $ idris pythag.idr -o pythag-idris $ idris pythag.idr --codegen malfunction -o pythag-malfunction $ time ./pythag-idris > /dev/null real 0m13.102s user 0m13.084s sys 0m0.004s $ time ./pythag-malfunction > /dev/null real 0m1.096s user 0m1.092s sys 0m0.000s $