LINUX.ORG.RU
Форум — Development  

Вышла новая версия 0.4.0 языка программирования Idris 2

 , ,


0

3
★
← Можно ли использовать Scala3 в Vaadin 10 ( или 10+)?
Получить тип возвращаемого значения из лямбды →

наверное это стоило в новости запостить, а не на форум

EugeneBas ★★
()

ништяк, можно написать очередной хеловорлд, и ждать следующей версии.

anonymous
()
Ответ на: комментарий от anonymous

Таки да.

Короче, Idris – это то чем должен был стать Haskell. Avoid success at all costs, постоянно поломанная совместимость, никакого продакшена и конференции-конференции-конференции! Но Haskell таки взлетел, поэтому один чувак Idris запилил.

hateyoufeel ★★★★★
()

Ляяя… все время думал, что он иРДис, а оно иДРис. идрИс его налево.

anonymous
()
Ответ на: комментарий от hateyoufeel

Идрис мне не зашел. Я снова присматриваюсь к Перл. Ищу язык для души, не для заработка … Для обогащения использую /гусарам молчать/ 1С

Владимир

anonymous
()
Ответ на: комментарий от moonmadness

Человеческая нумерация версий, походу.

t184256 ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
← Можно ли использовать Scala3 в Vaadin 10 ( или 10+)?
Development
Получить тип возвращаемого значения из лямбды →