Size: a a a

2020 October 12

AB

Alex Bubnov in pro.elixir
Зачем, если можно писать и говорить транслитом? Что за нездоровые тяги?

Алсо, multi-clause functions ещё называются multi-head(ed?..). Что гораздо проще перевести.
источник

RP

Roman Pushkov in pro.elixir
ну семантически это немножно разные вещи
источник

RP

Roman Pushkov in pro.elixir
clause - это голова и тело функции
источник

V

V in pro.elixir
Roman Pushkov
clause - это голова и тело функции
А по-моему только голова:
https://github.com/elixir-lang/elixir/pull/7092
источник

RP

Roman Pushkov in pro.elixir
Ну здрасьте, приехали
источник

RP

Roman Pushkov in pro.elixir
источник

V

V in pro.elixir
А bodiless clause тогда чо?
источник

RP

Roman Pushkov in pro.elixir
Клауза без тела, очевидно
источник

V

V in pro.elixir
Клоза, а не клауза же
источник

RP

Roman Pushkov in pro.elixir
Если угодно, но в логике например есть такой термин
источник

V

V in pro.elixir
источник

RP

Roman Pushkov in pro.elixir
Об этом я в курсе
источник

AB

Alexey Bolshakov in pro.elixir
шел третий день обсуждения клоз....
источник

V

V in pro.elixir
Ну ладно, пусть функции состоят из клоз, а клоза - из головы и тела
источник

RP

Roman Pushkov in pro.elixir
я про то, что в логике высказываний есть уже такой термин, как клауза
http://lib.tarsu.kz/rus/all.doc/Elektron_res/Akimov_diskretnaya%20matematika.pdf.pdf
источник

RP

Roman Pushkov in pro.elixir
и терминология эрланга в общем-то берёт начало из логики
источник

RP

Roman Pushkov in pro.elixir
так как вдохновлена прологом
источник

DP

Dmitry Ponyatov in pro.elixir
точнее из Пролога
источник

RP

Roman Pushkov in pro.elixir
так что если есть на уровне коммунити желание прийти к общему знаменателю по терминологии, то вижу смысл не изобретать велосипед
источник

DF

Denis Fakhrtdinov in pro.elixir
А в чем смысл этих bodiless clause?
источник