λ
Кривда, какой же ты тупой
Size: a a a
2021 March 07
AT
Можешь рассказать великим могучим без нечитабельной з
можно про версию S4 рассказать:
у тебя добавляется в качестве примитива один или два унарных конструктора типов: бокс и даймонд (даймонд часто не включают в систему)
всё что в боксе живёт может использоваться остальными термами без ограничений, а вот “небоксированные” термы обычно не могут проникнуть в боксированные.
это можно интерпретировать по-разному:
- боксированные термы представляют исходный код, на который можно
- боксированные термы представляют чистые вычисления, а небоксированные — с возможными эффектами
у тебя добавляется в качестве примитива один или два унарных конструктора типов: бокс и даймонд (даймонд часто не включают в систему)
всё что в боксе живёт может использоваться остальными термами без ограничений, а вот “небоксированные” термы обычно не могут проникнуть в боксированные.
это можно интерпретировать по-разному:
- боксированные термы представляют исходный код, на который можно
eval как в динамических языках, например, натравить; получаются двустадийные вычисления а-ля олеговский BER MetaOCaml- боксированные термы представляют чистые вычисления, а небоксированные — с возможными эффектами
w
можно про версию S4 рассказать:
у тебя добавляется в качестве примитива один или два унарных конструктора типов: бокс и даймонд (даймонд часто не включают в систему)
всё что в боксе живёт может использоваться остальными термами без ограничений, а вот “небоксированные” термы обычно не могут проникнуть в боксированные.
это можно интерпретировать по-разному:
- боксированные термы представляют исходный код, на который можно
- боксированные термы представляют чистые вычисления, а небоксированные — с возможными эффектами
у тебя добавляется в качестве примитива один или два унарных конструктора типов: бокс и даймонд (даймонд часто не включают в систему)
всё что в боксе живёт может использоваться остальными термами без ограничений, а вот “небоксированные” термы обычно не могут проникнуть в боксированные.
это можно интерпретировать по-разному:
- боксированные термы представляют исходный код, на который можно
eval как в динамических языках, например, натравить; получаются двустадийные вычисления а-ля олеговский BER MetaOCaml- боксированные термы представляют чистые вычисления, а небоксированные — с возможными эффектами
Лучше xml, можно теги на кириллице написать и сразу будет читаемо
K
в темпоралке — always/eventually
в языках с эффектами можно бокс интерпретировать, например, как вычисление без эффектов, типа как в Recovering Purity with Comonads and Capabilities
в языках с эффектами можно бокс интерпретировать, например, как вычисление без эффектов, типа как в Recovering Purity with Comonads and Capabilities
Как это на джавовом Alwaysable ?
AT
Как это на джавовом Alwaysable ?
Inexpressable
K
VS
Он реально ненавидел, кстати
VS
У меня знакомый с ним часто бухал в начале двухтысячных
K
Он реально ненавидел, кстати
Индейца видел седня
VS
Индейца видел седня
Неужто ты на скаладром пришел?
K
Неужто ты на скаладром пришел?
Да а
K
У меня знакомый с ним часто бухал в начале двухтысячных
Он зато электронику хорошую пискл
K
Мцызка то хорошая у них
M
У меня знакомый с ним часто бухал в начале двухтысячных
У меня мамка бывшего с ним встречалась
