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
Delphi & Lazarus Delphi & Lazarus
Solidity Development Solidity Development
Evolution CMS официальное... Evolution CMS официальное...
pro.net (former COM+) pro.net (former COM+)
OpenStreetMap RU OpenStreetMap RU
Visual Studio Code — русс... Visual Studio Code — русс...
ru_mysql ru_mysql
pro.lua pro.lua
Dart / Flutter Dart / Flutter
GraphQL — русскоговорящее... GraphQL — русскоговорящее...
pro.Asm pro.Asm
IDE и редакторы — русског... IDE и редакторы — русског...
OpenCartForum - 🇺🇦🇪🇺Чат O... OpenCartForum - 🇺🇦🇪🇺Чат O...
Angular.js (1.x) — русско... Angular.js (1.x) — русско...
Frontend_ru Frontend_ru
Lame C Lame C
Flutter Developers — русс... Flutter Developers — русс...
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
Delphi Community Delphi Community
pro.vim pro.vim
Server Side Swift Develop... Server Side Swift Develop...
Autohotkey_RU ( v1 & v2 ) Autohotkey_RU ( v1 & v2 )
PHP DevConf KZ🇰🇿 PHP DevConf KZ🇰🇿
Modern::Perl Modern::Perl
pro.rb (Ruby/Rails / RU) pro.rb (Ruby/Rails / RU)
RubyRush.ru RubyRush.ru
Oracle RU Oracle RU
ru.nim.talks ru.nim.talks
DevOps DevOps
Odoo talks & fun Odoo talks & fun
Software Design/Architect... Software Design/Architect...
sql_ninja sql_ninja
AndroidDev Pro:: Професси... AndroidDev Pro:: Професси...
WordPress for developers WordPress for developers
PowerShellRus - о Powersh... PowerShellRus - о Powersh...
Haskell Start Haskell Start
Эльбрусы и с чем их едят Эльбрусы и с чем их едят
Java/Kotlin and more Java/Kotlin and more
pro.buildsystems pro.buildsystems
Powershell Rus Powershell Rus
ErlangRus ErlangRus
Python для анализа данных Python для анализа данных
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
phpclub.ru phpclub.ru
Electron.js Electron.js
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
pro.osdev - os developmen... pro.osdev - os developmen...
MySQL MySQL
Lame C++ Lame C++
QA juniors QA juniors
GameDev for Web GameDev for Web
Go Get A Job Go Get A Job
PostgreSQL (English) PostgreSQL (English)
Ember_js Ember_js
Tilda Developers Tilda Developers
RU.Docker — Официальное Р... RU.Docker — Официальное Р...
Emacs — русскоговорящее с... Emacs — русскоговорящее с...
FreePascal & Lazarus FreePascal & Lazarus
Язык программирования Jul... Язык программирования Jul...
WordPress – русскоговорящ... WordPress – русскоговорящ...
Django Django
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 Haskell
Danil-Berestov

А зачем в кваскель тащить зависимые типы?

#haskell #programming #russian
0

26 ответов

17 просмотров
Nutritional Rabbit-

Потому что завтипы это секас

0
05.02.2021
Danil-Berestov Автор вопроса
Nutritional Rabbit
Потому что завтипы это секас

идрес вот с нуля не может до сих пор сделать, чтобы было _нормально_

0
05.02.2021
Danil-Berestov Автор вопроса
Oleg ℕižnik
офтоп, но что ненормального то

Ну какое-то время назад говорили, что компеляция иногда просто не заканчивается, или типа того

0
05.02.2021
Oleg-ℕižnik
Danil Berestov
Ну какое-то время назад говорили, что компеляция и...

Так это так в любом языке с достаточно мощной системой типов, это показатель нормальности, а не наоборот

0
05.02.2021
Danil-Berestov Автор вопроса
Oleg ℕižnik
Так это так в любом языке с достаточно мощной сист...

Ну хочется всё же собирать программу за конечное время. Тоже _нормальное_ желание)

0
05.02.2021
Andrey-Vlasov
Danil Berestov
Ну хочется всё же собирать программу за конечное в...

Если все функции тотальные, то за конечное соберётся, просто за большое конечное

0
05.02.2021
Oleg-ℕižnik
Danil Berestov
Ну хочется всё же собирать программу за конечное в...

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

0
05.02.2021
Andrey-Vlasov
Danil Berestov
Ну хочется всё же собирать программу за конечное в...

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

0
05.02.2021
Danil-Berestov Автор вопроса
Oleg ℕižnik
Ну если хочется верхний баунд на время конпеляции,...

Ну наши 130к компилируются за 3,5 минуты, например)

0
05.02.2021
adam-Белоочий

избавить от использования синглтонов

0
05.02.2021
Danil-Berestov Автор вопроса
adam Белоочий
избавить от использования синглтонов

норм, но в синглтонах тоже пока не алё. знаю тока, шо можно классное че-то делать

0
05.02.2021
Oleg-ℕižnik
Danil Berestov
Ну наши 130к компилируются за 3,5 минуты, например...

Ну если у вас есть большая программа на хаскеле, которая быстро собирается, а у кого-то есть маленькая программа на идрисе, которая долго собирается, действительно стоит сделать вывод, что дело в ЯП

0
05.02.2021
Nutritional Rabbit-
Danil Berestov
Ну наши 130к компилируются за 3,5 минуты, например...

У вас там только изменённые части пересобираются что ли?

0
05.02.2021
Nutritional Rabbit-
Danil Berestov
норм, но в синглтонах тоже пока не алё. знаю тока,...

Синглтоны это, конечно, круто, но область памяти без определённого времени жизни это отстой. Накидаешь ты этих сингтонов, а потребление оперы ниже 500 метров не опускается, кул, да?

0
05.02.2021
Danil-Berestov Автор вопроса
Nutritional Rabbit
Синглтоны это, конечно, круто, но область памяти б...

всё ещё меньше холодного хрома

0
05.02.2021
Nutritional Rabbit-
Danil Berestov
всё ещё меньше холодного хрома

Ну, это я при минимальную планку, по максимуму там спейслик и минус 6 гб оперы

0
05.02.2021
A64m-AL256m qn<cores> I0
Oleg ℕižnik
офтоп, но что ненормального то

прокомментируйте пожалусто критику кьютити на странице 29, чет эйзенберг любит на это налегать, но мне проблема особо серьезной не кажется

0
05.02.2021
A64m-AL256m qn<cores> I0
Danil Berestov
расшифруеш наброс?

говорю ж на стр 29 написано, в видосе выше эйзенберг тоже про это упоминает

0
05.02.2021
Oleg-ℕižnik
A64m AL256m qn<cores> I0
прокомментируйте пожалусто критику кьютити на стра...

я честно вчитался в 29, не прочитав статьи целиком там получается два минуса - первый это какие-то полукольца, у которых произведение не нулей может быть нулём и единственный пример - это какая-то странная секьюрити система типов, где я так понимаю, у вас есть вектор разрешений и если например терм c разрешением (r:1. w: 0) замещается внутри терма с разрешением (r:0, w:1) то произведение будет нулевым, и вот тут QTT и проиграла а второй минус, возможно более серьёзный с патерн-матчингом, но я пока не знаю, как правильно суммы делаются в QTT

0
05.02.2021

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

Haskell Haskell / ☮️ (*_*)🔻owhi🔻(λ_λ) ☮️
Подписаться

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

#haskell #programming #russian
14.09.2023
0
56 ответов
Haskell Haskell / Andrey
Подписаться

хорош флудить! какие вопросы по существу не отвечены?

#haskell #programming #russian
14.09.2023
0
26 ответов
Haskell Haskell / Cheese Syrowiecki
Подписаться

как сгенерить случайный KeyPair? https://hackage.haskell.org/package/cryptonite-0.30/docs/Crypto-PubKey-ECC-ECDSA.html#t:KeyPair

#haskell #programming #russian
01.09.2023
0
25 ответов
Haskell Haskell / Yan Shkurinskiy
Подписаться

А как тогда сравниваете?

#haskell #programming #russian
14.09.2023
0
23 ответов
Haskell Haskell / Nick By
Подписаться

Подскажите какой сейчас рекомендованный подход с передачей опциальных (optional) параметров в функцию? Я нашел по крайней мере 6 возможности. 1. Использывать библиотеку Data....

#haskell #programming #russian
08.10.2023
0
15 ответов
Haskell Haskell / Danil Berestov
Подписаться

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

#haskell #programming #russian
08.08.2023
0
24 ответов
Haskell Haskell / Nick By
Подписаться

я читаю книжкуHaskell Programming и не совсем понял вот это предложение: "Applicative, we saw, is a monoidal functor, and gives us a way to transform any values contained with...

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

Здравствуйте! Не знаю, у кого спросить, поэтому пишу сюда. Я читаю про патnерны проектирования. Есть утверждение про factory method, которое я не понимаю: "Система должна ос...

#haskell #programming #russian
24.10.2023
0
2 ответов
Haskell Haskell / Dmitry Zuikov
Подписаться

Все уже перешли на 9.4.6 ? Стоит ли оно того? Смотрю, в никсовых пакетах уже местами есть

#haskell #programming #russian
15.10.2023
0
15 ответов
Haskell Haskell / Denis
Подписаться

Всем привет. Подзапутался с do нотацией. Подскажите пож. почему так? basefun smth = do fieldA.fieldB1.fieldX1 .= "xxx" fieldA.fieldB2.fieldY1 .= "yyy" fieldA.field...

#haskell #programming #russian
27.05.2023
0
4 ответов
Смотреть еще
Haskell Haskell
Подписаться
Вопросов 19366
Ответов 31813
Участников 1647
Telegram @haskellru

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

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
program test; {$mode delphi} procedure proc(v: int32); overload; begin end; procedure proc(v: int64); overload; begin end; var x: uint64; begin proc(x); end. Уж не знаю...
notme
6
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Ребят в СИ можно реализовать ООП?
Николай
33
Подскажите пожалуйста, как в CustomDrawCell(Sender: TcxCustomGridTableView; ACanvas: TcxCanvas; AViewInfo: TcxGridTableDataCellViewInfo; var ADone: Boolean); получить наз...
A Z
7
Карта сайта