语言之争由来已久，下面做一些IO实验（遍历9G多的文件，批量删除），尽量用事实来比较谁优谁劣。操作系统：win7 64 位，文件包大小：9.68G。
一、语言：C#
开发环境：vs 2013
代码总行数：43行
耗时：7秒
代码：
using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Text;
using System.Threading.Ta
皮卡
皮卡（Pika）是一种小型的依存类型ML，具有代数效应和非盒装类型。 这是编译器的重写版本，新的受启发。
目前，Pika可以将依赖类型的lambda演算编译为LLVM（通过 ，一种依赖类型的优化中间语言），从而编译为本机代码，但是尚未实现其所有计划功能。
例子
Pika尚未实现其所有计划的功能，但以下是一些当前可用的功能。 在tests文件夹中查找当今可以使用的更多Pika代码示例。 有关计划功能的演示，请参见demo.pk
# Syntax is similar to Standar
