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+)
Delphi & Lazarus Delphi & Lazarus
OpenStreetMap RU OpenStreetMap RU
Visual Studio Code — русс... Visual Studio Code — русс...
ru_mysql ru_mysql
pro.lua pro.lua
GraphQL — русскоговорящее... GraphQL — русскоговорящее...
Evolution CMS развитие и ... Evolution CMS развитие и ...
Dart / Flutter Dart / Flutter
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 — русс...
AutoIT RU AutoIT RU
AI / Искусственный Интелл... AI / Искусственный Интелл...
Lame C Lame C
Laravel Framework Russian... Laravel Framework Russian...
WebPwnChat WebPwnChat
Чат — Верстка Сайтов и Фр... Чат — Верстка Сайтов и Фр...
pro.python pro.python
dlang.ru dlang.ru
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
PHP DevConf KZ🇰🇿 PHP DevConf KZ🇰🇿
Delphi Community Delphi Community
Autohotkey_RU ( v1 & v2 ) Autohotkey_RU ( v1 & v2 )
Server Side Swift Develop... Server Side Swift Develop...
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...
sql_ninja sql_ninja
Modern::Perl Modern::Perl
Odoo talks & fun Odoo talks & fun
AndroidDev Pro:: Професси... AndroidDev Pro:: Професси...
WordPress for developers WordPress for developers
ru.nim.talks ru.nim.talks
PowerShellRus - о Powersh... PowerShellRus - о Powersh...
Эльбрусы и с чем их едят Эльбрусы и с чем их едят
Java/Kotlin and more Java/Kotlin and more
pro.buildsystems pro.buildsystems
Powershell Rus Powershell Rus
Haskell Start Haskell Start
Python для анализа данных Python для анализа данных
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
phpclub.ru phpclub.ru
ErlangRus ErlangRus
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
Electron.js Electron.js
QA juniors QA juniors
GameDev for Web GameDev for Web
MySQL (EN) MySQL (EN)
Go Get A Job Go Get A Job
pro.osdev - os developmen... pro.osdev - os developmen...
Lame C++ Lame C++
RU.Docker — Официальное Р... RU.Docker — Официальное Р...
PostgreSQL (English) PostgreSQL (English)
Emacs — русскоговорящее с... Emacs — русскоговорящее с...
Ember_js Ember_js
FreePascal & Lazarus FreePascal & Lazarus
Tilda Developers Tilda Developers
Django Django
WordPress – русскоговорящ... WordPress – русскоговорящ...
Язык программирования Jul... Язык программирования Jul...
ReasonML и OCaml ReasonML и OCaml
sentry_ru sentry_ru
ansible — русскоговорящее... ansible — русскоговорящее...
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
xfides-Barabanov

Хорошо. Текст к картинке описывает, что это уже есть в

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

Когда я просто объявляю тип переменной Int - какой из этих 3 инстансов по умолчанию подставляется?

Могу ли я как то объявить переменную, указав что у меня не просто int, а int, рождённый в соответствии с тайпклассом real?

#haskell #programming #russian
0

5 ответов

9 просмотров
Strange Rabbit-

классы в ооп != классы в хаскеле

0
07.05.2022
charrsky-

Я тоже новичок, но позволю себе попробовать ответить на ваш вопрос. Насколько я понимаю, невыделенные жирным шрифтом типы — это типы которые имеют свойства данного класса. То есть классы в хаскеле подобны не строгим биологическим классам, а “роду” в философском смысле — “кто умеет летать? — птицы, насекомые, некоторые млекопитающие — ага, записываем их в класс крылатых”

0
07.05.2022
Хаскель-Моисеевич Гопник

Отвечу "по существу" конкретно на этот вопрос. Для того, чтобы быть инстансом Real, тип Int должен содержать реализацию функции toRational. Оно есть тут https://hackage.haskell.org/package/base-4.16.0.0/docs/src/GHC.Real.html -- | @since 2.0.1 instance Real Int where toRational x = toInteger x :% 1 Для того, чтобы быть инстансом Integral, тип Int должен содержать реализации других функций, их список идёт сразу по ссылке выше, instance Integral Int where toInteger (I# i) = Int# -> Integer IS i и дальше вниз. Соответственно, когда ты пишешь Int, ты используешь тип, который УЖЕ является инстансами всех этих классов, а не инстансами какого-то подмножества.

0
07.05.2022
xfides-Barabanov Автор вопроса
Хаскель Моисеевич Гопник
Отвечу "по существу" конкретно на этот вопрос. Для...

Спасибо. Сегодня к концу дня до этого дошел

0
07.05.2022

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

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 / Cheese Syrowiecki
Подписаться

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

#haskell #programming #russian
25.06.2024
0
16 ответов
Haskell Start Haskell Start / ⰄⰎⰋⰐⰐⰑⰛⰤⰧⰧⰩⰄ ⰊⰑⰁⰓⰡⰛⰦⰕⰫ
Подписаться

А как определить параметризованный тип с ограничением на параметр? Например, (Integral a) => CongruentModel a { p :: a, q :: a, r :: a }?

#haskell #programming #russian
вчера 16:13
0
2 ответов
Haskell Start Haskell Start / ⰄⰎⰋⰐⰐⰑⰛⰤⰧⰧⰩⰄ ⰊⰑⰁⰓⰡⰛⰦⰕⰫ
Подписаться

Вот кстати вопрос https://www.reddit.com/r/haskell/s/d81DpEdX6K И вопрос у меня связанный тоже - а нельзя так сделать, чтобы по нажатию набора клавиш VSCode показывала тип иде...

#haskell #programming #russian
25.06.2024
0
5 ответов
Haskell Start Haskell Start / Sara Lala
Подписаться

Добрый день Хочу начать обучение языку, не являюсь представителем it, буду благодарна за помощь, совсем пока не понимаю ничего) Подскажите, пожалуйста, где можно начать первы...

#haskell #programming #russian
14.06.2024
0
30 ответов
Haskell Start Haskell Start / = ?
Подписаться

Насколько моя реализация Exercise 1 плохая? data MessageType = Info | Warning | Error Int deriving (Show, Eq) type TimeStamp = Int data LogMessage = LogMessage ...

#haskell #programming #russian
20.06.2024
0
10 ответов
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 / deadgnom32 λ madao
Подписаться

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

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

Делал задачу вот такую https://stepik.org/lesson/4985/step/9?unit=1083 получилось такое https://play.haskell.org/saved/ipKrepqe оно работает, тестов много не писал, но работае...

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

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

#haskell #programming #russian
20.04.2024
0
42 ответов
Смотреть еще
Haskell Start Haskell Start
Подписаться
Вопросов 783
Ответов 2827
Участников 1028
Telegram @haskell_learn

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

Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
75
База данных не поможет. Шифрование не поможет. Какие там ещё варианты? Накидывайте.
КТ315
20
А как лучше конвертировать физический адрес в виртуальный при маппинге? В случае ядра у меня, например, direct mapping, первые 768МБ я как есть мапплю в higher half, а остальн...
Evg Resh
26
А табстоп это сообщение от окна или от элемента управления?
The Bird of Hermes
18
Открыл свой двухкилобайтный экзешник в x32dbg, а тут какая-то хрень. Смущает кнопка "выполнить до пользовательского кода", а что ещё может быть в файле помимо него ?
НѣкъиⰘижєжєиꙁъвьсєсвѣтьноѣсѣтиѥсть•
11
Вопрос тем кто смотрит видео и слушает подкасты - как вы потом ищете нужную вам информацию? Вот статью я прочитал, потом могу искать нужную мне часть банальным поиском. Пропус...
Aleksandr Druzhinin
4
Мне были интересны дишные хаки и я нашёл любопытный способ на форуме через __traits, что-то вроде int delegate(int) fac = (int n) => n == 0 ? 1 : n * __traits(parent, {})(n - ...
Constantin F.
1
Всем привет, подскажите/посоветуйте пожалуйста. Фаердак компоненты, имею одно место где бизнес хочет видеть при открытии формы список всех клиентов, это порядка 30к. Мои дово...
Sasha Sch
14
Ребят, если кто в курсе - скажите, а в загранке такое же засилье маркетплейсов? или там простые сермяжные интернет-магазины живут попроще?
Андрей [aharito] Харитонов
14
@FAssembler ты много с формами работал, как цикл обработки сообщений от окошек надо делать, чтобы IsDialogMessage не ломал ввод в эдиты и навигация по табам работала?
The Bird of Hermes
8
Карта сайта