Коллеги, помогите разобраться в одном вопросе. На какой тип данных опираются

Question

Коллеги, помогите разобраться в одном вопросе. На какой тип данных опираются

все разновидности текстовых данных в Haskell? Инными словами, что из себя представляет к примеру формат Char, является ли это корневым форматом данных utf8 или что это вообще? Можно ли уйти с GHC куда то глубже?

я понимаю что дальше бита не уйдешь, но где начинается здравый смысл а не абстрактный анализ?

#haskell #programming #russian

0

30.11.2021

17 ответов

9 просмотров

TOV_MULTIMASSO

https://hackage.haskell.org/package/base-4.16.0.0/docs/Data-Char.html - Char это code point, что бы это не значило. Строка - это односвязный список символов. Строгие байтовые строка и Text - это [указатели на] куски памяти. В случае байтстроки - с любым содержимым, в случае Text - с валидным текстом в кодировке UTF-8 UTF-16. Нестрогие байтстроки и нестрогий Text - это верёвки (rope) из своих строгих вариантов. Тип Char появляется только когда напрямую достать символ из байтстрок и текста. Или если работать с type String = [Char], который неэффективен по памяти и нелокален по кешу. Напрямую Char не хранится.

0

30.11.2021

Nutritional Rabbit

Можно до си-типов спуститься

0

30.11.2021

Aleksandr Khristenko

TOV_MULTIMASSO
https://hackage.haskell.org/package/base-4.16.0.0/...

вроде со следующей версии text будет поверх utf8

0

30.11.2021

TOV_MULTIMASSO

Aleksandr Khristenko
вроде со следующей версии text будет поверх utf8

Будет, но надо дожить ещё

0

30.11.2021

Ivan Kretov Автор вопроса

TOV_MULTIMASSO
https://hackage.haskell.org/package/base-4.16.0.0/...

То есть из этого следует, что если ты указываешь Char в конструкторе, то компилятору надо дополнительно париться как его хранить, я правильно понимаю?

0

30.11.2021

TOV_MULTIMASSO

Ivan Kretov
То есть из этого следует, что если ты указываешь C...

Если ты указываешь что угодно в конструкторе без (! или {-# language StrictData #-}) и директивы {-# UNPACK #-} - любое поле будет по ссылке и ленивое.

0

30.11.2021

Ivan Kretov Автор вопроса

TOV_MULTIMASSO
Если ты указываешь что угодно в конструкторе без (...

логично

0

30.11.2021

Ivan Kretov Автор вопроса

TOV_MULTIMASSO
Если ты указываешь что угодно в конструкторе без (...

спасибо

0

30.11.2021