Всем привет.

Заканчиваю Иннополис в этом году. Если не уйду в армию, буду какие-то проекты с блокчейном делать и финансами.

Чет знаю про Haskell, Agda, ФП и все такое.

#whois

#whois
Привет, меня зовут Марк. Учусь на 4 курсе в МФТИ. Работаю в Яндексе, стажировался в Google, последнее время участвую в разных европейских хакатонах.
Скилы: machine learning (neural networks), c++, python, django

Всем здрасьте, не знаю к месту я здесь или нет, т.к. работаю в небольшой компании, одна команда которой (4 человека) работает над собственным продуктом, читай стартапом.
Учусь на 3 курсе БГУ, нигде не работал до того момента, как пришёл в выше упомянутую компанию. Прогать начал с 1-го курса, т.к. с детства никогда не увлекался и было далеко от меня и от моего тогдашнего окружения. После прихода в универ появился интерес. С того момента строго уверен, что тебя делает твоё окружение.
Немного умею в вёрстку, также немного знаю js, react (redux), mongodb

И что ты делаешь со своим знанием хаскеля и агды?

Диплом пишу. Раньше думал в академии идти, но сейчас уже не уверен, надо поработать.

Работы на хаскеле теперь больше, даже в России (!) (если вопрос был про это).

Я слышал только то, что в селектеле на нем что-то писали. Даже Elixir больше распространен.

От тусовки зависит. Если ты в ней, то и Haskell довольно распространен. Как-то так.

А про что диплом?
И что обычно пишут на нём в индустрии?

Диплом про построение формальной модели системы типов одного ЯП (тайпчекер) при помощи агды (не очень успешно).

На хаскелле? Бэкэнды в основном. PureScript пихают на фронтенд.

Ну вопрос скорее был "зачем"

Быстрее, проще, качественнее.

Обычно так меряют инструменты?

Чем качество определил?

Быстрее и проще? Очень сомнительно

А если разработчика собьет автобус, можно проект закрывать?

Как можно в 2к17 не шарить в ФП и мощных системах типов?

Мы можем с вами много спорить, но зачем?

Все равно у всех свои точки зрения останутся.

Ну мне интересно, на самом деле, насколько твоя точка зрения подкреплена фактами

Валера, а твоя?