类别 Languages
Created by: stanley soerianto
Number of Blossarys: 107
English (EN)
Kojo is a programming and learning environment - with many different features that enable play, exploration, creation, and learning in the areas of computer programming, mental skills, (interactive) ...
JavaScript (JS) is a dynamic computer programming language. It is most commonly used as part of web browsers, whose implementations allow client-side scripts to interact with the user, control the ...
Idris is a general-purpose pure functional programming language with dependent types. The type system is similar to the one used by Agda. The language supports interactive theorem-proving comparable ...
Haxe is an open-source high-level multiplatform programming language and compiler that can produce applications and source code for many different platforms from a single code-base. Code written in ...
哥德尔是通用的声明性编程语言的基础的四个主要的编程范式，即，一个逻辑编程。它是由帕特里夏 · 希尔和约翰 · 劳埃德 · 开发。 的基本理念和哥德尔的功能主要取自 Prolog 语言。它的名字命名的逻辑学家库尔特 · 哥德尔，虽然首字母缩略词 ' 神 ' s 自己的声明性语言 ' ...
Gödel is a general-purpose, declarative programming language based on one of the four main programming paradigms, namely, logic programming. It was developed by Patricia M. Hill and John W. Lloyd. ...
Fortran (previously FORTRAN, derived from Formula Translating System) is a general-purpose, imperative programming language that is especially suited to numeric computation and scientific ...
