Телеграмм чат группы rustlang

Евгений Худоба in Rust — русскоговорящее сообществo

14:21пожаловаться #1

ЕХ

Я думаю, что лямбды так и останутся, потому что зависят от контекста. Каждой лямбде входящие типы считать - это не то, что можно сделать быстро.

он уже знает тип аргументов лямбды. Посмотри на group_by в моем примере

14:23пожаловаться #2

Да, но этот x, он внутри контекста. А lookup2 - вне контекста.

14:24пожаловаться #3

idea выводит

Kirill Bulatov in Rust — русскоговорящее сообществo

14:28пожаловаться #4

На самом деле, считается для лямбд на экране + для кода вокруг, чтобы типы правильно вывести.
Просто у автора скрина включена укорачивалка хинтов.

14:29пожаловаться #5

Вафель

idea выводит

Она их выводит как указатель на функцию, а кложуры в расте таки не функции.

14:29пожаловаться #6

Она их выводит как указатель на функцию, а кложуры в расте таки не функции.

Функции тоже не функции в таком случае :)

14:30пожаловаться #7

Это просто условность обозначения

14:30пожаловаться #8

Нет, функции как раз функции, они берут чётко определённое количество параметров.

14:30пожаловаться #9

А кложуры могут хватать всё вокруг в себя.

14:31пожаловаться #10

Нет, функции как раз функции, они берут чётко определённое количество параметров.

Я к тому что у каждой функции тоже уникальный тип

14:32пожаловаться #11

fn foo() {println!("foo");}
fn bar() {println!("bar");}

let b = true;

let a: fn() = if b {foo} else {bar};

a;

14:34пожаловаться #12

С кложурами такое не проходит, потому что dyn Fn[Mut, Once].

Pavel Kvasnikov in Rust — русскоговорящее сообществo

14:35пожаловаться #13

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

14:35пожаловаться #14

fn foo() {println!("foo");}
fn bar() {println!("bar");}

let b = true;

let a: fn() = if b {foo} else {bar};

a;

Это коерсия, которая работает и с клажурами.

let a: fn() = if b { || println!("foo") } else { || println!("foo") };

Сергей in Rust — русскоговорящее сообществo

14:36пожаловаться #15

Pavel Kvasnikov

https://docs.rs/clap/2.33.0/clap/

docs.rs

clap - Rust

API documentation for the Rust `clap` crate.

Pavel Kvasnikov in Rust — русскоговорящее сообществo

14:37пожаловаться #16

👍

14:38пожаловаться #17

fn foo() {println!("foo");}
fn bar() {println!("bar");}

let b = true;

let a: fn() = if b {foo} else {bar};

a;

Вот в таком примере отлично видно что типы разные:

fn a() {}
fn b() {}
fn type_eq<T>(_: T, _: T) {}

type_eq(a, b);

Ошибка:

error[E0308]: mismatched types
 --> src/main.rs:5:16
  |
5 |     type_eq(a, b);
  |                ^ expected fn item, found a different fn item
  |
  = note: expected fn item `fn() {a}`
             found fn item `fn() {b}`

(playground)

14:38пожаловаться #18

Вафель

Это коерсия, которая работает и с клажурами.

let a: fn() = if b { || println!("foo") } else { || println!("foo") };

Как только ты что-то в них захватываешь, сразу начинается бардак.
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=f21f39719c6d9f3ff9b26f28cfccfd91

14:38пожаловаться #19

Это понятно. Я лишь говорил что у функций тоже уникальные типы.