编程语言中有趣或独特的类型？[关闭]

我们都看到过整数，浮点数，字符串和偶数十进制类型。您遇到过的最奇怪，独特或有用的类型有哪些？

我会简短：

Maybe a

在Haskell。

通过这种简单的结构，该语言解决了崩溃问题，或者NullPointerException巧妙地避开了Tony Hoare的“百万错误” ：)

坦白说，在编译时检查了一个可选的存在吗？像梦一样...

我常年喜欢void *。这可能是我内心深处有缺陷的症状。

Lua的内置桌子令人印象深刻。它具有内置的哈希表和向量，并且使用元表可以成为过程语言中面向对象编程的基本基础。

表的每个索引都可以接收任何基本语言结构（数字，布尔值，字符串，函数-是，函数是lua上的类型-和表）。

令我惊讶的是，还没有人提到Monads或Algebraic数据类型。

Lisp有两种有趣的类型：t和nil。关于它们的有趣之处在于，所有内容均为a t，没有内容为a nil。

SNOBOL：模式（基本上是LL（1）解析器树，如果我没有记错的话）。

Fortran具有常见的功能块；它是现代语言中最不常见的数据类型之一，或者说是一种有效共享数据的不寻常方式。

Fortran 95具有间隔类型和内置的间隔算法。

没有在Haskell中找到的单子类型，该列表将不完整。要了解它们，您需要付出一些努力。

Delphi有集合（另请参见），我相信在其他语言中不会以相同的方式实现这些集合。

这使得在数据库中存储多变量属性变得轻而易举：D

我想这实际上只是来自于经典体系结构编程的一种奇怪现象，但是对于我来说，最难缠的最难理解的类型之一就是量子寄存器，它出现在QCL中。

PL / SQL允许您声明类型的变量my_table.some_column%type...我发现该死的非常有用。

C＃允许您将对象声明为可为空或不可为空，尽管我不确定这是否可以视为类型。

年轻的时候，我对Euphoria的数据类型心存感激

它的结构如下：

Object
-> Atom
-> Sequence

• 原子=单个数值

• 序列=对象序列

  -- examples of atoms:
  
  0
  98.6
  -1e6
  
  -- examples of sequences:
  
  {2, 3, 5, 7, 11, 13, 17, 19}
  {1, 2, {3, 3, 3}, 4, {5, {6}}}
  {{"jon", "smith"}, 52389, 97.25}
  {}                        -- the 0-element sequence
  

  请参阅：参考手册

注意：“ jon”实际上是编写ASCII值序列的简便方法。例如"ABCDEFG"与{65, 66, 67, 68, 69, 70, 71}

Felix具有匿名和类型。类型写为：

typedef il = int + long;

就像理论上那样。这些值很丑陋：

case 0 of il (1)
case 1 of il (2L)

除了可能是诸如 3 = 1 + 1 + 1

case 0 of 3
case 1 of 3 

不幸的是，它使用零起点计数来实现“ C兼容性”。对于结构类型代数类型，匿名总和是必需的，例如：

(1 + T * li) as li

是T的（单链接）列表。我知道所有其他语言，需要使用名义上的总和，必须同时为类型本身和构造函数指定名称。

上面使用的速记3很可爱，库中有以下速记：

typedef void = 0;
typedef unit = 1;
typedef bool = 2;

和这个符号：

 T ^ 3

是静态长度3的数组。.3不是整数，而是3个单位的总和。可惜+没有关联:)

q / kdb +具有内置表。由于它是一种编程语言，并且是面向列的数据库，因此不需要LINQ或ORM。

例如，可以创建一个这样的表（分配是由:而不是=大多数语言来指定的）：

people:([]name:`Joe`Amy`Sarah; age:17 15 18; GPA:3.5 3.8 3.33)

现在我可以看看我的桌子：

q)show people
name  age GPA 
--------------
Joe   17  3.5 
Amy   15  3.8 
Sarah 18  3.33

我可以查询它：

q)select from people where GPA>3.4
name age GPA
------------
Joe  17  3.5
Amy  15  3.8

当我第一次听说工会的时候，我发现C ++中的工会是“古怪的”。我仍然没有碰到明显的实施方案。

我仍在努力解决F＃和其他功能语言中的多参数函数的问题。基本上 int f（Foo，Bar） 变成 func f（Foo）

那是一个带Foo且Bar并返回一个int的两个参数函数，实际上是一个带Foo并返回一个带Bar并返回一个int的单参数函数的单参数函数。但是，您可以根据需要使用两个参数调用它。我在这里写了一篇关于它的文章

常用表达：

它们是功能强大但紧凑的对象。
内置这些语言的语言具有处理文本的强大能力（让它们听不到单词解析的声音不是那么好）。

函数族中的几种语言都有一类称为Unity的类型。Unity类型的显着特征是它们不包含任何信息，它们是零位类型。统一类型（在某些变体中）也是其唯一值，或者（在大多数其他情况中）仅具有一个值（本身不是一种类型）。

但是，它们是有用的，因为它们是可区分的类型。由于您不能从一个统一类型隐式转换为另一个统一类型，因此可以使静态类型检查以一种非常有效且富有表现力的方式工作。

Unity也是大多数此类语言描述Enums的方式，通过允许新类型成为定义的其他类型集中的任何一种，或描述可能的类型，这些值可以是典型类型的值（例如整数） ，或具有代表无值的值。

一些不使用用户定义的统一类型丰富性的语言在它们中仍然具有某种形式的统一性。例如，Python有至少三种类型的统一，NoneType，NotImplementedType，和EllipsisType。有趣的是，前两个都表示“无值”之类的东西，但是第三个用于复杂值（特别是切片表达式）来表示有趣的特殊情况。

其他有趣的统一示例包括NULLsql和undefinedjavascript，但不void包括C或C ++。 void失败。即使它描述的是没有信息的值，但任何实际值都不能是type void。

Ruby的symbol类型有点不寻常。本质上，这是一个实现单例模式的字符串。或者其他的东西。到目前为止，我发现符号的最佳用途是在跟踪状态和传递函数名称中。

COBOL。本质上只有两个基本数据类型，即字符串和数字，但是您必须准确指定它们在内存中的布局方式，例如PIC S9(5)V99 COMP-3。

Clipper具有“代码块”，类似于匿名方法。它们可以传递并根据需要进行评估，通常以回调的形式进行。在显示数据表时，您经常将它们用于诸如动态执行计算之类的事情。

VHDL具有物理类型。这种类型的文字包括值和单位。您也可以定义子单元。例如，预定义的物理类型是time：

type time is range <machine dependant> to <machine dependant> 
units
  fs;
  ps = 1000 fs;
  ns = 1000 ps;
  us = 1000 ns;
  Ms = 1000 us;
  sec = 1000 ms;
  min = 60 sec;
  hr = 60 min;
end units;

与运算符重载一起，您可以定义非常有趣的事情。

Clojure之所以有趣，是因为它具有遍及该语言的“抽象”的元概念。例子：

• 馆藏
• 序列（惰性和非惰性）
• 高阶函数
• 多种方法
• 通讯协定
• 托管参考
• 巨集
• 各种其他.....

在某种程度上，抽象将“ 单一责任原则 ”发挥到了极致。您可以自行组合它们以获得所需的功能，但是在将它们粘合在一起时可以非常灵活。

例如，如果您希望具有继承的基于类的OOP系统，则可以相对快速地从这些核心抽象中构建一个。

实际上，以一种可以实现多种实现的方式来设计抽象本身，例如，通过特定的接口，例如对序列的clojure.lang.ISeq或对高阶函数的clojure.lang.IFn。

有一个关于这个主题的有趣视频：抽象艺术

如果您想要一种具有唯一类型的语言，请前往BCPL。这种语言只有一种数据类型，即单词，是该语言实现的固定位数。

Googles Go具有非常独特的“频道”类型。