кроме do

чёрт

странно, я как-то с особыми проблемами в разных редакторах не сталкивался.

и do выражение (foo <- bar) нет

у nix-mode вообще проблема с индентацией. Автор не может раздуплить вложенные let in

В питоне отступы кратные. И есть индиктор "дальше блок" - :

изменение индентации через s/^ // и s/^/ / вообще круть

во всех языках со значимыми отступами есть такие индикаторы. вроде let where do и т.д. в хаскеле

https://github.com/mystor/slag/blob/master/examples/enums.slag

лол

в rust меня больше всего выбивает из колеи let бинды с сайдэффектами

let _ = ?

а в расте есть поддержка блидтулов для таких штук? Чтоб применять препроцессоры, локации ошибок транслировать и т.д.?

let x = foo vs x <- foo

@A64m_qb0 через build.rs

как в кабале, в общем

кроме пары благословенных

в кабале то только пускатели препроцессора, сорсмапы никак не поддерживаются

ТУЛИНГ НЕ ГОТОВ К УСПЕХУ

в rust меня больше всего выбивает из колеи let бинды с сайдэффектами

+

в rust меня больше всего выбивает из колеи let бинды с сайдэффектами

Раст - процедурный язык. Не надо думать о нём как о странном хаскеле :)

@astynax а не надо let использовать! это может всяким MLщикам и привычно, а мне нет

что им в var или my не нравилось?

let, вон, и в JS есть давно

Раст - процедурный язык. Не надо думать о нём как о странном хаскеле :)

на реддите все кроме меня думают

let это бейсик же

в JS и "стрелочные функции" считаются невероятным изобретением, а не очевидным правильным решением которое надо было сразу вводить

И Лисп

РЕЧЬ ПРО МЕЙНСТРИМ, КАКОЙ ЛИСП ЕЩЕ?

Да вообще LET в роли ключевого слова мног где есть. В Расте хоть паттернматчинг в let работает, в отличие от лиспа

JS ЭТО МЕЙНСТРИМОВЫЙ ЛИСП ЖИ!

JS ЭТО МЕЙНСТРИМОВЫЙ ЛИСП ЖИ!

ну если так)) то да https://gist.github.com/xgrommx/e7b69527662bbb0f5443ce8ca4882b72

еще в расте есть if с паттерн матчем, и без else! я вообще с трудом такое могу распарсить

let x = foo vs x <- foo

ну язык не чистый же

Ilia 🌟 мне от этого только хуже становится

что это вообще означает?

мем

так и про koka говорить можно

еще в расте есть if с паттерн матчем, и без else! я вообще с трудом такое могу распарсить

if let же

очень легко определить

выглядит погано

if без else это святое для программиста. Никогда бы не подумал, но постоянно читал на рсдн что это проблема немерле (там if без else называется when)

выглядит погано

не так уж и плохо

when должно быть функцией, amirite?

и вот прямо программисты писали что жизни от этого никакой нет. when вместо моего любимого if без else? Да как я теперь программировать та буду?

if let Ok(value) = read_line() { println!("{}", value); }

в расте без else подразумевается } else { () }

игрушечный язык, короче

еще в нём типажы (лол) не наследуются, нет приватных членов и конструкторов. и бедненькие возможности для обобщенного программирования

в общем D круче

тайпклассы тоже не наследуются, но ведь констрейнты никто не отменял

любопытно, что D нравится Попову, который видел все 5-6 более-менее приличных ЯП, типичный любитель D, конечно, видел 0

еще в нём типажы (лол) не наследуются, нет приватных членов и конструкторов. и бедненькие возможности для обобщенного программирования

сразу дал знать что ты на нем не кодил

и на D тем более, брр

ну закинуть удочку мне это не мешает

и смысл

чисто поржать

или вот, например https://i.redd.it/mvhki9n5nw301.png

🤔

когда мне кто-то говорит что D можно сравнивать с растом я показываю этот код: import std.variant; import std.stdio; alias None = typeof(null); alias Maybe(T) = Algebraic!(T,None); void test(T)(Maybe!T val) { val.visit!( (T i) => writeln("Some ", i), (None) => writeln("None") ); } void main() { Maybe!int val = 1; test!int(val); val = null; test!int(val); }

тайпклассы тоже не наследуются, но ведь констрейнты никто не отменял

а суперклассы это не механизм наследования?

@int_index а что в rust нет супер-типажей? Есть же вроде?

компилятор даже заботливо вытащит один словарик из другого, когда надо, или положит

@int_index а что в rust нет супер-типажей? Есть же вроде?

я в контексте Haskell отрицаю утверждение, что тайпклассы не наследуются

в Расте вообще traits

типажи. а хаскеле классы типов. и сверх-классы типов

struct Id(i64); trait IDObject { fn id(Self) -> Id; } trait User: IDObject { fn name(Self) -> String; } let user = make_user("memes"); println!("{} {}", user.id(), user.name());

ну вот, сверх-типажи.

убертип

UberTypklasse

кстати очень интересно чего не хватает в контексте обобщенного программирования

> (D has) 10x better than any other system language at generic and generative programming. D's static introspection, compile-time evaluation, and mixin-driven code generation combine to a powerful cocktail that is very difficult to mix right in other languages, be they new or extant; at this game, Go is so out of depth it doesn't even get the point; C++17 is hopelessly lost in the woods; and Rust is just trying to dabble.

https://www.quora.com/Which-language-has-the-brightest-future-in-replacement-of-C-between-D-Go-and-Rust-And-Why/answer/Andrei-Alexandrescu изо рта самого коня

про ржавого: Foreign syntax. Rust's syntax is different, and there's no apparent advantage to the difference. This is irritating for folks coming from Algol-style languages, who need to deal with a gratuitously different syntax in addition to getting the resource bookkeeping right.

лол, т.е. отход от ML ничего не дал синтаксису

> (D has) 10x better than any other system language at generic and generative programming. D's static introspection, compile-time evaluation, and mixin-driven code generation combine to a powerful cocktail that is very difficult to mix right in other languages, be they new or extant; at this game, Go is so out of depth it doesn't even get the point; C++17 is hopelessly lost in the woods; and Rust is just trying to dabble.

эмм

мне это ничего не говорит

приведи конкретную фичу

про ржавого: Foreign syntax. Rust's syntax is different, and there's no apparent advantage to the difference. This is irritating for folks coming from Algol-style languages, who need to deal with a gratuitously different syntax in addition to getting the resource bookkeeping right.

об этом очень сложно судить потому что здесь выражено лишь мнение автора