[08:18:39] <ada_ru> (Eugene) отвечает (insert_reference_here) на <Так, разве Foldable …>
наверное нет, я там, походу, не подумал...
дженерики ады -- это же параметрический полиморфизм, а классы типов хаскелла -- это перегрузочный полиморфизм.
в аде перегрузка сделана как в других древних языках типа с++ или PL/I...
[08:24:27] <ada_ru> (Eugene) кто-нить пробовал https://marketplace.visualstudio.com/items?itemName=AlexGamper.VisualAda
вроде оно может устанавливаться в бесплатную Community-версию студии
[08:42:20] <ada_ru> (Eugene) картинка https://www.ada-ru.org/files/bot/2019-06-20-x5.jpg
[08:42:29] <ada_ru> (Eugene) чота не завелось...
[14:44:50] <ada_ru> (insert_reference_here) отвечает (Eugene) на <наверное нет, я там,…>
Да дело не в этом, просто в Haskell есть полиморфизм не только типов, но и конструкторов типов
[15:05:25] <ada_ru> (Oleg) Привет парни
[15:05:43] <ada_ru> (wladlos) От кого?
[15:05:49] <ada_ru> (Oleg) Есть у кого нибудь вакансия сетевого инженера ? Питер или Москва
[15:06:10] <ada_ru> (Oleg) отвечает (wladlos) на <От кого?>
От меня привет😊 А вакансия нужна знакомому
[15:08:17] <ada_ru> (Cassandra) Nike Jordan Shoes ONLY $69
Free shipping Orders $79
Order website:http://bit.do/eVvCa https://www.ada-ru.org/files/bot/2019-06-20-x6.jpg
[15:08:52] <ada_ru> (wladlos) Что это было?
[15:08:58] <ada_ru> (Eugene) вот и расчехлился спящий бот ))
[15:09:21] <ada_ru> (wladlos) Голосую: Давить.
[15:17:21] <ada_ru> (Oleg) Парни а как в GPS компилить из под Windows на удаленной Linux машине?
[15:17:25] <ada_ru> (Oleg) Куьщеу игшде
[16:55:41] <ada_ru> (Oleg) Коллеги
[16:55:52] <ada_ru> (Oleg) в GPS -largs как прописать?
[17:32:22] <ada_ru> (Andry Ogorodnik) Xming + ssh -X
[17:33:47] <ada_ru> (Andry Ogorodnik) package Compiller +Default_Swithaes
[18:11:09] <ada_ru> (Oleg) Спасибо
[18:11:15] <ada_ru> (Oleg) Чтото какая то шляпа
[18:11:16] <ada_ru> (Oleg) does not exist or is a symlink.
[20:16:11] <ada_ru> (Andry Ogorodnik) Єто про что?
[20:32:10] <ada_ru> (Eugene) да, Беллар тот ещё монстр:
https://bellard.org/jslinux/vm.html?url=https://bellard.org/jslinux/win2k.cfg&mem=192&graphic=1&w=1024&h=768