P.S. я не совсем уверен насчёт русского перевода слова injective в данном контексте, может быть кто-то предложит лучший термин?

Спустя 6 лет с момента релиза 7.0 выпущена новая версия компилятора языка Haskell - GHC 8.0.1.

По-моему, кто-то что-то не то написал. Дальше ссылка: https://downloads.haskell.org/~ghc/

А по этой ссылке можно понять, что релиз 7.0 состоялся в августе 2014 года и это далеко не 6 лет, как указано в новости.

К тому же, после 7.0 вышло ещё куча релизов вплоть до 7.10 и только после 7.10 (через полгода) вышел релиз 8.0.1.

так и говори: инъективный, инъективность.

А по этой ссылке можно понять, что релиз 7.0 состоялся в августе 2014 года

Нельзя понять. Посмотри на даты еще более ранних релизов и пойми свой косяк.

А релизы - штука такая, обычно считают время между мажорными релизами в таком контексте.

так и говори: инъективный, инъективность.

Я от этого отталкивался: https://ru.wikipedia.org/wiki/Инъекция_(математика)

Поправил.

релиз 7.0 состоялся в августе 2014 года

Я в 2014 7.8 уже использовал, так что нет. В письме в рассылке было написано 6 лет, я им больше верю :)

А релизы - штука такая, обычно считают время между мажорными релизами в таком контексте.

Предыдущий мажорный релиз на самом деле был полтора года назад (7.10.1).

Это больше не модно. Закопайте

Что это за недоязычок, к которому компилятор выходит раз в 6 лет?

Сильно чаще.

использующий класс Applicative вместо Monad

Монады вышли из моды?

Про TypeInType уж точно следовало бы в новости отразить. Похоже, что это центральное изменение.

А по этой ссылке можно понять, что релиз 7.0 состоялся в августе 2014 года и это далеко не 6 лет, как указано в новости.

https://downloads.haskell.org/~ghc/7.0.1/

ghc-7.0.1-src.tar.bz2 12-Nov-2010

http://fa.haskell.narkive.com/KxJGgQMJ/haskell-announce-ghc-version-7-0-1

К тому же, после 7.0 вышло ещё куча релизов вплоть до 7.10 и только после 7.10 (через полгода) вышел релиз 8.0.1.

https://groups.google.com/forum/#!topic/haskell-cafe/4_GqDhjmJzw

В оригинале звучало как:

The GHC developers are very pleased to announce the release of the first new super-major version of our Haskell compiler in six years, GHC 8.0.1.

R.I.P.

Applicative не накладывает ограничений на последовательность выполнения, что позволяет автоматически распараллеливать участки кода.

Про TypeInType уж точно следовало бы в новости отразить. Похоже, что это центральное изменение.

Одно из. Я хотел про него написать, но не смог придумать русский перевод к термины kinds.

Зачем их переводить? Kinds — они и есть kinds.

Зачем их переводить?

А вообще переводить надо?

Ну русскоязычный ресурс, как-никак!

Ну вот и kinds неплохо было бы перевести. Или скопипастить общепринятый вариант.

Сорта

Класс Monad шире класса Applicative, получается, что класс Applicative строже. Поэтому решение правильное.

Насколько помню, Applicative допускает сайд-эффекты, отсюда зависимость от последовательности выполнения.

Зачем оно нужно. Там поди и библиотек к этому динозавру кот наплакал. Вот в F# можно дёргать код из всего что компилируется cil код, например c#.

Устоявшегося перевода не завезли, поэтому имеет смысл оставить непереведённым

Виды же, или кайнды на худой конец

А где хоть про все эти нововведения почитать можно? RWH 8 лет уже, PCPH три. Ну http://dev.stephendiehl.com/hask/ есть, но и оно уже, чувствуется, протухло. Как угнаться-то?

А где хоть про все эти нововведения почитать можно?

Это не нужно. «Haskell - avoiding success at all costs» (ц)

Ну, например, по первой ссылке всё довольно неплохо расписано. Плюс документация к самому GHC довольно таки обширна.

И то и другое звучит ИМХО довольно убого.

Наоборот же. Applicative - суперкласс Monad.

А где хоть про все эти нововведения почитать можно?

Рекомендую User Guide: http://ghc.readthedocs.io/

Этот динозавр как был на передовой 20 лет назад, так и до сих пор развивается такими темпами, что живому человеку не угнаться за всеми нововведениями. Какие существенные изменения в F# за последние 5 лет произошли? Есть хоть что-нибудь сравнимое с введением type families, datatype promotion, kind polymorphism и новым type in type?

Класс Monad шире класса Applicative

Как на Хаскелля именины
Испекли аппликативы,
Вот такой ширины,
Шире той монадщины!

Насколько помню, Applicative допускает сайд-эффекты, отсюда зависимость от последовательности выполнения.

Сайд эффекты тут вобще не в тему, потому что IO a - это по сути State RealWorld a, и в этом случае исполнение всегда будет последовательным. Речь идёт скорее о более простых случаях типа Maybe. Например:

f :: Maybe a -> Maybe b -> Maybe c
f ma mb = do
    a <- ma
    b <- mb
    pure $ g a b

А вообще ApplicativeDo запилили где-то в недрах Facebook, им оно для Haxl нужно.

Да, такой перевод довольно часто встречается.

Сорри, попутал. Каждая монада является Applicative.

Забавно

Типа записать как pure g <*> mb <*> mb? Окей.

Windows XP более не поддерживается.

ШОК!

Да мы еще конечки не сносили седьмой хаскель толком не освоили... :)

Но всё равно хорошо.

я не совсем уверен насчёт русского перевода слова injective

Математический термин переводится по-вкусу как «инъекция», «вложение», «мономорфизм».

Поспешил, я имел ввиду существительное «injection». А прилагательное «injective» — соответственно как «инъективный», «вложенный», «мономорфный».

Разновидности?

виды то чего убого звучат?

в общем то это аналог типов для типив, чтобы не путать вместо type называют kind , по русски неплохо «вид». «Вид типа». «Это такой вид типа». Как «вид» у животных и растений. Например, волки - вид млекопитающих.

гм, ну это отсебятина, про вид животных. я так понимаю это. как задумано - не знаю. вроде логично.

ИМХО же. Я тут понял что я ещё про подвижки в сторону MonadFail Proposal забыл упомянуть.

Если уж приводить аналогии, что делать в принципе не стоит, то конкретное животное принадлежит определенному виду, роду, классу, это всё будут аналоги типов. А вот сами «вид», «род» и «класс» — это таксоны, которые будут аналогами каиндов.

Но даже так аналогия кривая и унылая в корень.

Windows XP более не поддерживается.

Круто. Они даже xp не осилили. Еще одна причина не использовать haskell. (У меня на виртуалке XP со всяким г.. которое не работает на 10).

Новый генератор кода для платформы PPC64. Поддержка операционной системы AIX.

Ну и кто мне тут недавно втирал про агонию AIX? Видать, мужики-то и не знали.