169 похожих чатов

Привет. Есть обычная фукнция с сигнатурой: startApp :: Map.Map String

Coordinates -> IO ()
где:
Map.Map - мапа из Data.Map,
Coordinates - это вложенные алиасы на (Double, Double)

и реализация:
startApp locationDB = do
putStrLn "Write first city!"
cityOne <- getLine

putStrLn "Write second city!"
cityTwo <- getLine

cityFromDB <- pure $ Map.lookup cityOne locationDB

return ()

Вопрос про линтер из vscode с hls: почему линтер выдает совет приписать явно let к cityFromDB <- pure $ Map.lookup cityOne locationDB
Это какой-то конвеншен он пытается соблюдать популярный или как? Если есть такой конвеншен, то зачем? Читабельнее?

10 ответов

23 просмотра

Он пытается отучить вас писать ерунду. Ну или подсказать, что в коде остался черновик. И, да, не надо писать стрелку вместе с pure, это во-первых синтаксический мусор, а во-вторых скрывает намерение. Ну и может мешать оптимизациям наверно (чистые выражения можно поместить в оптимальное место).

Душность тут только в том, что у let не надо писать in. Подразумевается, что "in всё что что ниже по блоку". А так это обычный let. А где let, там может и where...

Ну тут есть любители абьюзить синтаксис ради экономии на скобках f do a do b Я, например, осуждаю такое

Две таблетки лиспа после еды, на пару недель.

IC Rainbow
Две таблетки лиспа после еды, на пару недель.

Там просто таблетка, которую разламываешь пополам и ешь в два присеста. Главное — соблюдать баланс

Yerbol-Altynbek 🇺🇦 Автор вопроса
IC Rainbow
Душность тут только в том, что у let не надо писат...

То есть, я просто нарушил конвенцию типа этого: bind bind bind expr expr expr Ладно, гадать не буду пока 🙂. Хотел убедиться, что линтер не зря меня просит о чем-то. Нужно сначала рассахарить do, потом найду ответ

Yerbol Altynbek 🇺🇦
То есть, я просто нарушил конвенцию типа этого: bi...

Ты тут под вот этим бибиндом имел ввиду "сначала всё биндим, потом пишем выражения"?

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

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта