История изменений

Так нет, в логике типов. Прошло бы, потому что ишь компилятор какой-то что-то там вопит, щас мы все типы выкинем и будем на интах считать по старинке.

Гм, ну тут аргумент такой: такой код был бы объективно говнокодом. Ибо не для того идрис (как и хаскель), чтобы считать на интах.

Если же наниматель не способен отличить хороший код от плохого, то тут ССЗБ.

Что касается опенсорс библиотек, то я бы к подобному произведению искусства наверное не подошёл бы на километр.

А вот на си попробуй отличи что хорошо а что плохо: так, на вскидку, «типы не те» этого не скажешь, нужен полноценный аудит.

Я, правда, не верю, что все это вот так пойдёт в мейнстрим, как оно сейчас есть. Но теорию отработают, а там лет через 10 может и выпустят какой-нибудь очередной C** с этими наработками.

Я, честно говоря, надеюсь на противополножное: подавляющее большинство не верило в возможность использования хаскеля в продакшине как раз по названным тобою причинам («заумно».. да и до сих пор не верят, чего уж там), но он используется уже во всю. Думаю, из за преимуществ в производительности труда, которые оказывают давление на выбор инструмента. Мне кажется то же произойдёт и с идрисом, хотя может быть более медленно. Но и более верно.

Так нет, в логике типов. Прошло бы, потому что ишь компилятор какой-то что-то там вопит, щас мы все типы выкинем и будем на интах считать по старинке.

Гм, ну тут аргумент такой: такой код был бы объективно говнокодом. Ибо не для того идрис (как и хаскель), чтобы считать на интах.

Если же наниматель не способен отличить хороший код от плохого, то тут ССЗБ.

Что касается опенсорс библиотек, то я бы к подобному произведению искусства наверное не подошёл бы на километр.

А вот на си попробуй отличи что хорошо а что плохо: так, на вскидку, «типы не те» этого не скажешь, нужен полноценный аудит.

Я, правда, не верю, что все это вот так пойдёт в мейнстрим, как оно сейчас есть. Но теорию отработают, а там лет через 10 может и выпустят какой-нибудь очередной C** с этими наработками.

Я, честно говоря, надеюсь на противополножное: подавляющее большинство не верило в возможность использования хаскеля в продакшине (да и до сих пор не верят), но он используется уже во всю. Думаю, из за преимуществ в производительности труда, которые оказывают давление на выбор инструмента. Мне кажется то же произойдёт и с идрисом, хотя может быть более медленно. Но и более верно.

Так нет, в логике типов. Прошло бы, потому что ишь компилятор какой-то что-то там вопит, щас мы все типы выкинем и будем на интах считать по старинке.

Гм, ну тут аргумент такой: такой код был бы объективно говнокодом. Ибо не для того идрис (как и хаскель), чтобы считать на интах.

Если же наниматель не способен отличить хороший код от плохого, то тут ССЗБ.

Что касается опенсорс библиотек, то я бы к подобному произведению искусства наверное не подошёл бы на километр.

А вот на си попробуй отличи что хорошо а что плохо: так, на вскидку, «типы не те» этого не скажешь, нужен полноценный аудит.

Так нет, в логике типов. Прошло бы, потому что ишь компилятор какой-то что-то там вопит, щас мы все типы выкинем и будем на интах считать по старинке.

Гм, ну тут аргумент такой: такой код был бы объективно говнокодом. Ибо не для того идрис (как и хаскель), чтобы считать на интах.

Если же наниматель не способен отличить хороший код от плохого, то тут ССЗБ.

Что касается опенсорс библиотек, то я бы к подобному произведению искусства наверное не подошёл бы на километр.

А вот на си попробуй отличи что хорошо а что плохо: так, на вскидку, «типы не те» этого не скажешь, нужен полноценный аудит.

Так нет, в логике типов. Прошло бы, потому что ишь компилятор какой-то что-то там вопит, щас мы все типы выкинем и будем на интах считать по старинке.

Гм, ну тут аргумент такой: такой код был бы объективно говнокодом. Ибо не для того идрис (как и хаскель), чтобы считать на интах.

Если же наниматель не способен отличить хороший код от плохого, то тут ССЗБ.

Что касается опенсорс библиотек, то я бы к подобному произведению искусства наверное не подошёл бы на километр.

А вот на си попробуй отличи что хорошо а что плохо: так, на вскидку, «типы не те» этого не скажешь, нужен полноценный аудит.