SN
Size: a a a
SN
VS
SN
SN
SN
SN
SB
SB
АВ
АВ
K
Int
- 32битное,Nat
- какой именно Nat? Integer
- GMP bigint, целое неограниченного размераNatural
- неотрицательное целоеIntegral
- это вообще интерфейс ко всем числам, реализующим целочисленное делениеInteger
.K
K
String
, по историческим причинам, - это односвязный список символов. Зато все функции над списком применимы и к строке.Bytestring
(4 вида - Char
/Byte
, ленивые/строгие, символьные и байтовые можно бесплатно кастовать друг в друга, из строгих бесплатно делаются ленивые) - нужны, когда вы собираетесь совать/вынимать байты в/из сокетов.map
, filter
и всего прочего.Text
(2 вида) нужен, когда вы решили наступить в юникод.Bytestring
и Text
позволяют, при известной осторожности, представить бесконечный поток байт/юникода. Внутри у них "верёвка" (https://en.wikipedia.org/wiki/Rope_(data_structure)).SN
оГ
Ɖ
SN
оГ
оГ