O
var d Direction = 42Size: a a a
2020 September 27
SB
Ну да, классический енам, с которым я могу написать
(MyEnum) 123749127983 тоже прокатит
оГ
кайф
Угу :) но до этого вида часа полтора в гору по не очень ровной тропе :)))
X
Rewrite it in rust (c)
IC
(MyEnum) 123749127983 тоже прокатит
А ещё
var d = new Direction(123749127983); прокатит. Это тоже енам, получается. Расширять определение енама можно до бесконечности при желании. У меня его нет.RM
А где искать тогда старую школу?
Кобол
VP
https://podcasts.apple.com/ru/podcast/net-rocks/id130068596?i=1000485154077
в целом хороший выпуск.
послушать что хотят от 9 версии c# и немного про фп.
но все еще ощущение, что в c# ну очень много сахара становится, как бы диабет не заработать
в целом хороший выпуск.
послушать что хотят от 9 версии c# и немного про фп.
но все еще ощущение, что в c# ну очень много сахара становится, как бы диабет не заработать
SB
А ещё
var d = new Direction(123749127983); прокатит. Это тоже енам, получается. Расширять определение енама можно до бесконечности при желании. У меня его нет.Речь была про то, что в языках, где энам традиционный (как тебе кажется), есть та же самая проблема.
DS
Правда изначально речь шла вообще о старой школе фп. Я не понял, как мы перешли к юникс тулам.
Старая школа фп - это вообще совершенно не то, что сейчас под современным фп понимают.
Современное фп - это практически целиком системы типов, а это относительно новое направление.
Современное фп - это практически целиком системы типов, а это относительно новое направление.
X
А что претендует на фп будущего?
DS
А что претендует на фп будущего?
HoTT какой-нибудь
DS
Но это опять-таки системы типов
X
HoTT какой-нибудь
Можно расшифровку?
DS
Можно расшифровку?
Homotopy type theory
DS
Но пока, насколько я понимаю, не очень понятно, что оттуда практически полезного можно стащить
DS
Старая школа фп - это вообще совершенно не то, что сейчас под современным фп понимают.
Современное фп - это практически целиком системы типов, а это относительно новое направление.
Современное фп - это практически целиком системы типов, а это относительно новое направление.
Т.е. ML и system F - это всего лишь середина семидесятых.
Всякие линейные, афинные, зависимые типы (которые сейчас в ФП языках появляются постепенно) - это ещё позже
Всякие линейные, афинные, зависимые типы (которые сейчас в ФП языках появляются постепенно) - это ещё позже
SB
Старая школа фп - это вообще совершенно не то, что сейчас под современным фп понимают.
Современное фп - это практически целиком системы типов, а это относительно новое направление.
Современное фп - это практически целиком системы типов, а это относительно новое направление.
а что собой именно старая школа представляет?
DS
а что собой именно старая школа представляет?
Старые лиспы прежде всего
O
схема?
IC
Речь была про то, что в языках, где энам традиционный (как тебе кажется), есть та же самая проблема.
Я не считаю это той же проблемой, извини🤷♂