J语言
J语言，是一种阵列编程语言，由肯尼斯·艾佛森和於1990年代初發明。J语言是APL語言的一种方言，延续了APL鲜明的簡潔性，它在數學和统计学程式設計上十分高效，特別是在需要进行矩陣运算的场合。 J语言最初起步于肯尼斯·艾佛森在1987年发表的《APL字典》，它实现了其中至关重要的秩的概念。J语言提供隐式定义机制包括秩、钩子、叉子和多种，并介入了作为头等对象的动名词，用以建立控制结构，它常被作为隱式編程的典范之一。 简介 J语言的运算符，…
标签：#函数级语言
共 5 篇文章
FP语言
FP（缩写的Functional Programming），最终导致了现代函数式语言，但不是Backus曾希望的函数级范型。 在他的这篇图灵奖论文中，Backus描述了FP风格与基于lambda演算的语言有着如何不同： {{quote|FP系统基于了对叫做泛函形式（functional form）的一组固定的组合形式的利用。它们加上简单的定义，就是从现存函数建造新函数的唯一方式；它们不使用变量或替代（substitution）规则，并且…
Factor语言
Factor是Slava Pestov创建的面向堆栈编程语言。Factor是动态类型的并拥有自动内存管理，还有强力的元编程特征。语言有一个单一的实现，特征包括自宿主的优化编译器和一个集成开发环境。Factor发行包括一个大型的标准库。 历史 Slava Pestov在2003年创建Factor作为视频游戏的脚本语言。最初的实现，现在称为JFactor，是用Java实现的并运行在Java虚拟机上。尽管在语法方面早期的语言表面上类似现代的F…
FL语言
FL（缩写的Function Level，函数级别），是John Backus、John Williams和Edward Wimmers在1980年代于IBM研究院创立的函数式编程语言，并于1989年形成报告文档。FL被设计为Backus更早的FP语言的后继者，提供了对Backus所称的函数级编程的专门支持。 FL是动态类型的严格函数式编程语言，带有很类似ML中的throw和catch的异常语义。每个函数都有一个隐含的历史实际参数，它被…
函数级编程
在计算机科学中，函数级（Function-level）编程，指称John Backus在他的将程序作为数学对象来研讨的著作中标识出的两种对立编程范型之一，另一种是值级（Value-level）编程。在Backus研究并出版他自己的函数级风格编程之时，他的提议在很大程度上被误解为支持传统的函数式编程。 概述 Backus在他的1977年图灵奖获奖演讲中，阐述了为何他认为在编程语言设计中需要切换到一种不同的哲学： 编程语言似乎遇到了麻烦。每…