gocaml:使用Go和LLVM的实用静态类型函数编程语言实现 源码
GoCaml :two-hump_camel: GoCaml是使用基于Go中OCaml的子集。 GoCaml为原始MinCaml添加了许多功能。 MinCaml是用于教育目的的OCaml的最小子集。 它是静态类型的,并编译为二进制。 该项目旨在针对我自己的编程语言进行增量编译器开发。 实现类型推断,闭包转换,中级IR。 例: let rec gcd m n = if m = 0 then n else if m < = n then gcd m (n - m) else gcd n (m - n) in print_int (gcd 21600 337500 )
用户评论
推荐下载
-
java语言实现ping函数的功能
通过几个java包中的API实现了ping这样的功能,完整代码请参考!
26 2019-07-25 -
详解用Go语言实现工厂模式Golang经典编程案例
golang中的struct没有构造函数,一般可以使用工厂模式来解决这个问题。这个模式本身很简单而且使用在业务较简单的情况下。一般用于小项目或者具体产品很少扩展的情况。在student.go中:在ma
7 2021-12-30 -
idiolisp一种静态类型化的功能编程语言源码
idiolisp:一种静态类型化的功能编程语言
9 2021-02-09 -
Go语言类型转换
Go 语言类型转换 类型转换用于将一种数据类型的变量转换为另外一种类型的变量。Go 语言类型转换基本格式如下: type_name(expression) type_name 为类型,expressi
17 2021-01-04 -
go语言实现的memcache协议服务的方法
主要介绍了go语言实现的memcache协议服务的方法,实例分析了Go语言使用memcache的技巧,具有一定参考借鉴价值,需要的朋友可以参考下
18 2020-11-26 -
joujou从小型函数语言到C的编译器尤其具有代数效果和具有多重连续的处理程序以及具有类型和效果推断功能且具有子类型的静态类型系统源码
joujou:从小型函数语言到C的编译器。尤其具有代数效果和具有多重连续的处理程序,以及具有类型和效果推断功能且具有子类型的静态类型系统
4 2021-02-01 -
labrys一种基于LLVM的玩具语言可实现SystemFω类型系统源码
labrys:一种基于LLVM的玩具语言,可实现SystemFω类型系统
10 2021-02-01 -
解析C++中的虚拟函数及其静态类型和动态类型
虚拟函数是C++语言引入的一个很重要的特性,它提供了“动态绑定”机制,正是这一机制使得继承的语义变得相对明晰。 (1)基类抽象了通用的数据及操作,就数据而言,如果该数据成员在各派生类中都需要用到,那么
10 2021-01-17 -
go语言实现处理表单输入
以上所述就是本文的全部内容了,希望大家能够喜欢。
14 2021-01-03 -
Go语言实现RSA数字签名
package main import ( os encoding/pem crypto/x509 crypto/rsa crypto/sha256 crypto/rand crypto fmt )
34 2021-01-15
暂无评论