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
Big Data Science :: AI / ... Big Data Science :: AI / ...
DevsHelper DevsHelper
SwiftBook SwiftBook
Solidity Development Solidity Development
pro.net (former COM+) pro.net (former COM+)
OpenStreetMap RU OpenStreetMap RU
Visual Studio Code — русс... Visual Studio Code — русс...
Delphi & Lazarus Delphi & Lazarus
ru_mysql ru_mysql
pro.lua pro.lua
GraphQL — русскоговорящее... GraphQL — русскоговорящее...
Dart / Flutter Dart / Flutter
Evolution CMS развитие и ... Evolution CMS развитие и ...
pro.Asm pro.Asm
OpenCartForum - 🇺🇦🇪🇺Чат O... OpenCartForum - 🇺🇦🇪🇺Чат O...
Angular.js (1.x) — русско... Angular.js (1.x) — русско...
IDE и редакторы — русског... IDE и редакторы — русског...
Frontend_ru Frontend_ru
Flutter Developers — русс... Flutter Developers — русс...
AutoIT RU AutoIT RU
AI / Искусственный Интелл... AI / Искусственный Интелл...
Lame C Lame C
Laravel Framework Russian... Laravel Framework Russian...
WebPwnChat WebPwnChat
Чат — Верстка Сайтов и Фр... Чат — Верстка Сайтов и Фр...
pro.python pro.python
Java Underground Java Underground
dlang.ru dlang.ru
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
Autohotkey_RU ( v1 & v2 ) Autohotkey_RU ( v1 & v2 )
PHP DevConf KZ🇰🇿 PHP DevConf KZ🇰🇿
pro.rb (Ruby/Rails / RU) pro.rb (Ruby/Rails / RU)
RubyRush.ru RubyRush.ru
Oracle RU Oracle RU
DevOps DevOps
Software Design/Architect... Software Design/Architect...
Server Side Swift Develop... Server Side Swift Develop...
sql_ninja sql_ninja
AndroidDev Pro:: Професси... AndroidDev Pro:: Професси...
WordPress for developers WordPress for developers
Odoo talks & fun Odoo talks & fun
PowerShellRus - о Powersh... PowerShellRus - о Powersh...
Эльбрусы и с чем их едят Эльбрусы и с чем их едят
Java/Kotlin and more Java/Kotlin and more
pro.buildsystems pro.buildsystems
ru.nim.talks ru.nim.talks
Modern::Perl Modern::Perl
Powershell Rus Powershell Rus
Python для анализа данных Python для анализа данных
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
Haskell Start Haskell Start
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
phpclub.ru phpclub.ru
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
ErlangRus ErlangRus
QA juniors QA juniors
GameDev for Web GameDev for Web
Electron.js Electron.js
Go Get A Job Go Get A Job
MySQL (EN) MySQL (EN)
Lame C++ Lame C++
pro.osdev - os developmen... pro.osdev - os developmen...
RU.Docker — Официальное Р... RU.Docker — Официальное Р...
Emacs — русскоговорящее с... Emacs — русскоговорящее с...
PostgreSQL (English) PostgreSQL (English)
Ember_js Ember_js
Django Django
Tilda Developers Tilda Developers
FreePascal & Lazarus FreePascal & Lazarus
WordPress – русскоговорящ... WordPress – русскоговорящ...
Язык программирования Jul... Язык программирования Jul...
ReasonML и OCaml ReasonML и OCaml
ansible — русскоговорящее... ansible — русскоговорящее...
sentry_ru sentry_ru
WebAssembly — русскоговор... WebAssembly — русскоговор...
Сrystal Lang — русскогово... Сrystal Lang — русскогово...
aiohttp aiohttp
Clojure — русскоговорящее... Clojure — русскоговорящее...
heroku_ru heroku_ru
PowerShell Pro PowerShell Pro
systemd systemd
macOS Developers — русско... macOS Developers — русско...
use Perl or die; use Perl or die;
FORTH и родственные ЯП FORTH и родственные ЯП
ru_jenkins ru_jenkins
Natural Language Processi... Natural Language Processi...
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
Danil-Berestov

Откуда ты взял идею сравнения можно ли здесь так вообще как

например где?

#haskell #programming #russian
0

21 ответов

52 просмотра
Vladislav-Vasil'ev

Я до последнего не хотел приводить примеры из других языков здесь, но вот

0
2 месяца назад
Danil-Berestov Автор вопроса
Vladislav Vasil'ev
Я до последнего не хотел приводить примеры из друг...

type family AreEq a b where AreEq a a = 'True AreEq a b = 'False что-то типа этого, наверное

0
2 месяца назад
Vladislav-Vasil'ev
Danil Berestov
type family AreEq a b where AreEq a a = 'True ...

Если не сложно, покажи пример как пользоваться ?

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

ставлю 1 евро, что он хочет if typeOf x == Int then x + 1

0
2 месяца назад
Gentle Rabbit-
Vladislav Vasil'ev
Я до последнего не хотел приводить примеры из друг...

полного соответствия is_same из С++ в хаскеле не получится, потому что С++ это самобытный инженерный язык с очень специфичными решениями в области проектирования языка

0
2 месяца назад
Gentle Rabbit-
Cheese Syrowiecki
ставлю 1 евро, что он хочет if typeOf x == Int the...

проиграл получается, is_same это другое

0
2 месяца назад
Danil-Berestov Автор вопроса
Cheese Syrowiecki
ставлю 1 евро, что он хочет if typeOf x == Int the...

да, с тебя евро

0
2 месяца назад
Danil-Berestov Автор вопроса
Gentle Rabbit
проиграл получается, is_same это другое

а че не получится-то?

0
2 месяца назад
Cheese-Syrowiecki
Gentle Rabbit
проиграл получается, is_same это другое

нет, погоди, ещё мы не знаем, для чего issame. булевое значение не конечная цель

0
2 месяца назад
Vladislav-Vasil'ev
Gentle Rabbit
полного соответствия is_same из С++ в хаскеле не п...

Было интересно есть ли просто тут такие же приколы на типах как там. Но спасибо за развернутый ответ

0
2 месяца назад
Cheese-Syrowiecki
Vladislav Vasil'ev
Было интересно есть ли просто тут такие же приколы...

тебе ответили уже давно, что есть и разные

0
2 месяца назад
Gentle Rabbit-
Danil Berestov
а че не получится-то?

мономорфизация во время проверки типов позволяет разрешить этот is_same во время компиляции, без таскания словарей

0
2 месяца назад
Danil-Berestov Автор вопроса
Vladislav Vasil'ev
Я до последнего не хотел приводить примеры из друг...

более менее похожее, тока придётся таскать словари https://play.haskell.org/saved/0EPXb11I

0
2 месяца назад
Gentle Rabbit-
Danil Berestov
более менее похожее, тока придётся таскать словар...

https://play.haskell.org/saved/2Vm8TO6h як тоби такое

0
2 месяца назад
Cheese-Syrowiecki
Danil Berestov
да, с тебя евро

ок, в личку

0
2 месяца назад
Danil-Berestov Автор вопроса
Gentle Rabbit
https://play.haskell.org/saved/2Vm8TO6h як тоби та...

Сойдет

0
2 месяца назад
Михаил-
Cheese Syrowiecki
ставлю 1 евро, что он хочет if typeOf x == Int the...

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

0
2 месяца назад
Cheese-Syrowiecki
Михаил
Может, что-то на уровне типов кодит. Например, был...

оказалось, нет, это плюсовик изучает язык со точки зрения своего опыта

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

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

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

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

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

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

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

вот еще вопрос ошибка app/Main.hs:135:13: error: [GHC-83865] • Couldn't match type: MoveInfo -> Coords with: (Int, Int) Expected: Coords ...

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

вот такое это из хаскеловской или никсовой ситуации ? пока мне сложно отличить, может кто понимает last 10 log lines: > Running phase: updateAutotoolsGnuConfig...

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

а как с таким борятся ? про термин стак тут мне пока не попадалось ghci> foldr (\(CotMD n ctM _) (mstep,pos) -> if ctM > mstep then (ctM, n) else (mstep, pos)) (0,0) $ take ...

#haskell #programming #russian
24.04.2024
0
13 ответов
Haskell Start Haskell Start / quantum super position
Подписаться

А что значит искать по значению? Проверить, есть ли в мапе определенное значение, или проверить есть ли в мапе определенное значение + вытащить все ключи которые "указывают" н...

#haskell #programming #russian
сегодня 09:36
0
2 ответов
Haskell Start Haskell Start / Fedor
Подписаться

вот вопрос, вот про это type Events = [String] type Probs = [Double] у курта есть задание Если бы ваши типы Events и Probs были самостоятель­ ными типами данных, а не просто...

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

Вопрос, этого кода getDirectory :: MarcRecordRaw -> MarcDirectoryRaw getDirectory record = B.take directoryLength afterLeader where directoryLength = getDirectoryLength r...

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

вот такой код тут тип можно сделать как написано, можно структурой {} data ResOfcot = ResOfcot n ctS ctM ctLr listcot = [(n, cotStd n, cotlModcount n, cotLR n) | n <- nat] l...

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

А через функтор задача фильтра решается ?

#haskell #programming #russian
сегодня 10:15
0
2 ответов
Смотреть еще
Haskell Start Haskell Start
Подписаться
Вопросов 707
Ответов 2178
Участников 1060
Telegram @haskell_learn

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

а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Добрый день. Хочу сделать отрисовку по команде на панели. Почему-то рисуется только при втором вызове. С чем может быть связано, не подскажете? procedure TForm1.FormDblClick(...
Kirill Filippenok
20
Всем доброго дня! Подскажите может кто использовал связку Pagebuilder + Clientsetting. Сами параметры с типом pagebuilder в модуле Clientsetting работают нормально, можно такж...
Александр Добриков
12
А почему в си некоторые вещи работают с двойными кавычками некоторые с одинарными? Нельзя было все сделать с одними или чтоб работало с разными? например чтоб выводить строки ...
.
15
Всем привет! Нужен совет от опытных. Переношу свой проект с Делфи 10.2 Токио на Лазарус 3.2 установленный через инсталлятор fpcupdeluxe-x86_64-win64. При импортировании проект...
Дмитрий Завгородний
7
Эх кто-то пришел и весь праздник испортил :( You need complex FBX scene importing setup to change things on import? good luck with that. You need navigation and pathfinding? g...
Serg Gini
5
Всем привет! procedure TForm1.FormCreate(Sender: TObject); type TStartEnd = record S: Byte; E: Byte; end; var a, b: TStartEnd; begin {1} a.S := 1; {2} a.E := 2; ...
Руслан Михайлович
10
Всем привет!) я тут новенький и пытаюсь освоить evolution методом тыка. У меня при переходе между папками файлов выскакивают вот такие уведомления Можете подсказать как их от...
Диман Samoed
10
Всем привет! Подскажите. Я написал приложение на Delphi 10.2 Tokyo под Windows 10. И передо мной стал вопрос о том чтобы сделать это приложение кроссплатформенным (под Linux и...
Дмитрий Завгородний
24
Какого хера? /Sources/App/Modules/User/Models/UserLinkApple.swift:21:20: warning: stored property '_id' of 'Sendable'-conforming class 'UserLinkApple' is mutable @ID(...
Alexander Sherbakov
14
Карта сайта