Size: a a a

2021 May 18

L

Lierdakil in Haskell
да нет, вроде счётному множеству аксиом схема выделения равносильна. но я не настоящий сварщик.
источник

L

Lierdakil in Haskell
что было до ЦФ я понятия не имею. но в смысле аксиоматического обоснования -- ноги растут из ЦФ, и встречается название ZF-notation. насколько корректное -- не разбирался
источник

L

Lierdakil in Haskell
но справедливости ради, во всех русскоязычных околоматематических источниках которые я читал этой нотацией пользуются, не особо задумываясь как её называть.
источник

L

Lierdakil in Haskell
так что устоявшегося термина по ходу и для set comprehensions тоже нет
источник

JS

Jerzy Syrowiecki in Haskell
если бы я придумывал термин с нуля, назвал бы "построением"
источник

L

Lierdakil in Haskell
но само словечко таки из логики видимо
источник

L

Lierdakil in Haskell
и там да, потому что comprehensive
источник

L

Lierdakil in Haskell
в первом попавшемся техническом словаре предлагают перевод "содержание понятия"
источник

JS

Jerzy Syrowiecki in Haskell
а что значит "comprehensive" в логике?
источник

L

Lierdakil in Haskell
> In logic, the comprehension of an object is the totality of intensions

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

L

Lierdakil in Haskell
> intension is any property or quality connoted by a word, phrase, or another symbol

предвосхищая следующий вопрос
источник
2021 May 19

С

Сергей in Haskell
где можно найти такой же активный чат по хаскелю но на английском ?
источник

A

Andrey in Haskell
в IRC, слаке
источник

A

Andrey in Haskell
с меньшей динамикой - @haskell_en
источник

B

Bodigrim in Haskell
Какая ж это молодежь? Dong - крутой чувак и очень толковый, они в Z-Haskell кучу прикольных штук сделали за короткое время.
источник

IK

Ilya Kos in Haskell
В дискорде есть ФП сервер
источник

[

[BRM]White Rabbit in Haskell
Чисто теоретически можно ли как-то инжектнуть длл хаскеля?
Вижу очевидную беду в том, что для этого нужно сначала запустить RTS, а после завершения нужных действий погасить.
источник

JS

Jerzy Syrowiecki in Haskell
в винде же можно загрузить код в чужой процесс и выполнить его
источник

AS

Alexander Smirnov in Haskell
Ну то есть вызвать две процедуры, в начале и конце. Я сам под винду не писал, но есть как минимум документация https://downloads.haskell.org/~ghc/7.6.3/docs/html/users_guide/win32-dlls.html
источник

LO

Leonid 🦇 Onokhov in Haskell
галавное не вызвать процедуру при выгрузке дллки при выключении программы. а то повиснет
источник