RodionGork 7 авг в 05:13

Язык Cangjie от Huawei — скачаем, запустим, попробуем

Простой

11 мин

6.2K

Программирование *

Обзор

+14

Комментарии 31

IisNuINu 7 авг в 06:40

спасибо за обзор!

Tiriet 7 авг в 06:52

алгоритм на КДПВ работает, если for (d in primes) работает снизу вверх, но это из семантики языка не очевидно. А primes- вообще глобальная переменная. Вывод? КДПВ годная, привлекла внимание.

RodionGork 7 авг в 07:33

можно для тех кто в танке - КДПВ это кто, простите? :)

Tiriet 7 авг в 07:36

https://habr.com/ru/articles/376207/comments/#comment_16672575

Ответ на Ваш вопрос уже есть на Хабре :-)

Tiriet 7 авг в 07:38

Ой как зря Вы его откорректировали, ой как зря...

RodionGork 7 авг в 07:40

будучи в танке откорректировал попросту в соответствии с Вашим комментарием

unreal_undead2 8 авг в 10:25

Меня в КПДВ несколько смущает let primes... с последующим primes.append() Вроде let объявляет immutable переменную.

RodionGork 8 авг в 15:30

иммутабельность задаваемая let в этом случае означает только то что ArrayList нельзя подменить на другой - а то что у него внутри может что-то меняться, это уже дело самого массива.

вы точто также и в java можете объявить переменную неизменяемой но менять её содержимое (если сам её тип мутабельный) - чтобы этого избежать нужно использовать специальные обёртки типа immutableMap

так и в любом языке - компилятор не может только по объявлению переменной неизменяемой предотвратить попытки вызова модифицирующих методов на самом объекте (разве что язык умеет различать модифицирующие методы)

unreal_undead2 11 авг в 05:45

Понятно, в Cшных терминах это нюансы взаимного расположение const и * ;) В C/C++ подобный эффект достигается только с указателем/ссылкой, просто константный массив или список не даёт менять содержимое.

RodionGork 7 авг в 07:47

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

Jebediah_Kerman 7 авг в 07:20

Результатом оператора for является значение типа Unit. Почему не Nothing? В общем тут глубоко полезной логики пока не видно.

Потому что нельзя создать инстанс Nothing, а вернуть какое то значение нужно. Nothing обычно в языках ещё и является подтипом всех типов, поэтому continue/break/throw имея такой тип могут быть согласованы с любым другим возвращаемым из функции типом.

RodionGork 7 авг в 07:34

но break ведь возвращает Nothing :)

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

Jebediah_Kerman 8 авг в 02:02

но break ведь возвращает Nothing :)

поэтому и возвращает nothing чтобы типы сходились. Предположу еще что break реализован похожим на scala и некоторые другие языки образом, являясь по сути исключением.

я просто задумался можно ли было значением цикла сделать что‑то более полезное...

Скорее всего это задел дляyield, тогда возвращаемый тип будет другим

cpud47 8 авг в 19:25

Потому что break никогда не вернет значение. Например:

let v: Int32 = break;
//^ можно, мы из этого v никогда не прочитаем
let x: Int32 = for(...) {}
//^ нельзя: цикл может закончиться, а значения у нас нет

Разумеется, в таком применении, это не очень полезно. Но в комбинации с другими фичами, это может быть интересным:

let v: Int32 = if isPrime(n) {
  n*n
} else {
  continue
}

Здесь мы в одной ветке не считаем значение, а просто обрываем цикл.

В целом, тип Nothing также дает возможность объявить функцию, которая всегда кидает исключение (какой-нибудь throwExceptionWithExtendedInfo()).

Сами типы Unit и Nothing, судя по всему, пришли из котлина. Аналогичные типы есть в расте: пустой кортеж `()` и never type `!`. Поэтому стандартная история для современного мейнстрима.

Вообще, язык выглядит как помесь котлина и свифта, с элементами раста. Хотя из описания статьи многое осталось непонятно про собственно сам язык и среду исполнения. Видимо прийдется курить доку, чтобы составить представление о языке.

CloudlyNosound 7 авг в 07:39

Очень похоже на язык для отделения своих от чужих. Кто хочет работать в Хуавее, тот изучает. Остальные восторженно сторонятся.

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

RodionGork 7 авг в 07:45

Мне тоже интересно. но как человек мигрировавший с Java в Go (после многих лет в этой самой джаве) я мотивацию отчасти понимаю - джава по нынешним временам кажется немного излишней (нам не нужно "run everywhere" поскольку все запускают в докерах - и например куча уровней приватности - для микросервисов это лишнее). К сожалению Go тоже прям не сказать что со всех сторон огурчик. Поэтому некоторая мотивация есть.

Но пройдясь по языку я вижу что и он местами впал в грехи излишеств всяких и поэтому-то я и приписал честно что у меня есть сомнения насчет того что он бурно пойдёт в массы.

Хотя всё зависит от коньюнктуры. Котлин бы в массы не пошёл если бы его не взял под крыло Гугл для Андроида.

CloudlyNosound 7 авг в 08:12

Вот, когда читаешь про очередной супер-язык, сразу и вспоминаешь, и о Go, и об остальных трендах последних лет.

В принципе, каждому гиганту и должно хотеться иметь свой карманный "заменитель Си или Си++". Нужно же иметь тотальный контроль над экосистемой. Но для народа это буквально ничто.

Yami-no-Ryuu 8 авг в 07:03

А где монады? Без монад не считово!

Ну и пример с коллекциями прямо требует ML-вского оператора |>

let res = arr |> filter |> map |> collect

но это частичное применение хотя бы как синтаксис, хмм

RodionGork 8 авг в 08:38

Монады в Хаскеле! А где хаскель? Не будем вспоминать о его безвременной и трагикомичной кончине :)

Yuuri 11 авг в 14:22

Какой такой кончине? Хаскель очень даже жив, ресёрч проводится, компилятор развивается, даже продакшен на нём есть, в том числе в России.

RodionGork 12 авг в 11:34

"продакшн на нем есть", ну да, ну да, биокад вспомните :)

под кончиной я подразумеваю историю с haskell2020

некоторые впрочем шутят что говорить о смерти хаскеля преждевременно т.к. он по большому счёту так и не стал живым

Yuuri вчера в 10:36

Ну мы вот, например, в Kaspersky OS хаскелируем, достаточно давно уже, полёт нормальный.

Anarchist 12 авг в 12:49

Монады не только в Хаскеле.

iklin 9 авг в 05:50

И он есть. Даже два.

e1 |> e2 <--------> v = e1; e2(v) // это pipeline
f ~> g <-------------> x => g(f(x)) // это composition

CTpaHHoe 8 авг в 09:24

спасибо, было интересно почитать. интересно, какие перспективы

RodionGork 8 авг в 09:33

насколько я (смутно) понимаю это зависит от перспектив продукции Huawei и перспектив Harmony OS :)

Kotlin-у повезло что Google подхватил его и сделал мэйнстримом для разработки на андроид, а андроид завоевал наверное 80% мобильного мира... Не думаю что такая история повторится с Хуавеем - но уровня Swift вполне можно достичь. Правда, быть может, оставшись эндемичным для Китая :)

Zalechi 8 авг в 09:28

Для программистов на Java, Go, C++ много будет довольно привычных вещей (можно сказать - "обокрали" эти языки тут и там понемногу).

Цап-царап)

Всякое про Cangjie писали, начиная от того что там будут только китайские иероглифы

«Закладки» имелось в виду. /сарказм

muhachev 8 авг в 19:39

Какой-то ленивый обзор получился, очень много по ходу изложения досадных и сбивающих с толку оговорок: "нет", "не будем", "не использую", "не дружим" - лучше бы сразу определили свой целевой контекст, и отработали бы в нём без сбоев.

izibrizi2 10 авг в 09:32

Ну и молодцы что сделали свой язык. В последнее время Европа и США, словно ближневосточный диктатор, вводят санкции и кидают всех через х.й. Сидеть и смотреть что ещё выкинет былый хозяин - себе дороже, тем более в населения в Китае больше чем на коллективном западе

kambala 11 авг в 06:10

Больше похоже на смесь свифта и тайпскрипта

dev-priporov 12 авг в 04:52

Котлин какой-то по синтаксису если честно)

Зарегистрируйтесь на Хабре, чтобы оставить комментарий