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
Big Data Science :: AI / ... Big Data Science :: AI / ...
DevsHelper DevsHelper
SwiftBook SwiftBook
Rust Beginners Rust Beginners
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
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
Oracle RU Oracle RU
DevOps DevOps
Server Side Swift Develop... Server Side Swift Develop...
Software Design/Architect... Software Design/Architect...
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
Modern::Perl Modern::Perl
pro.buildsystems pro.buildsystems
ru.nim.talks ru.nim.talks
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
embedded.rs Въевшаяся Ржа... embedded.rs Въевшаяся Ржа...
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)
Это RabbitMQ Это RabbitMQ
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
FreePascal & Lazarus FreePascal & Lazarus
Tilda Developers Tilda Developers
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
Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество
Маjко-Lubinéts

Тогда в чем вопрос? Если вычислимость является аксиомой для всех

sconst, то это самый тривиальный случай — компилятор может просто начинать вычислять

#backend #embedded #programming #russian #rust
0

27 ответов

6 просмотров
Mikail-Bagishov

Конечно может, у него есть такое право. А @iccsf утверждает, что это его обязанность.

0
05.05.2021
Маjко-Lubinéts Автор вопроса
Mikail Bagishov
Конечно может, у него есть такое право. А @iccsf у...

А по какому критерию компилятор будет решать что ему вычислять, а что нет, если все sconst вычислимы? if rand() == 1?

0
05.05.2021
Маjко-Lubinéts Автор вопроса
Alexander "SonnySlave" Zaitsev
вопрос в том, за какое время они вычислимы

Это на ответственности пользователя

0
05.05.2021
Маjко-Lubinéts Автор вопроса
Mikail Bagishov
Ну например по такому, или каждое пятое.

Хорошо, допустим. Почему компилятор должен каждую твою функцию компилировать в эквивалентное внутреннее представление, а не заменять каждую пятую на return 0?

0
05.05.2021
Mikail-Bagishov
Mikail Bagishov
Ну например по такому, или каждое пятое.

На самом деле, я даже могу привести пример где это осмысленно: компилятор 1) доказал, что конст-выражение корректно. 2) опасается, что выражение потребует для вычисления более 10**18 единичных шагов 3) предполагает, что функция будет вызываться редко. Тогда он: 1) может при каждом запуске функции честно вычислять это выражение (это точно корректное поведение) 2) по идее, может завернуть в лейзи-статик (но я не на 100% уверен, что так можно) И сильно сэкономить на компиляции

0
05.05.2021
Маjко-Lubinéts Автор вопроса
Mikail Bagishov
На самом деле, я даже могу привести пример где это...

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

0
05.05.2021
Mikail-Bagishov
Маjко Lubinéts
Хорошо, допустим. Почему компилятор должен каждую ...

Потому что тут есть конкретное as-if rule: есть программа на расте, есть абстрактная машина, есть набор поведений этой программв на этой машине. Поведение бинарника на реальной машине должно быть одним из поведений исходной программы на абстрактрой машине

0
05.05.2021
Mikail-Bagishov
Маjко Lubinéts
Я предпочту чтобы компилятор вел себя предсказуемо...

Так и пишем в стандарт: "реализация должна вести себя предсказуемо по мнению mersinvald и mikailbag"?:)

0
05.05.2021
Маjко-Lubinéts Автор вопроса
Mikail Bagishov
Так и пишем в стандарт: "реализация должна вести с...

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

0
05.05.2021
Mikail-Bagishov
Mikail Bagishov
Потому что тут есть конкретное as-if rule: есть пр...

Ну и если компилятор заменит тело функции на return 0, то (кроме вырожденных случаев типа в функции было UB или функция никогда не вызывалась) as-if rule сломается

0
05.05.2021
Mikail-Bagishov
Маjко Lubinéts
Если функция помечена как sconst и все ее параметр...

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

0
05.05.2021
Alexander "SonnySlave"-Zaitsev
Börgar
да, все со своим cost

нет, просто я не смог найти, чтобы там требовали от компилятора вычисления на этапе компиляции. Там как-то хитро сделано и вводится новые типы constant expression

0
05.05.2021
Mikail-Bagishov
Börgar
ну его мохно в темплейт кинуть, во

А разве это заставит компилятор вычислить точное значение?

0
05.05.2021
Börgar-
Alexander "SonnySlave" Zaitsev
и?

а мономорфизация же всегда в компайл-тайме

0
05.05.2021
Alexander "SonnySlave"-Zaitsev
Börgar
а ♂hunded bucks♂ можно?

тогда откуда такое утверждение?

0
05.05.2021
Alexander "SonnySlave"-Zaitsev
Börgar
из опыта, тк я бедній щкольник

тут опыт не интересен. тут интересно формальное описание

0
05.05.2021

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

Rust — русскоговорящее сообщество Rust — русскоговорящее сообщество / Kirill Kuzminykh
Подписаться

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

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

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

#backend #embedded #programming #russian #rust
15.10.2023
0
43 ответов
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 — русскоговорящее сообщество / Sweet Polly
Подписаться

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

#backend #embedded #programming #russian #rust
20.08.2023
0
46 ответов
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 — русскоговорящее сообщество / Ilya Lakhin
Подписаться

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

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

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

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

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

я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
короче сгенерила мне эта штука код на ассемблере: struc string val { common local .value dq .value .value: if ~val eq db val end if db 0 } fo...
Vi Chapmann Chapmann
12
Всем привет! Массив вводится с клавиатуры, кол-во элементов неизвестно, поэтому я указал arr db 100 dup(?) С нахождением максимума проблем нет, а вот минимум почему-то всегд...
En Vind Av Sorg
11
Помогите, пожалуйста, делаю программу для для подсчёта корней квадратного уравнения, знаю, что есть куча недочётов, недоработок, но основная проблема в том, что почему-то при ...
NYC
13
#include <stdio.h> int main(void) { int n; scanf("%d", &n); int digits1[n] = {0}; int digits2[n] = {0}; я не могу таким образом заранее массив нулями заполнить?
Linus
12
в сях есть множество как в питоне? для удаление дубликатов
Linus
25
читать файл максимально быстро? странный вопрос))
zamtmn
53
я про форму записи. смысл указывать что 8 байтный регистр 8 байт?
Aiwan \ (•◡•) / _bot
10
Вроде бы вопрос уже заезжанный, но тем не менее У меня есть функция menu() которая выводит набор возможных действий, а затем спрашивает у пользователя что он хотел бы сделать....
David Golovatin
3
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Карта сайта