Pure 编程语言 正在参加 2020 年度 OSC 中国开源项目评选,请投票支持!
Pure 编程语言 在 2020 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
投票让它出道
已投票
授权协议 LGPL
开发语言
操作系统 Linux
软件类型 开源软件
所属分类 编程语言
开发厂商
地区 不详
提 交 者 红薯
适用人群 未知
收录时间 2010-06-10

软件简介

Pure 是一个高级的函数式编程语言. It offers equational definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix support and an easy-to-use C interface. The interpreter uses LLVM as a backend to JIT-compile Pure programs to fast native code.

示例:

$ pure
Pure 1.0 (i686-pc-linux-gnu) Copyright (c) 2008, 2009 by Albert Graef
This program is free software, and you are welcome to redistribute it under
certain conditions
. There is ABSOLUTELY NO WARRANTY. (Type 'help copying'
for more information.)
Loaded prelude from /usr/local/lib/pure/prelude.pure.

> 6*7;
42
展开阅读全文

评论 (0)

加载中
更多评论
暂无内容
发表了博客
2019/03/19 22:41

org.apache.xerces.dom.ElementNSImpl.setUserData(Ljava/lang/String;Ljava/lang

HTTP Status 500 - Handler processing failed; nested exception is java.lang.AbstractMethodError: org.apache.xerces.dom.ElementNSImpl.setUserData(Ljava/lang/String;Ljava/lang/Object;Lorg/w3c/dom/UserDataHandler;)Ljava/lang/Object; type Exception report message Handler processing failed; nested exce...

0
0
发表于大前端专区
2016/09/09 16:51

lang属性

lang属性可指定标签范围内元素的语言种类。<html lang="en"> lang="en"——英语 lang="zh"——中文 lang="ja" ——日语 http://www.monmonkey.com/rumenpian/html/attr/lang.html

0
0
发表了博客
2019/09/28 21:57

题解 [ABC142F] Pure

AT5256 [ABC142F] Pure 题目描述 给定一个 $n$ 个点,$m$ 条边的有向图 $(n \le 1000, m \le 2000)$。 找到一个子图,使得子图里每个点的入度和出度都等于 1。 输出方案。 正解 题目要求即找到一个环,环内的点都只向外连一条边。 手玩发现可以先找到任意一个环,假如环内有连边,就把环缩小,一直缩到环内每个点出度都为...

0
0
发表于服务端专区
2016/12/05 14:31

Commons Lang

Commons Lang The standard Java libraries fail to provide enough methods for manipulation of its core classes. Apache Commons Lang provides these extra methods. Lang provides a host of helper utilities for the java.lang API, notably String manipulation methods, basic numerical methods, object refl...

0
0
发表了博客
2016/12/16 14:54

common-lang

常用类地址

0
0
发表了博客
2018/03/06 01:18

docker pure-ftpd

FROM alpine:3.7 ADD http://dl-4.alpinelinux.org/alpine/edge/testing/x86_64/pure-ftpd-1.0.47-r0.apk /root RUN apk add --allow-untrusted /root/pure-ftpd-1.0.47-r0.apk RUN mkdir /ftpconf /ftp && \ chmod 0777 /ftp && \ cp /etc/pure-ftpd.conf /ftpconf && \ touch /ftpconf/pure-ftpd.pdb EXPOSE 21 30000:...

0
0
发表了博客
2013/07/16 15:51

Pure中文版发布了

折腾了几天,终于把Pure这个CSS框架的网站翻译完了,初次翻译,难免有些问题,欢迎指正! Pure网站:http://purecss.io/ Pure中文网站:http://pure-site.ap01.aws.af.cm/

15
11
没有更多内容
加载失败,请刷新页面
点击加载更多
加载中
下一页
暂无内容
0 评论
4 收藏
分享
返回顶部
顶部