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

React — русскоговорящее с... React — русскоговорящее с...
Android Developers Android Developers
Python Python
Vue.js — русскоговорящее ... Vue.js — русскоговорящее ...
supapro.cxx supapro.cxx
DotNetRuChat DotNetRuChat
GNU/Linux Help GNU/Linux Help
Telegram Developers Telegram Developers
Node.js — русскоговорящее... Node.js — русскоговорящее...
DevOps — русскоговорящее ... DevOps — русскоговорящее ...
JavaScript Noobs — сообще... JavaScript Noobs — сообще...
Django [ru] Django [ru]
Go-go! Go-go!
Angular - русскоговорящее... Angular - русскоговорящее...
ntwrk ntwrk
Верстка сайтов HTML/CSS/J... Верстка сайтов HTML/CSS/J...
phpGeeks phpGeeks
Kubernetes — русскоговоря... Kubernetes — русскоговоря...
Битрикс для разработчиков Битрикс для разработчиков
MODX. Русскоязычное сообщ... MODX. Русскоязычное сообщ...
pgsql – PostgreSQL pgsql – PostgreSQL
Laravel Pro Laravel Pro
iOS Developers — русского... iOS Developers — русского...
ClickHouse не тормозит ClickHouse не тормозит
Rust — русскоговорящее со... Rust — русскоговорящее со...
JavaScript — русскоговоря... JavaScript — русскоговоря...
С# С#
pro.cxx pro.cxx
pro.jvm pro.jvm
React Native — русскогово... React Native — русскогово...
Devs Chat Devs Chat
Docker — русскоговорящее ... Docker — русскоговорящее ...
HTML/CSS — русскоговоряще... HTML/CSS — русскоговоряще...
Python beginners Python beginners
🐧 RU.UBUNTU — Официальное... 🐧 RU.UBUNTU — Официальное...
Kotlin Community Kotlin Community
Embedded Group Embedded Group
Чат экстремального погром... Чат экстремального погром...
aiogram aiogram
Scala User Group Scala User Group
Haskell Haskell
PHP PHP
TypeScript TypeScript
Клуб Vue.js-разработчиков Клуб Vue.js-разработчиков
Xamarin Developers (MAUI,... Xamarin Developers (MAUI,...
F# Chat F# Chat
Svelte [svelt] - All abou... Svelte [svelt] - All abou...
Системное администрирован... Системное администрирован...
Nuxt.js | Vue SSR Nuxt.js | Vue SSR
var chat = new Chat(); var chat = new Chat();
Data Science Chat Data Science Chat
Ассемблер Ассемблер
Android Architecture Android Architecture
Laravel для начинающих Laravel для начинающих
Церковь метрик Церковь метрик
Dart & Flutter Dart & Flutter
QA — русскоговорящее сооб... QA — русскоговорящее сооб...
Tarantool Tarantool
pro.elixir pro.elixir
Python Flask Python Flask
SAP ABAP SAP ABAP
R (язык программирования) R (язык программирования)
learn.java learn.java
DevsHelper DevsHelper
Big Data Science :: AI / ... Big Data Science :: AI / ...
SwiftBook SwiftBook
Solidity Development Solidity Development
Delphi & Lazarus Delphi & Lazarus
pro.net (former COM+) pro.net (former COM+)
OpenStreetMap RU OpenStreetMap RU
Visual Studio Code — русс... Visual Studio Code — русс...
Evolution CMS без обмана ... Evolution CMS без обмана ...
ru_mysql ru_mysql
pro.lua pro.lua
Dart / Flutter Dart / Flutter
GraphQL — русскоговорящее... GraphQL — русскоговорящее...
pro.Asm pro.Asm
OpenCartForum - 🇺🇦🇪🇺Чат O... OpenCartForum - 🇺🇦🇪🇺Чат O...
IDE и редакторы — русског... IDE и редакторы — русског...
Angular.js (1.x) — русско... Angular.js (1.x) — русско...
Frontend_ru Frontend_ru
Flutter Developers — русс... Flutter Developers — русс...
Lame C Lame C
AutoIT RU AutoIT RU
AI / Искусственный Интелл... AI / Искусственный Интелл...
dlang.ru dlang.ru
Laravel Framework Russian... Laravel Framework Russian...
WebPwnChat WebPwnChat
Чат — Верстка Сайтов и Фр... Чат — Верстка Сайтов и Фр...
pro.python pro.python
Java Underground Java Underground
Natural Language Processi... Natural Language Processi...
javascript_ru javascript_ru
SqlCom.ru - сообщество MS... SqlCom.ru - сообщество MS...
Cinema 4D Cinema 4D
pro.vim pro.vim
Delphi Community Delphi Community
Server Side Swift Develop... Server Side Swift Develop...
PHP DevConf KZ🇰🇿 PHP DevConf KZ🇰🇿
Autohotkey_RU ( v1 & v2 ) Autohotkey_RU ( v1 & v2 )
pro.rb (Ruby/Rails / RU) pro.rb (Ruby/Rails / RU)
RubyRush.ru RubyRush.ru
Modern::Perl Modern::Perl
Oracle RU Oracle RU
DevOps DevOps
Software Design/Architect... Software Design/Architect...
ru.nim.talks ru.nim.talks
Odoo talks & fun Odoo talks & fun
sql_ninja sql_ninja
AndroidDev Pro:: Професси... AndroidDev Pro:: Професси...
WordPress for developers WordPress for developers
PowerShellRus - о Powersh... PowerShellRus - о Powersh...
Эльбрусы и с чем их едят Эльбрусы и с чем их едят
Java/Kotlin and more Java/Kotlin and more
pro.buildsystems pro.buildsystems
Haskell Start Haskell Start
Powershell Rus Powershell Rus
Python для анализа данных Python для анализа данных
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
ErlangRus ErlangRus
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
phpclub.ru phpclub.ru
Electron.js Electron.js
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
MySQL MySQL
QA juniors QA juniors
pro.osdev - os developmen... pro.osdev - os developmen...
GameDev for Web GameDev for Web
Lame C++ Lame C++
Go Get A Job Go Get A Job
PostgreSQL (English) PostgreSQL (English)
Ember_js Ember_js
RU.Docker — Официальное Р... RU.Docker — Официальное Р...
Emacs — русскоговорящее с... Emacs — русскоговорящее с...
Tilda Developers Tilda Developers
FreePascal & Lazarus FreePascal & Lazarus
WordPress – русскоговорящ... WordPress – русскоговорящ...
Django Django
Язык программирования Jul... Язык программирования Jul...
sentry_ru sentry_ru
ReasonML и OCaml ReasonML и OCaml
WebAssembly — русскоговор... WebAssembly — русскоговор...
ansible — русскоговорящее... ansible — русскоговорящее...
Сrystal Lang — русскогово... Сrystal Lang — русскогово...
aiohttp aiohttp
Clojure — русскоговорящее... Clojure — русскоговорящее...
heroku_ru heroku_ru
PowerShell Pro PowerShell Pro
macOS Developers — русско... macOS Developers — русско...
systemd systemd
use Perl or die; use Perl or die;
FORTH и родственные ЯП FORTH и родственные ЯП
Natural Language Processi... Natural Language Processi...
ru_jenkins ru_jenkins
CatBoost CatBoost
CyberBiology CyberBiology
Sequelize - community (en... Sequelize - community (en...
sonarqube_ru sonarqube_ru
Elm Lang сообщество разра... Elm Lang сообщество разра...
SublimeText_RU SublimeText_RU
NativeScript NativeScript
WordPress CodeRun WordPress CodeRun
ReactiveX - русскоговорящ... ReactiveX - русскоговорящ...
PureScript — русскоговоря... PureScript — русскоговоря...
#Вайти #Вайти
Эликсир и Вунш Эликсир и Вунш
Cassandra Cassandra
Haskell Start Haskell Start
xfides-Barabanov

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

темы. Я настолько привык к джс, что мозг с трудом признал таки, что f и \x -> f x - это равные функции.

Потому что в джс функция и лямбда над исходной функцией - это 2 разных объекта / сущности.

Где с этим столкнулся? Когда пытался написать моноид для стрелки.

#haskell #programming #russian
0

8 ответов

19 просмотров
Cheese-Syrowiecki

почему 2 разных? они обе имеют тип function

0
3 месяца назад
xfides-Barabanov Автор вопроса
Cheese Syrowiecki
почему 2 разных? они обе имеют тип function

Потому что движок в джс создаст 2 разных объекта функциональных в 2 разных местах памяти. И сам джс будет говорить , что при их сравнении будет false

0
3 месяца назад
Cheese-Syrowiecki
xfides Barabanov
Потому что движок в джс создаст 2 разных объекта ф...

да, и в Хаскеле так же, и в любом реальном языке программирования. потому что в общем случае нельзя проверить 2 произвольные функции на равенство

0
3 месяца назад
Cheese-Syrowiecki
xfides Barabanov
Потому что движок в джс создаст 2 разных объекта ф...

но в мозге это можно доказать. мозг-то умнее, чем JS

0
3 месяца назад
Cheese-Syrowiecki

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

0
3 месяца назад
Evgeny-Gazdovsky
Cheese Syrowiecki
почему 2 разных? они обе имеют тип function

у них еще и семантика разная

0
3 месяца назад
Maxim-Orlovsky

Кстати в схеме (с которой некоторые идеи жс украл) синтаксис (define (foo a b) ...) это то же что и (define foo (lambda (a b) ...)). Но вот равенство функций как выше написали это дело сложное чисто философски, в спеке схемы пишут что оно не определено и implementation defined

0
2 месяца назад

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

Haskell Start Haskell Start / E
Подписаться

Здравствуйте! У меня появилась возможность купить книгу "Изучай Haskell во имя добра!". Но я где-то слышал, что эта книга устарела. Насколько это правда??

#haskell #programming #russian
21.08.2024
0
22 ответов
Haskell Start Haskell Start / E
Подписаться

Здравствуйте! Я вот на stepic решаю задачи на хаскеле https://stepik.org/lesson/8443/step/8?unit=1578 мой код import Data.List (isInfixOf) removing :: String -> [String] ->...

#haskell #programming #russian
20.08.2024
0
10 ответов
Haskell Start Haskell Start / Aleksei (astynax) Pirogov
Подписаться

Вы несколько раз понимали, но потом понятие улетучивалось? Обычно это не так работает

#haskell #programming #russian
21.08.2024
0
7 ответов
Haskell Start Haskell Start / Aleksei (astynax) Pirogov
Подписаться

Но цель-то — ограничить. Иначе возникнет вопрос "зачем из State что-то брать, но не всё?" (мне реально задавали такой вопрос: зачем нужен Reader, если есть State)

#haskell #programming #russian
21.08.2024
0
1 ответов
Haskell Start 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 Haskell Start / Dmitry Ponyatov
Подписаться

чем заменить putStrLn $ show (Magazine 88 "ЮТ" []) чтобы кириллица отображалась?

#haskell #programming #russian
13.08.2024
0
13 ответов
Haskell Start Haskell Start / deadgnom32 λ madao
Подписаться

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

#haskell #programming #russian
03.05.2024
0
100 ответов
Haskell Start Haskell Start / Fedor
Подписаться

Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...

#haskell #programming #russian
28.05.2024
0
64 ответов
Haskell Start Haskell Start / Глафира Слоникова
Подписаться

Вопрос извечный про head letterValues :: Map Char Int8 letterValues = fromList $ [(head $ show i, i) | i :: Int8 <- [2 .. 9]] ++ [('T', 10), ('J', 11), ('Q', 12), ('K',...

#haskell #programming #russian
12.08.2024
0
3 ответов
Haskell Start Haskell Start / IC Rainbow
Подписаться

А локально воспроизводится?

#haskell #programming #russian
20.08.2024
0
1 ответов
Смотреть еще
Haskell Start Haskell Start
Подписаться
Вопросов 859
Ответов 3193
Участников 960
Telegram @haskell_learn

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

Какой-то там пердун в 90-х решил, что есть какая-то разная типизация. Кого вообще это волнует?
КТ315
49
void terminal_scroll() { memmove(terminal_buffer, terminal_buffer + VGA_WIDTH, buffer_size - VGA_WIDTH); memset(terminal_buffer + buffer_size - VGA_WIDTH, 0, VGA_WIDTH); ...
Егор
47
Всем привет! Подскажите, пожалуйста, в чем ошибка? Настраиваю подключение к MySQL. Либы лежат рядом с exe. Все как по "учебнику"
Евгений
16
А можете как-то проверить меня по знаниям по ассемблеру?
A A
132
Здравствуйте! У меня появилась возможность купить книгу "Изучай Haskell во имя добра!". Но я где-то слышал, что эта книга устарела. Насколько это правда??
E
22
Здравствуйте! Я вот на stepic решаю задачи на хаскеле https://stepik.org/lesson/8443/step/8?unit=1578 мой код import Data.List (isInfixOf) removing :: String -> [String] ->...
E
10
Камрады, кто тесно работал с vtv, хотел уточнить. Ширина column задаётся жёстко на этапе создания дерева или можно в рантайме ее менять программно (не мышкой)?
Ed Doc
10
да ладно ... что там неочевидного ? глянуть в исх-ки датасета и/или кверика чтобы понять в каком месте и как выполняется обращения к св-вам blablaSQL - минутное дело, даже е...
Сергей
7
Здесь для arm кто-нибудь кодит ?
Nothing
52
Всем привет, у меня есть сервер принимающий входящие HTTP подключения, как проверить, что подключение было через прокси или нет, есть какие то поля в заголовках по которым мо...
Кибер Бомж
8
Карта сайта