NL
как по-твоему было бы сделать лучше?
Там Смит утверждает, что в плюсах лучше...
https://t.me/rust_offtopic/349761
https://t.me/rust_offtopic/349761
Size: a a a
2020 August 10
Ct
ну я не понимаю по крестовому. а в расте как?
{
let a = a;
let b = &mut b;
move |x| { *b = x + a; }
}AZ
Там Смит утверждает, что в плюсах лучше...
https://t.me/rust_offtopic/349761
https://t.me/rust_offtopic/349761
да со смитом все понятно
p
{
let a = a;
let b = &mut b;
move |x| { *b = x + a; }
}а зачем
AZ
мне интересно что доге с ним согласен
p
если что, то компилятор подсветит ошибку
DF
Доге просто с крестами не наелся говна ещё кек
Ct
если что, то компилятор подсветит ошибку
Так он и подсветит, что
type `i32 cannot be dereferenced`. т.е. как минимум бинд на b в таком коде обязателен.SP
Ну в теории типов он вообще не шарит
так погоди а был повод пообщаться с ним про теорию типов? и нужна ли она вообще чтобы шарить?
царь вроде говорил что не приемлит саму аксиоматику теории типов в которой тип рассматривается как множество
царь вроде говорил что не приемлит саму аксиоматику теории типов в которой тип рассматривается как множество
M
да со смитом все понятно
?
M
Утверждаешь без апеляционно а меж тем есть ишью где это обсуждают серьезно
DS
так погоди а был повод пообщаться с ним про теорию типов? и нужна ли она вообще чтобы шарить?
царь вроде говорил что не приемлит саму аксиоматику теории типов в которой тип рассматривается как множество
царь вроде говорил что не приемлит саму аксиоматику теории типов в которой тип рассматривается как множество
Лол, если он считает, что в теории типов тип - это множество, то это точно значит, что он ничего в ней не понимает.
В том числе ради чего она вообще появилась изначально
В том числе ради чего она вообще появилась изначально
SP
Лол, если он считает, что в теории типов тип - это множество, то это точно значит, что он ничего в ней не понимает.
В том числе ради чего она вообще появилась изначально
В том числе ради чего она вообще появилась изначально
ну это уже моя отсебятина
DS
что плохого в растовых замыканиях?
Иногда было бы полезно явно указать то, что замыкается в замыкании
SP
минутное гугление не дало результата как теория типов определяет тип
SP
Лол, если он считает, что в теории типов тип - это множество, то это точно значит, что он ничего в ней не понимает.
В том числе ради чего она вообще появилась изначально
В том числе ради чего она вообще появилась изначально
сколько я не пытался понять - оно вообще к программированию не имеет никакого отношения и это какаято неведомая формализация математики типа абстрактной алгебры
DS
сколько я не пытался понять - оно вообще к программированию не имеет никакого отношения и это какаято неведомая формализация математики типа абстрактной алгебры
Оно имеет прямое отношение к программированию, прямее некуда
SP
Оно имеет прямое отношение к программированию, прямее некуда
например?
NL
Иногда было бы полезно явно указать то, что замыкается в замыкании
Ты всегда это можешь сделать при желании. Но поскольку в 90% случаев это не требуется, то дефолтный вариант контролировать одним словом move это правильный баланс.
SP
ты щас скажешь ну в программировании есть понятие "тип". так совпало что там тоже есть понятие "тип". значит корреляция есть шах и мат