после рассахаривания там получается суровая лапша :)

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

https://eb.host.cs.st-andrews.ac.uk/drafts/compile-idris.pdf

там есть еще ряд этапов которые разворачивают его до полного фарша а-ля стековый автомат

можно генерить и из промежуточных этапов, когда еще не все типы стёрты например

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

так в java же есть лямбды уже

хоть и мусорные

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

надо пейпер по диагонали хотя б глянуть

Ну да, ну да. Брейнфак тоже "покрывает". Щас бы в высокоуровневом софте в 2k17 память менеджить руками, пусть и убогим подобием регионов

В го случаются гонки данных

Что гораздо неприятнее

В расте система типов только от дедлоков не защитит

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

Я завис

> хаскелю го прямой конкурент Можешь пояснить?

В каких областях?

Go заточен под IO В хаскелле IO требует плясок с бубном вокруг сайдэффектов

Ну и по потреблению памяти и скорости у хасскелля все, скажем так, хуже, чем у Go

Go заточен под IO В хаскелле IO требует плясок с бубном вокруг сайдэффектов

смотря что иметь ввиду под заточен го заточен под отклики, но не под пропускную способность

точнее его гц

Под обработку большого количества висящих соединений

Хм

а все таки есть перевод книги по расту на русский?

а все таки есть перевод книги по расту на русский?

не нужен

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

а все таки есть перевод книги по расту на русский?

Первой редакции

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

не видел такиз

http://rurust.github.io/rust_book_ru/

не видел такиз

У всех разный уровень владения

не видел такиз

да нет, там все понятно в целом. Но иногда когда читаешь долго пелену текста становится так лень разбираться и удерживать нить)

На пути к Go 2 https://habrahabr.ru/post/333346/

Мда

Мдааа

Мдааааа

На пути к Go 2 https://habrahabr.ru/post/333346/

К примеру, недавно я изучал проблему дженериков (generics), и пока что я не вижу в голове чёткой картины подробного и детального примера проблемы, для решения которой пользователям Go нужны дженерики

А где можно внести предложение назвать новый язык goto?

К примеру, недавно я изучал проблему дженериков (generics), и пока что я не вижу в голове чёткой картины подробного и детального примера проблемы, для решения которой пользователям Go нужны дженерики

какая-то процедурщина головного мозга просто, родина дала вам дженерики - нет, не хотим, хотим говно жрать

На пути к Go 2 https://habrahabr.ru/post/333346/

Детский сад, блин. Зачем новый язык, если всё, что описано решается добавлением новых методов в stdlib с депрекектом старых? А изменения языка не ломают совместимость (да что там вообще ломать, туда можно пол C++ втащить и ничего не сломается)

как не вспомнят про Go, так дженериков всем не хватает

К примеру, недавно я изучал проблему дженериков (generics), и пока что я не вижу в голове чёткой картины подробного и детального примера проблемы, для решения которой пользователям Go нужны дженерики

Забавно при этом видеть там вот это вот:

Как бы ничего не смущает, не?

Суффиксы типа у функций

Ну ё-моё

2017 год

ха-ха

Го дичь

А тут мне надо для 64-битного типа эти функции

Ждём impl trait, hkt, и const generics в русте

Что делать?

Пока они там в песочнице ковыряются

Что делать?

копипастишь

Го пропагандирует простоту и поддерживаемость кода

И копипаст

Ждём impl trait, hkt, и const generics в русте

какие то все сложные слова

Это блять взаимоисключающие параграфы

Какая поддерживаемость, когда тебе надо править кучу копипасты

Вместо одной функции

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

Вероятность косяка экспоненциально растет

изза этого "поддерживаемость"

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

как не вспомнят про Go, так дженериков всем не хватает

так блин, да, не хватает

ребят, лучше подскажите, как мне u8 массив вывести в консоль как hex дамп без гемороя?

я про раст

я ща просто начал с tcp работать

for byte in &array { print!("{:X}", byte); }

отлично

Это всё правда, но пока в сообществе руста ругают Go и спорят, вводить ли дополнительный слой кодогенерации, в Go сообществе допиливают десятую CMS и тридцатый веб фреймворк :3

можно как то проверить является ли байт ASCII символом?

Это всё правда, но пока в сообществе руста ругают Go и спорят, вводить ли дополнительный слой кодогенерации, в Go сообществе допиливают десятую CMS и тридцатый веб фреймворк :3

Дак задачи у языков разные. На расте цмски писать — это нужно иметь серьезные требования к производительности

так если платят за строки кода

то го лучше

Пока Go-малышня ковыряется в вебе, на расте допиливают 5й игровой движок и 3 ОС

Точно так же можно сказать)

Пока Go-малышня ковыряется в вебе, на расте допиливают 5й игровой движок и 3 ОС

Ага, и из этих движков и осей в прод пойдёт только движок, да и то не факт.

можно как то проверить является ли байт ASCII символом?

u8

Ага, и из этих движков и осей в прод пойдёт только движок, да и то не факт.

Ну почему, у rtos вполне все шансы есть попасть в прод