-
Миграция программистов в соседние страны
-
Невесты из Филиппин
Ну так выложите красивых, интересно же посмотреть...
-
Невесты из Филиппин
-
Какой язык программирования выбрать для обучения?
А какое отношение имеет функциональное программирование к зависимым типам?
ATS был предложен в качестве примера к сухой теории.С ними найти работу быстрее
Для этого не обязательно использовать функциональный язык программирования,
например, в том же Python, есть необходимые для функционального программирования.Приведу еще пример, люди изучив зависимые типы, применили их для JavaScript:
cseweb.ucsd.edu/.../nested/djs.pdf -
Какой язык программирования выбрать для обучения?
Разве уже не обсудили, что ATS к чёрту? Если нет, то повторюсь еще раз, это просто пример использования технологии зависимых типов.ATS — левый язык
В данной области CS каждый изобретает для своей платформы удобный инструмент, например: research.microsoft.com/...projects/fstar
У нас видимо разные понятия саморазвития. Стать ремесленником поняв операционную семантику одной парадигмы языков, хоть и занимает время и силы,Саморазвитием можно и нужно заниматься — без левых никому не нужных бесперспективных технологий.
но все же это не новый уровень познания. К слову, я считаю, что быть ремесленником не является чем то плохим, сам таковым являюсь,но в тоже время прекрасно понимаю, что ремесленное производство на мейнстримных языках — это не верх инженерной мысли.
Чтобы не быть голословным приведу различие в работе ремесленника и промышленного подхода. В качестве классического примера — список с его размером.Есть функция, которая соединяет два списка:
def append(a, b): return a + b
Для проверки что функция корректна пишем юнит-тест: Совсем другая ситуация обстояла бы, если язык поддержует зависимые типы. Объявляя тип list(int, n) компилятор для
append использовал бы доказательство по индукции, что кстати исключает возможность пропуска проверки частных случаев. В случае же юнит-тестоввсегда есть возможность пропуска проверки частных случаев, ведь мы же берем ограниченную случайную выборку из пространства значений этого типа.
Пример, понятное дело, игрушечный, но думаю на лицо видно изъяны ремесленного труда, в отличии от промышленного подхода.
PS: На доу есть подсветка кода?
-
Какой язык программирования выбрать для обучения?
К чёрту ATS
Верно, к чёрту его, это ж всего лишь один из кучи инструментов. Впрочем добавить инфраструктуру на зависимых типах к своему популярному любимому инструменту — нетривиальная задача.
Но разумеется, всегда есть простой путь — писать опердени и радоваться жизни, вот только с «саморазвитием» как то, такие дела не очень соотносятся. -
Какой язык программирования выбрать для обучения?
Раз время нужно посвятить учебе и саморазвитию, то смело выбирайте ATS, и у вас больше не возникнет вопроса, какой язык выбрать для изучения. Впрочем, можно брать любой язык, который поддерживает зависимые типы, так как мейнстримные языки научат вас, только одной вещи — успешно c финансовой стороны создавать пахнущий код :)учебе и саморазвитию
Підтримав: mr_X
С чего бы это? Попахивает расизмом. Есть ли объективные причины вреда?