AC
Лямбда исчисление - это из математики а не из yo development
Size: a a a
2017 September 18
к
Ну лямбда-исчисление вплоне себе язык программирования
QZ
вроде тут не поднимали эту тему (и это не техническая проблема)
но мне в элме не нравится как Эван всем рулит. bus factor строго единица, дев мейлинг лист мертвый, роадмапа толком нет, все узнаётся из каких-то обрывков в слаке и иногда мейл листе, обсуждений как и куда развивать язык тоже нет
но мне в элме не нравится как Эван всем рулит. bus factor строго единица, дев мейлинг лист мертвый, роадмапа толком нет, все узнаётся из каких-то обрывков в слаке и иногда мейл листе, обсуждений как и куда развивать язык тоже нет
к
Полный по тьюрингу
QZ
в общем есть чему поучиться у раста
AN
Лямбда исчисление - это из математики а не из yo development
Ну ты ж про понятие спрашивал, а не про продакшн-реди реализацию
к
Типизация - тоже из математики, и ниче) Собственно всякие хаскели - типизированное ЛИ
AC
Те другая предметная область
AN
Да, всё что ни есть - подмножество математики
AC
Типизация - тоже из математики, и ниче) Собственно всякие хаскели - типизированное ЛИ
Типизация в яп и типизация в математике разные вещи
AN
Да ладно )
AN
А как же соответствие Карри-Ховарда?
к
Почему?
AC
Ну ты ж про понятие спрашивал, а не про продакшн-реди реализацию
Я про реализацию, идея не оч полезна в данном контексте
к
Аргумент бы, а то я не понимаю, серьезно
AC
Да ладно )
Какой мат моделью описывается система типов в java? А в процессоре x86?
AN
В Java что-то на основе Хиндли-Миллера, если я правильно помню. В X86 я не силен, это вроде как не ЯП.
AN
Просто понимаешь, если есть алгоритм, причем, работающий - значит есть некая машина (например, Тьюринга), которая его исполняет. Она и есть мат.модель (или часть мат.модели). И типы - тоже вычисляются по некоторому алгоритму.
AN
Часть в том смысле, что помимо исполнения - есть ещё другие стадии обработки. Типа синтаксического анализа. Но они тоже выполняются некоторыми тьюринг-машинами.
AC
В Java что-то на основе Хиндли-Миллера, если я правильно помню. В X86 я не силен, это вроде как не ЯП.
Так на основе, по мотивам или все же есть модель?