там же типичная "мейнстримизация", когда недоэмельный синтаксис делают похожим на си, как в скале или там немерле

я даже уже название для транслятора придумал, а это самое главное

чем обоснован?

там и так достаточно сложный парсер

@A64m_qb0 молодежно это называется транспилятор, а у вас термины пенсионерские

там и так достаточно сложный парсер

сомнительно

эмеле/хаскелеобразный синтаксис вроде не особо сложно парсистся.

@A64m_qb0 молодежно это называется транспилятор, а у вас термины пенсионерские

транскомпилятор?

transpiler, см яваскрипт и фронтендеры

просто есть такая школа успехонеизбегания, которая утверждает что синтаксис надо любой ценой делать непохожим на эмельнохаскельный

мпилятор

эмеле/хаскелеобразный синтаксис вроде не особо сложно парсистся.

в разы сложнее чем си-подобный

@A64m_qb0 назови хотя-бы один мейнстрим язык с эмельнохаскельным синтаксисом

define мейнстрим

гитхаб топ 10

Ну ML не видать. хочешь быть успешным - будь похож на яваскрипт

— reasonml developers

не так давно говорили, что питон никогда мейнстримом не будет из-за экзотического синтаксиса

хммммм

но если язык достаточно плохой - синтаксис для успеха не помеха

у раста до 0.1 был ml синтакс

?

про сигнификант вайтспейс в питоне до сих пор ноют

кстати в питоне у меня не возникает проблем с индентацией в емаксе...

лямбду на два выражения не сделать

а с хаскелем вечно всё плохо

потому что лямбда выражение а не стейтмент

а в хаскеле всё выражение

кроме 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 же

ERROR: S client not available

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

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

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