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

React — русскоговорящее с...

Android Developers

Vue.js — русскоговорящее ...

Telegram Developers

Node.js — русскоговорящее...

DevOps — русскоговорящее ...

JavaScript Noobs — сообще...

Angular - русскоговорящее...

Верстка сайтов HTML/CSS/J...

Kubernetes — русскоговоря...

Битрикс для разработчиков

MODX. Русскоязычное сообщ...

pgsql – PostgreSQL

iOS Developers — русского...

ClickHouse не тормозит

Rust — русскоговорящее со...

JavaScript — русскоговоря...

React Native — русскогово...

Docker — русскоговорящее ...

HTML/CSS — русскоговоряще...

Python beginners

🐧 RU.UBUNTU — Официальное...

Kotlin Community

Чат экстремального погром...

Scala User Group

Клуб Vue.js-разработчиков

Xamarin Developers (MAUI,...

Svelte [svelt] - All abou...

Системное администрирован...

Nuxt.js | Vue SSR

var chat = new Chat();

Data Science Chat

Ассемблер

Android Architecture

Laravel для начинающих

Церковь метрик

QA — русскоговорящее сооб...

R (язык программирования)

Big Data Science :: AI / ...

Delphi & Lazarus

Solidity Development

Evolution CMS официальное...

pro.net (former COM+)

OpenStreetMap RU

Visual Studio Code — русс...

GraphQL — русскоговорящее...

IDE и редакторы — русског...

OpenCartForum - 🇺🇦🇪🇺Чат O...

Angular.js (1.x) — русско...

Flutter Developers — русс...

AI / Искусственный Интелл...

Laravel Framework Russian...

Чат — Верстка Сайтов и Фр...

Java Underground

Natural Language Processi...

SqlCom.ru - сообщество MS...

Delphi Community

Server Side Swift Develop...

Autohotkey_RU ( v1 & v2 )

PHP DevConf KZ🇰🇿

pro.rb (Ruby/Rails / RU)

Odoo talks & fun

Software Design/Architect...

AndroidDev Pro:: Професси...

WordPress for developers

PowerShellRus - о Powersh...

Эльбрусы и с чем их едят

Java/Kotlin and more

pro.buildsystems

Python для анализа данных

Скрипты Гугл, Таблицы, Go...

Compiler Development

firebase_ru — русскоговор...

RU.CRYPTOGRAPHY — Криптог...

pro.osdev - os developmen...

GameDev for Web

PostgreSQL (English)

Tilda Developers

RU.Docker — Официальное Р...

Emacs — русскоговорящее с...

FreePascal & Lazarus

Язык программирования Jul...

WordPress – русскоговорящ...

ReasonML и OCaml

WebAssembly — русскоговор...

ansible — русскоговорящее...

Сrystal Lang — русскогово...

Clojure — русскоговорящее...

macOS Developers — русско...

use Perl or die;

FORTH и родственные ЯП

Natural Language Processi...

Sequelize - community (en...

Elm Lang сообщество разра...

WordPress CodeRun

ReactiveX - русскоговорящ...

PureScript — русскоговоря...

Эликсир и Вунш

🦛 Хаскель Моисеевич Гопник 🦛

($) :: (a->b)->a->b infixr 0 $ f *$ x = f x Напейсал

свой $. HLS подсказывает, что надо добавить fixity, в доке написано, что добавлять так. ОК. Минимальная правая assоциативность. Но дальше решаю по Ванье сделать оператор обратного применения:

(*>$>) :: a->(a->b)->b
infixl 0 *>$>
x *>$> f = f x

И тут я задумался — здесь должна быть левая ассоциативность или правая?..

#haskell #programming #russian

0

08.02.2024

13 ответов

54 просмотра

Timofey Zakrevskiy

x & f & g == (x & f) & g

0

10 месяцев назад

Никакая не должна. Но может быть любая какую хочешь.

0

10 месяцев назад

🦛 Хаскель Моисеевич Гопник 🦛 Автор вопроса

Timofey Zakrevskiy
x & f & g == (x & f) & g

Левая?..

0

10 месяцев назад

🦛 Хаскель Моисеевич Гопник 🦛 Автор вопроса

Timofey Zakrevskiy
x & f & g == (x & f) & g

Я там правую поставил, потому что у $ правая по учебнику.

0

10 месяцев назад

🦛 Хаскель Моисеевич Гопник 🦛
Я там правую поставил, потому что у $ правая по уч...

не потому что f $ g $ a == f $ (g $ a) ?

0

10 месяцев назад

Cheese Syrowiecki

🦛 Хаскель Моисеевич Гопник 🦛
Я там правую поставил, потому что у $ правая по уч...

($) и (*>$>) — одни и то же?

0

10 месяцев назад

🦛 Хаскель Моисеевич Гопник 🦛 Автор вопроса

Danil Berestov
не потому что f $ g $ a == f $ (g $ a) ?

Не. Сначала по учебнику, потом разбираться. Не наоборот :).

0

10 месяцев назад

🦛 Хаскель Моисеевич Гопник 🦛 Автор вопроса

Cheese Syrowiecki
($) и (*>$>) — одни и то же?

Не, (*>$>) это (&).

0

10 месяцев назад

Cheese Syrowiecki

🦛 Хаскель Моисеевич Гопник 🦛
Не, (*>$>) это (&).

значит, нельзя применять довод "потому что по учебнику"

0

10 месяцев назад

🦛 Хаскель Моисеевич Гопник 🦛 Автор вопроса

Timofey Zakrevskiy
x & f & g == (x & f) & g

Значить таки левая!.. Предчувствие не обмануло!..

0

10 месяцев назад

🦛 Хаскель Моисеевич Гопник 🦛 Автор вопроса

Cheese Syrowiecki
значит, нельзя применять довод "потому что по учеб...

Я там поставил левую потому, что сработал/о cue — раз тут аргументы скармливаем в другом направлении, наверное и ассоциативность должна быть другая.

0

10 месяцев назад

Cheese Syrowiecki

🦛 Хаскель Моисеевич Гопник 🦛
Я там поставил левую потому, что сработал/о cue — ...

Стикер

0

10 месяцев назад

🦛 Хаскель Моисеевич Гопник 🦛 Автор вопроса

Не. Первое утверждение относится к первому определению, второе — ко второму.

0

10 месяцев назад

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

Haskell Start / Rebuild your mind.

Подписаться

~ 2m21s  nix shell github:nixos/nixpkgs#stack ~  stack ghc -- --version error: … while calling the 'derivationStrict' builtin at /builtin/derivation.nix:...

#haskell #programming #russian

18.11.2024

0

6 ответов

Haskell Start / Дима

Подписаться

А какие бывают нынче причины использовать стак с Nix'ом? Могу два сходу представить: 1) если кто-то не хочет Никс использовать 2) ручное прописывание модулей с кабалом Они акт...

#haskell #programming #russian

18.11.2024

0

6 ответов

Haskell Start / Алексей Щеглов

Подписаться

Show a => String -> a -> String Будто бы задано 3 аргумента, типа "=>" пишется после вызова функции?

#haskell #programming #russian

11.10.2024

0

65 ответов

Haskell Start / Дима

Подписаться

А можно мне банхаммер?👉👈 Я часто раньше всех ловлю сообщения от ботов, но могу только репортить/тэгать

#haskell #programming #russian

20.11.2024

0

3 ответов

Haskell Start / Borislaw P

Подписаться

А еще вопрос. Можно ли как-то сдлеать так что бы вот это data MyData = MyData { x :: Int16 } deriving (Show) test = MyData 32769 падало с ошибкой переполнения? просто ...

#haskell #programming #russian

12.11.2024

0

7 ответов

Haskell Start / Fedor

Подписаться

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...

#haskell #programming #russian

27.05.2024

0

131 ответов

Haskell Start / Blachen

Подписаться

Здравствуйте. Приношу извинения, если вопрос может быть непонятным, но я сам мало что понимаю... В этой функции map f формирует [Int], при вызове функции видно, что работает...

#haskell #programming #russian

15.11.2024

0

2 ответов

Haskell Start / Borislaw P

Подписаться

Всем привет! Можно ли создать такой тип который не возомжно будет создать при каких нибудь условиях? например data MyType = MyType { flag :: Bool value :: Integer } ...

#haskell #programming #russian

14.11.2024

0

1 ответов

Haskell Start / Rebuild your mind.

Подписаться

А свой кэш вообще реально поднять в никсе?

#haskell #programming #russian

19.11.2024

0

2 ответов

Haskell Start / Arseny

Подписаться

Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?

#haskell #programming #russian

05.11.2024

0

8 ответов

Смотреть еще

Подписаться

Вопросов 901

Ответов 3418

Участников 946

Telegram @haskell_learn

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

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?

Rꙮman Yankꙮvsky

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

30500 за редактор? )

Владимир

а через ESC-код ?

Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится

У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...

Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...

Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...

Ребят в СИ можно реализовать ООП?

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 лет назад...

Карта сайта