Vladislav
Точнее вот
Dr. Friedrich
Но тут то же самое написано.
Vladislav
Ayrat
(Y f) = (f (lambda (x) ((Y f) x))) Чет я запутался в лиспе этом Тут что внутри происходит?
Это let rec Y f = f (fun x -> Y f x) После эта-редукции можно записать как let rec Y f = f (Y f) Это рекурсивная запись, она в фшарпе возможна, но комбинатором не является
Vladislav
Тем дальше тем больше баззвордов и тем больше я охуеваю
Vladislav
Охуенно
Nikolay
Блин, я дебил
Nikolay
Вызывал это 160 раз дополнительно
Vladislav
Там комментарии в статье немного токсичные конечно
Vasily
Теперь у меня мозг сломался на y комбинаторе
Ayrat
Какой хороший комбинатор
Vasily
Ебанутый, но хороший,да
Vasily
Как я понял ,в языке должна быть определена эквивалентность типов x и x->x
Vasily
Тогда эта поебень работает
Ayrat
fun x -> x x
Ayrat
предположим что x, это дженерик тип А
Vasily
Не вывезет,да
Vasily
Хотя....
Ayrat
тогда (x x) это применение типа А в функцию, которая А должна принимать и возвращать предположим В
Ayrat
значит x это A -> B
Ayrat
И ТУТ ПРОБЛЕМА
Vasily
По факту , если есть op_implicit
Vasily
То не факт
Vasily
В nessos.streams было что-то похожее
Vladislav
Ебанутый, но хороший,да
Я от него в итоге на час уснул в поезде
Анна
Скорее можно сказать, что в ряде случаев в плюсах сильная типизация нарушается.
Ну если в принципе такие случаи возможны, значит, типизация слабая. Вроде как-то так?
Ayrat
@vshapenko есть такой супер-турбо задрот в слешеры (во все) donguri вот ему дали погонять свежий DMC чтобы он показал класс. Он показал https://www.youtube.com/watch?v=hgVcp_TGT1w СОЧНО
Nikolay
Nikolay
Зацените красоту :)
Nikolay
Dr. Friedrich
Ну если в принципе такие случаи возможны, значит, типизация слабая. Вроде как-то так?
Это предположение можно сделать, если предположить, что сильная типизация — это некий абсолют, и если она хоть где-то нарушается — значит, всё, типизация слабая. Я с таким положением не готов согласиться. По-моему, правильно говорить про конкретные черты языков, которым присуща та или иная степень типизации, и на этом всё.
Dr. Friedrich
Что это токое?
Nikolay
Что это токое?
Обученная модель для векторного представления слов
Vasily
Карочи,я прочитал статью
Vladislav
Vasily
Угу
Vasily
В общем, корпускулярно волновой дуализм в чистом виде
Vladislav
Я правда на последнем определении нихуя не понял, но видимо надо потом drracket скачать просто
Vasily
Как я понял, основная проблема в том, что в наших типах должна быть эквивалентность a и a->a
Ayrat
То есть такая эквивалентность нужна только в типизированных языках.
Vasily
Ее не должно быть если вообще не говорить о типах же
Если у нас системы типов нет, то ты прав
Vladislav
Vladislav
Мое лицо
Ayrat
Если у нас системы типов нет, то ты прав
Ну да, базовое лямбда исчисление нетипизированно. Там есть только лямбда термы fun x -> x x Валидная лямбда и работает
Vasily
Примерно
Vasily
Т.е. по факту нам нужен дуализм
Анна
Астрологи объявили неделю лямбда-исчисления! https://mvanier.livejournal.com/2897.html
Vladislav
Когда любое значение это функция?
Roman
Я вот не понял, что мешает функции быть рекурсивной настолько, что пришлось придумать вай комбинатор
Анна
Ayrat
Я вот не понял, что мешает функции быть рекурсивной настолько, что пришлось придумать вай комбинатор
Так эта, если у тебя все функции анонимные, как ты рекурсию сделаешь?
Vladislav
Ayrat
Так оно надо там, где нельзя определить рекурсию средствами языка
Ещё лучше. У комбинатор говорит что рекурсия объявляется везде где возможны лямбды.
Анна
Вот в моём игрушечном языке для лабораторки пришлось костыль сделать для рекурсии
Vladislav
Вот в моём игрушечном языке для лабораторки пришлось костыль сделать для рекурсии
Могла бы студентам про комбинатор рассказать, правда все бы сидели с таким лицом:
Анна
А саму в себя передать как параметр?
Комбинатор примерно это и делает
Vladislav
Roman
Но вообще про анонимность хороший поинт, спасибо
Анна
Но теперь буду всем рассказывать!
Roman
Там фишка не в этом
Я заинтригован
Анна
Пощади их
На зачёте в пятницу пощажу
Анна
У тебя свой язык? 🤔
В лабораторной надо было маленький интерпретатор сделать
Ιπταμενο
Анна
Неожиданно
Dmitry
О какой статье идёт речь, поделитесь пожалуйста ссылкой, заинтриговали :)
Igor
Чет сложный мемас
Dmitry
Спасибо :)