169 похожих чатов

А если хаскельные функции – это не (совсем) математические функции,

то может, и хаскельная тотальность/частичность – это не (совсем) математическая тотальность/частичность?

15 ответов

1 просмотр

что тогда "хаскельная частичность"?

A64m AL256m qn<cores> I0
что тогда "хаскельная частичность"?

Предлагали "возвращает не-боттом, если даны не-боттом аргументы"

Kirill Valyavin
Предлагали "возвращает не-боттом, если даны не-бот...

и про какую хаскельную функцию можно такое сказать?

Kirill Valyavin
Чёита?

ну, эти функции могут вычислится в боттом принеботтом аргументах

Kirill Valyavin
Чёита?

Осторожно, ваше зануд-фу недостаточно прокачано

Maxim Koltsov
приведи пример

ну вот сейф хед аллоцирует Just и отдает управление. тут обнаруживается что в тред в котором сейф хед работает прилетело асинхронное исключение конец

Kirill Valyavin
safeHead именно вернёт это исключение?

ну она "вернет" "боттом", исключение это не возвращаемое значение в хаскеле

Maxim Koltsov
ты это не отличишь

Я имею в виду, разве это не какой-то отдельный рантайм-механизм, не связанный с вычислением санков?

Похожие вопросы

Обсуждают сегодня

читать файл максимально быстро? странный вопрос))
zamtmn
53
Приветствуем всех! Устали без проектов? Если вы программист и хотите получать стабильные заказы, компания Elif предлагает вам недельный курс по поиску проектов и их ведению. ...
Elif
1
А чего сейчас в моде вместо Error для эксепшенов? А то я тут внезапно узрел что он не рекомендуется :) У Try::Tiny какой-то совершенно ужасный синтаксис если надо конкретные э...
Denis F
18
Привет. Сразу скажу, что на C/C++/Rust я не пишу, но тем не менее возникла потребность дебага C/C++/Rust кода. Суть: есть серверное приложение, которое периодически ведёт себ...
ninekeem 🐳
4
или вы считаете муит дает знание?
супер_лох_3000 альфа версия
12
всем привет! углубившись в плюсы и начав изучать реверсинг понял, что без асм'а никуда со своими высокоабстрактными представлениями начал изучать механизмы асма, и не совсем п...
9
А кто такой мужчина в твоем понимании Азиз?
who?です 🐈
11
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Ну значит тебе повезло, мы же про транк говорим оба?
Александр (Rouse_) Багель
11
Всем ку. Подскажите, если задекларировал массив так: int arr[10] = {1, 2, 3, 4}, то в arr[4] будет мусор или нуль?
Sasha K
14
Карта сайта