Pika is a pure-Python implementation of the AMQP 0-9-1 protocol that tries to stay fairly independent of the underlying network support library. Pika was developed primarily for use with RabbitMQ, but should also work with other AMQP 0-9-1 brokers.
皮卡
皮卡(Pika)是一种小型的依存类型ML,具有代数效应和非盒装类型。 这是编译器的重写版本,新的受启发。
目前,Pika可以将依赖类型的lambda演算编译为LLVM(通过 ,一种依赖类型的优化中间语言),从而编译为本机代码,但是尚未实现其所有计划功能。
例子
Pika尚未实现其所有计划的功能,但以下是一些当前可用的功能。 在tests文件夹中查找当今可以使用的更多Pika代码示例。 有关计划功能的演示,请参见demo.pk
# Syntax is similar to Standar