такое ощущение будто этот чат заболел вирусом растохайпа

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

такое ощущение будто этот чат заболел вирусом растохайпа

Это не чат заболел, это я заболел

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

Раст и плюсы

на фоне остального говна которое хайпят, раст еще более-менее смотрится

Раст и плюсы

Плюсы - очень условно нормальный язык

Раст и плюсы

а чего не интеркол и малболг?

Вопрос. Почему в данной конструкции добавление forall s приводит к тому, что переменная типа a становится неизвестной в скоупе конструктора Constr? И как это исправить? ScopedTypeVariables не помогают. Если вписать forall s a, то ведь это будет уже другая a, не та что в типе, верно? data Unknown a where Constr :: forall s. Unknown a

Not in scope: type variable ‘a’

Она никогда не та, что в типе

Что это значит?

Вангую что без forall s работает неявный форол, а с ним уже нет

data Unknown a where Constr :: Unknown a data Unknown a where Constr :: Unknown b Видимо, действительно не та. Оба варианта работают

Возможно, если записать это в стиле Idris будет немного понятнее: data Unknown : (a : Type) -> Type where Constr : {a : Type} -> Unknown a

Не особо, если честно.

Для не GADT таким переменным нужны имена чтобы вывести тип конструтора, а в GADT ты описываешь типы конструкторов сам.

Настоящие хаскеллисты, раскажите как там правильно)

Для не GADT таким переменным нужны имена чтобы вывести тип конструтора, а в GADT ты описываешь типы конструкторов сам.

А вот это уже очень полезная интуиция, спасибо

(GADT-ам имена в типах понадобятся когда типы станут зависимыми, только об этом никому.)

У меня есть некий Enum, который приходит в функцию. Мне хочется, чтобы эта функция была полиморфной по возвращаемому типу, и выбирать нужный тип по значению от моего Enum, возвращать какое-нибудь дефолтное значение (в более сложных случаях много чего с этим делать). Как обычно такая задача решается? И не тут ли должны появляться вот эти самые зависимые типы?

TF или FD?

Не уверен. Пока моя интуиция про FD такая: можно указать две переменных типа a и b, где a -> b, и если я увижу тип X на месте a, то я точно должен буду иметь тип Y для b, и никакой другой. Я тут не вижу, как от Enum, стоящего на позиции a, сделать разные типы на позиции b в зависимости от значений Enum.

https://m.hh.ru/vacancy/26915246

https://m.hh.ru/vacancy/26915246

> Опыт работы - 3-6 лет ?

Не уверен. Пока моя интуиция про FD такая: можно указать две переменных типа a и b, где a -> b, и если я увижу тип X на месте a, то я точно должен буду иметь тип Y для b, и никакой другой. Я тут не вижу, как от Enum, стоящего на позиции a, сделать разные типы на позиции b в зависимости от значений Enum.

От значений то никак. Делай ADT

Но именно это и хочется. От значений. Получил я, скажем, строку по сети, и смотрю, что там написано. Написано "Int", - выбираю тип Int. Написано "Char" - выбираю Char. Но может, я странного хочу

Но именно это и хочется. От значений. Получил я, скажем, строку по сети, и смотрю, что там написано. Написано "Int", - выбираю тип Int. Написано "Char" - выбираю Char. Но может, я странного хочу

Так это и есть завтипы, не?

Так это и есть завтипы, не?

Я не знаю, поэтому и задаю наводящие вопросы

Но именно это и хочется. От значений. Получил я, скажем, строку по сети, и смотрю, что там написано. Написано "Int", - выбираю тип Int. Написано "Char" - выбираю Char. Но может, я странного хочу

Сделай сумму типов Intgr Int | Chr Char | Fallback

Так это и есть завтипы, не?

Это зависимая сумма

Это зависимая сумма

Ну вот

Разве это можно сделать на нынешнем сабже?

Она в хаскеле эмулируется экзистенциалом по тайпклассу

Она в хаскеле эмулируется экзистенциалом по тайпклассу

Ох. Разве экзистенциальный тип можно даункастить?

Зависимое произведение нельзя сэмулировать (на самом деле можно как forall по тайпклассу с функцией a -> Type, если typeintype включить)

Ох. Разве экзистенциальный тип можно даункастить?

А как ты задаункастишь зависимую сумму?

А как ты задаункастишь зависимую сумму?

Вот именно, никак

Тогда не понимаю претензий к моей аналогии :(

не угадал я, что митчелл имел в виду, когда в хугсовой рассылке написал, что над проблемой рекордов работает я думал он про свой препроцессор-костыль, а он пропозал по допиливанию ORF написал https://github.com/ghc-proposals/ghc-proposals/pull/158

Это получаются нативные линзы?

ну линзы можно накостылить будет

ORF компилируется мгновенно (по сравнению с каким-нибудь generic-lens), так что с сеттерами-то это уже юзабельным будет

а вы знали что в Swift'e есть нативные линзы? я был слегка удивлен, когда увидел

они там конечно простейшие, но забавно, что приходит и это уже в мейнстримчик

https://www.klundberg.com/blog/swift-4-keypaths-and-you/

ну как бы не факт, что это из хаскеля пошло, keypath'ы так-то и в objc есть, только там все в рантайме

А как вы относитесь к тому, что другие языки тащат из Haskell концепции и выдают это за *Великие Изобретения* (ТМ), ни словом не обмолвившись, откуда это пришло? И есть ли такие вещи в самом Haskell? Не считая прямого наследия от ML-языков, конечно.

И часто, чтобы _отличаться_ от Haskell, эта концепция осознанно как-то коверкается. Немотивированно меняется имя, синтаксис. Иногда даже семантика.

в ИТ бывает, что втихоря тащат код. Концепции - это ещё цветочки.

А как вы относитесь к тому, что другие языки тащат из Haskell концепции и выдают это за *Великие Изобретения* (ТМ), ни словом не обмолвившись, откуда это пришло? И есть ли такие вещи в самом Haskell? Не считая прямого наследия от ML-языков, конечно.

Например какие?

половина технологий microsoft - это перелицованные открытые стандарты. с приставкой active :) и слегка несовместимые :)

Например какие?

std::optional std::expected В Scala была какая-то история с MVar.

Denis Shilov будет жить. Поприветствуем!

std::optional std::expected В Scala была какая-то история с MVar.

Какие ваши доказательства?

Какие ваши доказательства?

Никаких, для разжигания они не требуются.

Даже вредны

1) Что это именно в Haskell зародилась? 2) никто не упоминает об этом

А, ну тогда да. Как говорил Маяковский, "нате!"

Ну, скалисты, например, активно ратуют за позицию, что их for - это нечто уникальное.

Я однажды потроллил их чатик на эту тему :))

Ну так это заморочки скалистов

ERROR: S client not available

В туториалах по скале что-то не наблюдается (С) на концепции

LibreOffice смахивает на MS Office это о практике копирования

Скорее, наоборот

LibreOffice произошёл от OpenOffice, который произошёл от StarOffice, который старее MS office

ну, кто-то у кого-то скопировал. Или ход мысли был очень уж похожий. не встречал StarOffice. В универе толкали https://ru.wikipedia.org/wiki/SuperCalc > SuperCalc был написан на ассемблере ... Программе требовалась операционная система CP/M версии 2.2, 48 килобайт оперативной памяти и один дисковод.

Эх, 48 килобайт....

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

Считать js хуже гитлера - закрыть себе дорогу во фронт навсегда. Реально тогда не стоит влезать во фронтенд, оставьте это дело фронтендерам

а вот кстати. Почему-то не пытаются предложить альтернативные поисковики с новыми "языками" вместо html и js

Поисковики?

Как правильно перевести browsers?

Ну... А зачем?

чтобы была альтернатива html / css & js?

Нет, зачем переводить?

чтобы не переключать клаву для 1 слова "браузер" как-то странно выглядит

Как правильно перевести browsers?

На Rust

Н А В И Г А Т О Р

На Rust

и на него тоже

Λ y (0) увеличил репутацию Oleg ℕizhnik (2)

"Странно, что современные предприниматели не пытаются внедрить в навигаторы новые технологии, на замену: Явийскому сценарию Языку разметки гипертекста Каскадной таблице стилей "

или ... Яваанскому

откуда эта цитата?

Только что перевёл твою

Так-то "браузер" вполне словарное русское слово https://slovar.cc/rus/lopatin/956431.html

звучит очень непривычно. Не знаю, почему. Есть несколько слов, которые не звучат. ну, не суть важно.

В навигаторах других стандартизированных языков и не появится

В навигаторах других стандартизированных языков и не появится

Но, но как же wasm?

Ну вот wasm - это и есть тот стандарт

Который вместо языков

Или мы теперь считаем wasm языком?

В навигаторах других стандартизированных языков и не появится

.. хотя веских причин кажется нет