Wolfram语言
Wolfram语言（通常指代Mathematica或者缩写为 M）是Mathematica 和Wolfram Programming Cloud所使用的语言。这是一种由沃尔夫勒姆研究公司开发的多范型编程语言。它具有广泛和普遍的适用性，主要特点是符号计算、函数式编程和基于规则的编程。它可以用来创建和表示任何结构和数据。 它与Raspberry Pi上安装的系统软件捆绑。Intel Edison与Unity游戏引擎也集成了该语言。 命名 该…
标签：#宣告式編程語言
共 9 篇文章
Erlang
{{Otheruses|subject=-{zh-hans:程序设计语言; zh-hant:程式語言;}-Erlang|disambig=Erlang (消歧義)}} {{Infobox programming language | name = Erlang | logo = Erlang logo.svg | logo_size = 200x100px | paradigm = 多重典範}-：函數式、並行}- | year = | …
QML
QML (Qt Markup Language 或 Qt Meta Language 或 Qt Modeling Language) 是基於JavaScript、宣告式編程的程式語言，用於設計圖形使用者介面為主的應用程式。它是，諾基亞開發的使用者介面建立套件的一部分。QML 主要用於行動應用程式，注重於觸控輸入、流暢的動畫（60張/秒）和使用者體驗。QML documents 描述元素的物件樹。 QML 元素可以透過標準 JavaScr…
Miranda语言
Miranda，是一種惰性求值的纯函数式編程語言，由英國學者所設計。採用來自ML與Hope语言的概念，他用此來作為他先前所設計的SASL與KRC语言的後繼者。這個程式語言由英國的研究軟體公司出品，這間公司擁有這個程式語言的商標權。 Miranda在1985年首次發表以C語言寫成的直譯器，能夠在類UNIX系統上運作。隨後在1987年與1989年發行了更新版。Miranda強烈的影響了後來發展出的Haskell語言。 概述 Miranda是…
Microsoft Power Fx
Microsoft Power Fx是一种低階、通用的编程语言。 该编程语言於Ignite 2021上首次公布，规范于2021年3月发布。 由於Microsoft Power Fx有點类似於電子試算表，所以門檻較低，特別對於Excel用户來說，他們上手更容易。Power Fx也受到Pascal語言、Wolfram Mathematica和Miranda等编程语言和工具的影响。 Power Fx语言是由Vijay Mital、Robin …
SQL
SQL（或，Structured Query Language，结构化查询语言）是一种特定目的程式语言，用于管理关系数据库管理系统（RDBMS），或在关系流数据管理系统（RDSMS）中进行流处理。 20 世纪 70 年代推出的 SQL 相比早期的读写 API（如 ISAM 或 VSAM）具有两大优势：首先，引入了用一条命令访问多条记录的概念；其次，也消除了指定如何访问记录的需求（即无论是否使用索引）。 SQL最初基于关系代数和元组关系演…
Curl语言
Curl语言是一种被设计来编写网络程序的编程语言。由美國的麻省理工學院開發。它的目标是以一种单一的语言来取代HTML，Cascading Style Sheets（层叠样式表）和JavaScript，虽然它目前并未在世界范围内被广泛使用，但在日本有一定的普及。 Curl不像HTML，它不是一种文本标记语言，但Curl语言既可以用于普通的文本显示，又可以用于实现大规模的客户端商业软件系统。Curl不利的一面是：需要向客户端安装运行环境。 …
Gremlin
Gremlin是Apache软件基金会下的Apache TinkerPop开发的图遍历语言和虚拟机。Gremlin适用于基于OLTP的图数据库以及基于OLAP的图处理器。Gremlin的函数式语言和自动机基础使Gremlin能够自然地支持指令式和声明式查询、主机语言不可知性、用户定义的领域特定语言、可扩展的编译器/优化器、单机和多机运行模型、混合深度和广度优先评估以及图灵完备性。 作为一个解释性的类比，Apache TinkerPop和…
SQL-92
SQL-92是SQL数据库查詢語言規範的第三次修订。与SQL-89不同的是，此次修訂是SQL数据库查詢語言标准的一次改動較大的修订。除了一些小細節不兼容之外，SQL-92可以向前兼容SQL-89标准。与SQL-89相比，SQL-92規範內容增长了大约五倍。 参考文献