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

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 / ...
Delphi & Lazarus Delphi & Lazarus
SwiftBook SwiftBook
Rust Beginners Rust Beginners
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 — русскоговор...
Electron.js Electron.js
phpclub.ru phpclub.ru
embedded.rs Въевшаяся Ржа... embedded.rs Въевшаяся Ржа...
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
pro.osdev - os developmen... pro.osdev - os developmen...
MySQL MySQL
Это RabbitMQ Это RabbitMQ
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
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество
nott-мистер полночь

А в расте есть монады?

#backend #embedded #programming #russian #rust
0

28 ответов

39 просмотров
kitsu-

нет

0
01.10.2021
Αλεχ-Zhukovsky

дефайн монады сначала

0
01.10.2021
.-D
kitsu
нет

А почему нету ?

0
01.10.2021
Alexander-Chichigin
. D
А почему нету ?

Потому что нет HKT. А HKT нет, потому что без GC HKT — жуткий изврат и мучения.

0
01.10.2021
Max-Силинг
Alexander Chichigin
Потому что нет HKT. А HKT нет, потому что без GC H...

неочевидно, что мешает сделать HKT без GC. HKT вообще существуют только на уровне типов, где никакого управления памятью ещё не существует

0
01.10.2021
Alexander-Chichigin
Max Силинг
неочевидно, что мешает сделать HKT без GC. HKT воо...

На уровне типов у нас просто-типизированное ЛИ, в котором управление памятью — это "memory leaks are memory safe". 😊 В принципе, конечно, пофиг что тайпчекер протекает, но на уровне значений это тоже сказывается.

0
01.10.2021
red75prime-
Alexander Chichigin
На уровне типов у нас просто-типизированное ЛИ, в ...

А где-то есть непротекающий тайпчекер? И как это вообще выразить на уровне типов? Хотя... Линейные типы, наверно

0
01.10.2021
Alexander-Chichigin
red75prime
А где-то есть непротекающий тайпчекер? И как это в...

Выразить на уровне типов — это только если субструктурные типы есть, по-другому-то никак. 🤷‍♀️

0
01.10.2021
Traveller-Kolsky
Alexander Chichigin
Через теорему о soundness. 😃

Добавляем вариантность и проблема решена

0
01.10.2021
Alexander-Chichigin
Traveller Kolsky
Добавляем вариантность и проблема решена

Я не понял, о чём Вы. Ну и объяснять в чём проблемы в чате я тоже не возьмусь. 😊

0
01.10.2021
Αλεχ-Zhukovsky
Alexander Chichigin
Выразить на уровне типов — это только если субстру...

Я всё жду когда transpose() напишут для всех возможных монад) Пока что есть только для резалтов, опшнов и футур (точнее некоторых их комбинаций)

0
01.10.2021
Alexander-Chichigin
Αλεχ Zhukovsky
Я всё жду когда transpose() напишут для всех возмо...

Так для всех возможных нельзя — монады в общем случае не коммутируют. В этом и засада. Но это плата за выразительную мощь.

0
01.10.2021
Αλεχ-Zhukovsky
Alexander Chichigin
Так для всех возможных нельзя — монады в общем слу...

я говорю для всех возможных, а не для всевозможных. Русский язык сложна))

0
01.10.2021
kitsu-
Αλεχ Zhukovsky
для Result<MyCustomMonad> например

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

0
01.10.2021
Αλεχ-Zhukovsky
kitsu
твоя монада ты и реализуй, давай конкретные типчик...

в смысле? Тут верхний тип Result, это у него должн быть нужный транспоз

0
01.10.2021
Αλεχ-Zhukovsky
Alexander Chichigin
На уровне типов у нас просто-типизированное ЛИ, в ...

что такое протекающий тайпчекер можно объяснить?

0
01.10.2021
Traveller-Kolsky
Alexander Chichigin
Память утекает.

Где утекает память в записи Self<A> -> Self<B>?

0
01.10.2021
Alexander-Chichigin
Traveller Kolsky
Где утекает память в записи Self<A> -> Self<B>?

В тайпчекере. В записи памяти вообще нет.

0
01.10.2021
Αλεχ-Zhukovsky
Alexander Chichigin
Память утекает.

это обязательное свойство раста или только текущей реализации? Не понял к чему претензия в итоге

0
01.10.2021
Αλεχ-Zhukovsky
Alexander Chichigin
Это к Расту вообще не относится.

Тогда я не понял что куда течет. Я вот запускаю tsc/rustc/csc и у меня ничего не течет. чяднт?

0
01.10.2021
Traveller-Kolsky
Alexander Chichigin
В тайпчекере. В записи памяти вообще нет.

Ничего не будет, просто добавим порядок инстанцирования Self (SelfN<T1, ..., TN>) и запретим дефолты.

0
01.10.2021

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

Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / Давид Шекунц
Подписаться

А давайте я сразу сюда вкину вторую тему И начем с вопрос: правильно ли, что все функции должны называть в snake_case, а структуры в CameCase?

#backend #embedded #programming #russian #rust
15.10.2023
0
43 ответов
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / Kirill Kuzminykh
Подписаться

А никто не знает как в libvips правильно бенчить скорость ресайза изображения? Я нашёл только то, что надо отключить кеширование операций, иначе скорость ресайза улетает в бес...

#backend #embedded #programming #russian #rust
10.11.2023
0
36 ответов
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / Sweet Polly
Подписаться

Жаль сообщение удалили мне адресованное, там ответ был как раз про Раст :) В общем за распределение памяти аллокацией понял, но как эффективно ее вычищать я все равно хз. За s...

#backend #embedded #programming #russian #rust
20.08.2023
0
46 ответов
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / Михаил
Подписаться

Лол, вы же в группе раста. Почему вы его так ненавидите?)

#backend #embedded #programming #russian #rust
17.11.2023
0
35 ответов
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / krakotay
Подписаться

Вот адаптация под питон use pyo3::{wrap_pyfunction, prelude::*}; use calamine::{open_workbook_auto, DataType, Range, Reader}; use std::fs::File; use std::io::{BufWriter, Write...

#backend #embedded #programming #russian #rust
04.11.2023
0
14 ответов
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / Харисов Kharisov
Подписаться
screenshot

Ребят, столкнулся с одной комментарий по поводу Раста, вы - люди опытные, вроде) Можете высказать свое мнение по поводу этого комментария?

#backend #embedded #programming #russian #rust
23.10.2023
0
35 ответов
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / Stanislav Sagan
Подписаться

Всем привет 👋 Зачада со свездойчкой.... У меня не компилится... Хотя в расту давненько. Не могу понять с фига ли до меня компилятор докопался 🤦‍♂️😡 future cannot be sent betw...

#backend #embedded #programming #russian #rust
17.10.2023
0
33 ответов
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / Lev Netisanov
Подписаться

Доброго времени суток! Есть ли тут кто-то, кто проходил курс от OTUS "Rust для профессионалов"? Если да - поделитесь пожалуйста опытом.

#backend #embedded #programming #russian #rust
15.10.2023
0
34 ответов
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / rdcm
Подписаться

Всем привет, дошел до строк в расте, немного запутался. Вот допустим у меня есть два метода, insert(val: &str) и read() -> String. В случае insert, я могу строку спокойно ве...

#backend #embedded #programming #russian #rust
14.10.2023
0
27 ответов
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / Ilya Lakhin
Подписаться

Здравствуйте. Я использую IntelliJ Idea Community Edition и Rust-плагин. Насколько я понимаю, Rust-плагин теперь официально ушёл в deprecated. В общем-то это не критично для ...

#backend #embedded #programming #russian #rust
15.11.2023
0
23 ответов
Смотреть еще
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество
Подписаться
Вопросов 33736
Ответов 63704
Участников 4635
Telegram @rustlang_ru

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

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта