а потом такой let x: Result<i32, ()> = Some(42).into()

и потом такой impl <T> Into<Result<T, ()>> for Option<T> { fn into(self) -> Result<T, ()> { self.map(|x| Ok(x)).unwrap_or(Err(())) } }

А тут весь синтаксис обязательный?

ну да вроде, а что тут может быть необязательного

Ппц

да нормальный у раста синтаксис

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

-> Result<T, ()> выглядит как вполне выводимый из контекста тип

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

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

Ну я вот поэтому и интересуюсь, тут всё обязательное или нет)

ща проверю на всякий

давно раст не трогал

проверил, обязательно

Ну ясно короч, спс)

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

пурскриптовый компилятор еще жощще пишет) иногда просто нереально догадаться в чем проблема

и потом такой impl <T> Into<Result<T, ()>> for Option<T> { fn into(self) -> Result<T, ()> { self.map(|x| Ok(x)).unwrap_or(Err(())) } }

А там нет такого адка, как с имплисит-конвертированием в скале?

пурскриптовый компилятор еще жощще пишет) иногда просто нереально догадаться в чем проблема

Флоу иногда радует абстрактными стек-трейсами окамла

А там нет такого адка, как с имплисит-конвертированием в скале?

я не писал на скале, не знаю чё там за адок ?

Флоу иногда радует абстрактными стек-трейсами окамла

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

Представляю ?

я не писал на скале, не знаю чё там за адок ?

Там кто угодно может написать неявное конвертирование любого типа в любой (типа int -> string). Потом ты можешь случайно это заимпортить (из либы) и тогда у тебя язык превращается почти в жс. В новой скале хотят выводить ворнинг (или ошибику) если оба типа не из того же пакета, где лежит и конвертор.

Это прям как в прототип писать

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

оптимизации

АААА

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

Нужно прогревать сервера?

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

>а можно просто юзать си либы было

Я был чертовски расстроен что в жс нельзя было юзать все эти стрелки из агды

Поставь себе шрифт с лигатурами, мне, например, Iosevka нравится

fira code ❤️

привет

хай

fira code ❤️

У меня так во всех редакторах)

поэтому и в котлине типы в дженерик-функциях не стираются только если эти функции помечены как inline и следовательно из джавы вызываться уже точно не будут

Там дело не в этом, а в том, что так как тело функции инлайнится перед компиляцией, там на месте и так понятно какие типы у дженериков, ведь оно инлайнится в конкретную область и по сути T заменяется тем типом на который ссылается. Поэтому это все еще куцый дженерик по сравнению с С#, где это на уровне байтокода поддерживается, в котлине по моему нельзя, например, реифайд внутри реифайд использовать и смарткасты ломаются в таких случаях

Там дело не в этом, а в том, что так как тело функции инлайнится перед компиляцией, там на месте и так понятно какие типы у дженериков, ведь оно инлайнится в конкретную область и по сути T заменяется тем типом на который ссылается. Поэтому это все еще куцый дженерик по сравнению с С#, где это на уровне байтокода поддерживается, в котлине по моему нельзя, например, реифайд внутри реифайд использовать и смарткасты ломаются в таких случаях

так не, я понимаю, я и говорю что так можно ТОЛЬКО в инлайн-функциях потому что они не торчат наружу, в отличие от обычных

У меня так во всех редакторах)

Мне фира не нравится, какой-то он гротесковый, как будто бы смотришь на укзатели на дорогах, а не на код

Буковки кривоватые

Iosevka https://be5invis.github.io/Iosevka/

Имхо иосевка круче раз в 100

если бы в ней только были нормальные лигатуры

да как бы иосевка более гротесковая

а так в ней даже bind нет

вообще конечно нужна тула для выбора своих нужных лигатур

вообще конечно нужна тула для выбора своих нужных лигатур

в иосивке так и сделано

там конфиг файл перед компиляцией менять можно

да, я видел

бинда я там не вижу

первый во втором ряду

бинда я там не вижу

есть же

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

Лол, похож на клинок из Хало

?‍♀️

в любом браузере

у меня нормально показывает

может у тебя системный шрифт подобрало?

Скорее всего лигатуры выключены на уровне операционки

че

Ты случаем не под линухом?

≥ на рисунке не лигатура по-твоему?

О, это ведь прагмата, да?

О, это ведь прагмата, да?

это fira code)

≥ на рисунке не лигатура по-твоему?

А, ну да

?‍♂

Кстати, а вы с помощью чего на хацкелле пишете?

можно чуть менее полиморфный вопрос?

С помощью рук

я хотел написать "с помощью клавиатуры", но ты еще лучше

не пишу

можно чуть менее полиморфный вопрос?

Перефразирую: что из ide удобнее всего будет на мак?

ничего

Тлен

все плохо

Только на бумажке?

haskell for mac

vscode + ghci + hie (но он больше мешает)

хэх

Hfm, hie+vscode

Hie - haskell ide engine?

кто пояснит почему codensity дает монаду, а density - комонаду? вроде приставка co должна говорить о комонаде

ну и применимость codensity для того чтобы улучшить Free monad (сделать Church версию) помню читал пейпер про это

Hie - haskell ide engine?

Да

А что чот я полгода назад смотрел, все было очень грустно, был haskero и haskelly, и в одном был удобный дебаггер, а в другом вроде линт норм, а вместе они не ставились

Hie - haskell ide engine?

чтобы к вскоду это подключить, нужен https://marketplace.visualstudio.com/items?itemName=alanz.vscode-hie-server

Сложна

некоторые говорят, что для идеи есть два хороших плагина

но у меня ни один не завелся

хз, что там можно было сделать не так, но я что-то сделал не так

Перефразирую: что из ide удобнее всего будет на мак?

intero

+ intero, 0 проблем с ним, сорри если повторяюсь

с hie тоже ок

собрал, открыл vscode - profit