Лишь бы попердолить

а скажите что такое HKT

как был кайнд *->* так и остался

не расшифровку, а пример

Функциональным пердоликам только дай свободу, они тебе мета-типы сделают на макросах

не ну цепочка итераторов это круто

а скажите что такое HKT

Выглядит что это трейт который сам по себе генериковый и выводится для конкретной структуры

ну вот там Functor

а, я понял

ребят задолбало писать макросы чтобы одно и тоже выводить для разных типов

я понял

как был кайнд *->* так и остался

ну потому что в расте невозможно запилить * -> * -> *

че он дает?

трейты из хаскеля портировать можно будет

зачем хаскель?

для хаскеля есть хаскель

зачем хаскель?

У пердоликов нету зачем, им просто по приколу, головоломку порешать

но он медленный

и старый

поэтому давайте напишем новый хаскель

да ну

вместо того чтобы решить основную задачу

i64, Vector<&str> - тип конкретный, говорят что имеет kind * Vector<T> - конструктор типа (то что здесь и в джаве зовут дженериком), имеет кайнд * -> *. Можно смотреть как на функцию типов (функция Vector принимает переменную тип T и как результат создает конкретный тип кайнда *) Functor<F<_» - hkt, более сложная функция вида *->*->*

на идрисе даже вебсокетов нет

на идрисе даже вебсокетов нет

напиши

не хочу

на идрисе даже вебсокетов нет

идрис зарелизили 1го апреля

на идрисе даже вебсокетов нет

А чего не скалка, её же позиционируют как хаскиль для работы

на идрисе даже вебсокетов нет

Разве? Максим вроде недавно написал

Аааа

Вру Для Coq он чего-то такое делал

идрис зарелизили 1го апреля

и это было шуткой

А чего не скалка, её же позиционируют как хаскиль для работы

типа, работающий хаскель?

типа, работающий хаскель?

Да, на либах от жавки

А чего не скалка, её же позиционируют как хаскиль для работы

медленно

я вообще отдаленно скалку видел, да.

На нём и правда высокооплачиваемые люди пишут

i64, Vector<&str> - тип конкретный, говорят что имеет kind * Vector<T> - конструктор типа (то что здесь и в джаве зовут дженериком), имеет кайнд * -> *. Можно смотреть как на функцию типов (функция Vector принимает переменную тип T и как результат создает конкретный тип кайнда *) Functor<F<_» - hkt, более сложная функция вида *->*->*

зачем это нужно? более абстрактный код, с большим числом проверок в компиляторе и меньшим бойлерплейтом в конкретных приложениях (последнее два нужно суммарно рассматривать)

зачем это нужно? более абстрактный код, с большим числом проверок в компиляторе и меньшим бойлерплейтом в конкретных приложениях (последнее два нужно суммарно рассматривать)

Еще больше абстракций богу абстракций

Осталось только шаблоны завести

и очень некрасиво писать код на скале когда юзаешь либы из java

Мне раст интересно чисто из-за перформанса+безопасности. Ну и немножко из-за более удобного псевдофункционального программирования

и очень некрасиво писать код на скале когда юзаешь либы из java

но часто приходится.

Как то не совпадает с "снижение порога входа для новичков в Rust"

Мне раст интересно чисто из-за перформанса+безопасности. Ну и немножко из-за более удобного псевдофункционального программирования

люто плюсую

зачем это нужно? более абстрактный код, с большим числом проверок в компиляторе и меньшим бойлерплейтом в конкретных приложениях (последнее два нужно суммарно рассматривать)

В скалке стандартная либа на таких типах, если там ошибка то вываливается много непонятного

Как то не совпадает с "снижение порога входа для новичков в Rust"

если это отсылка к роадмапу

зачем переусложнять язык?

то там non-lexical lifetimes вроде должны сдлеать

Мне раст интересно чисто из-за перформанса+безопасности. Ну и немножко из-за более удобного псевдофункционального программирования

Мне руст интересен потому что в нём масса фишек и мало говна

зачем переусложнять язык?

К сожалению современные системы типов ограничивающие, связывают руки по сравнению с нестрого типизированными языками вроде Си, поэтому чтобы получить больше выразительности пердолики пердолят расширения системы типов

Мне руст интересен потому что в нём масса фишек и мало говна

это ненадолго

без особых приседаний

Еще больше абстракций богу абстракций

про мотивацию можно Бартоша послушать https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

В скалке стандартная либа на таких типах, если там ошибка то вываливается много непонятного

так со всеми jvm языками

К сожалению современные системы типов ограничивающие, связывают руки по сравнению с нестрого типизированными языками вроде Си, поэтому чтобы получить больше выразительности пердолики пердолят расширения системы типов

пилится нужный тип в unsafe

проверяется вручную

нет отношения к фп

используется.

про мотивацию можно Бартоша послушать https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

Всегда думал что теоркат это мем людей которые публикуют про него статьи, а кодерки просто хотят приобщиться хот к какой-то математике чтобы уйти от факта что на работе пишут круды

мне раст нравится как вершина PLT разработки

В скалке стандартная либа на таких типах, если там ошибка то вываливается много непонятного

непонятное только с нестандартными либами на макросах можно отхватить

мне раст нравится как вершина PLT разработки

чо такое PLT?

мне раст нравится как вершина PLT разработки

Ну ты сказанул вершина, разве кок и идрис не вершина?

progamming language theory

Programming Language Theory

Ну ты сказанул вершина, разве кок и идрис не вершина?

они не учитывают практичность и скорость

все это субъективно вообще

(IMHO PLT это группа академиков которых выгнали из математики и которые пишут кучу статей чтобы выбивать гранты, особого полезного прогресса от них не видно давно уже)

Всегда думал что теоркат это мем людей которые публикуют про него статьи, а кодерки просто хотят приобщиться хот к какой-то математике чтобы уйти от факта что на работе пишут круды

очень сильно напоминает мышление гоферов

на любое незнакомое говорить ненужно

сек

про гоферов: They are mislead, and plenty of them are just unfit for programming. Turns out a brutally simple language attracts brutally simple people. When you're starting out programming there's so much you have to take for granted, to trust, and you also have Stockholm syndrome to take into consideration. The Go community is currently detrimental to our industry and they don't even understand why or care to fix it because the people the language attracts are largely incapable of doing so. If you market your language as beginner friendly and don't have the sense and responsibility to make it extremely good, misleading a generation of programmers, then you can seriously just fuck off.

на любое незнакомое говорить ненужно

с другой стороны C++

на любое незнакомое говорить ненужно

Если изучать всё незнакомое то очнёшься седым, с учебником алгебраической геометрии, изучив 5%, а уже помирать пора. Глупо отрицать что нерд-сообщество падко до мемов, и хаскель с теоркатом и монадками были таким мемом.

где очень много нужного

ОЧЕНЬ МНОГО НУЖНОГО

ОЧЕНЬ МНОГО

в прикладном плане тот же хаскелль имеет не больше чем в паттернах банды, но хоть интерпретируется однозначно

обидно то что даже в c++ можно сделать хкт

но с++ это мерзко

в прикладном плане тот же хаскелль имеет не больше чем в паттернах банды, но хоть интерпретируется однозначно

Мне в хаскиле не нравилась куча расширений языка (и всё равно не полные зависимые типы) и то что надо скатываться до указателей и peek и poke чтобы писать быстрый код (см. код бенчмарков на alioth.org)