Погружение в Core Solidity. Часть 4

Функции высшего порядка и анонимные функции

Функции обладают статусом «первоклассных» объектов в системе типов, что позволяет использовать их в качестве параметров, возвращаемых значений и присваиваемых сущностей.

В качестве примера рассмотрим следующий фрагмент, реализующий пользовательскую декодировку ABI для тройки логических значений из одного слова:

forall T . function unpack_bools(fn : (bool, bool, bool) -> T) -> ((word) -> T) {
    return lam (bools : word) -> {
        let wordToBool = lam (w : word) { return w > 0; };

        // extract the right-most bit from `bools`
        let b0 = wordToBool(and(bools, 0x1));

        // shift `bools` by one and extract the right-most bit
        let b1 = wordToBool(and(shr(1, bools), 0x1));

        // shift `bools` by two and extract the right-most bit
        let b2 = wordToBool(and(shr(2, bools), 0x1));

        return fn(b0, b1, b2);
    };
}

Функция unpack_bools реализует пользовательскую декодировку ABI. Она является функцией высшего порядка, которая «оборачивает» входную функцию, принимающую три отдельных логических значения и возвращающую значение произвольного типа T, извлекая аргументы из трёх младших битов входного слова. Такой пример невозможно реализовать в классическом Solidity, даже с использованием модификаторов, поскольку они не могут изменять аргументы, передаваемые внутрь оборачиваемой функции.

Кроме того, поддерживается определение (некурсивных) анонимных функций с помощью ключевого слова lam. Функции, определённые таким образом, могут захватывать значения из области видимости, в которой они объявлены. В качестве примера рассмотрим вспомогательную функцию для тестирования, подсчитывающую количество вызовов произвольной функции:

forall T U . function count_calls(fn : (T) -> U) -> (memory(word), (T) -> U) {
    let counter : memory(word) = allocate(32);
    return (counter, lam (a : T) -> {
        counter += 1;
        return fn(a);
    });
}

Реализация здесь аналогична тому, как это сделано в системных языках, таких как Rust и C++: компилятор генерирует уникальный тип для каждой анонимной функции, содержащей захваченные значения, а эти уникальные типы становятся вызываемыми за счёт принадлежности к специальному типовому классу «вызываемых» (invokable), подобно трейту Fn в Rust. Такой подход обеспечивает высокую эффективность с точки зрения затрат газа во время выполнения.

Вывод типов

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

Например, присваивание выражения переменной в классическом Solidity нередко приводит к избыточным аннотациям, даже если типы уже присутствуют в самом выражении:

(bytes memory a, bytes memory b) = abi.decode(input, (bytes, bytes));

То же самое определение в Core Solidity выглядит значительно чище:

let (a, b) = abi.decode(input, (uint256, uint256));

Ещё одна частая причина раздражения при работе с классическим Solidity — синтаксический шум при определении литералов массивов. Рассмотрим следующий фрагмент:

uint256[3] memory a = [1, 2, 3];

Это объявление отвергается компилятором классического Solidity со следующей ошибкой:

Error: Type uint8[3] memory is not implicitly convertible to expected type uint256[3] memory.

Причина ошибки заключается в том, что классический Solidity реализует ограниченную и специализированную форму вывода типов для литералов массивов: тип элементов массива определяется как тип первого выражения в списке, к которому можно неявно привести все остальные элементы (в данном случае — uint8). Затем компилятор выдаёт ошибку несоответствия типов при попытке присвоить это значение переменной несовместимого типа.

📟 Прилетело из @solidityset

Чтобы приведённое выше определение было принято, приходится добавлять неочевидное приведение типа к первому элементу массива:

uint256[3] memory a = [uint256(1), 2, 3];

Алгоритм вывода типов на основе ограничений в Core Solidity гораздо более общий и позволяет опустить такое приведение:

uint256[3] memory a = [1, 2, 3];

#core

📟 Прилетело из @solidityset

📟 Прилетело из @dev_in_ruby_colors

🔥 Prosto Exchange - последние обновления
За последние недели ProstoEx сделали сразу несколько крупных обновлений, которые реально выводят сервис на новый уровень. Коротко - теперь это полноценная экосистема для покупки/продажи USDT легально, быстро и без серых схем.

🏛 Поддержка всех основных банков РФ
По просьбам клиентов добавили новые способы оплаты:
• СБП - до 100k за транзакцию / до 500k в месяц
• Т-Банк - до 1 млн в сутки / до 5 млн в месяц
• ВТБ - до 300k за транзакцию / до 1 млн в сутки
• Сбербанк - до 48k за транзакцию / до 300k в сутки / 1,5 млн в месяц

Теперь можно работать не только через СБП, но и через крупные банки напрямую.

👥 Уникальная 3-уровневая реферальная система (до 33%)
Уровень 1 - Новичок
• 1-5 рефералов
• 25% бонус с каждой сделки

Уровень 2 — Опытный трейдер
• 6-25 рефералов
• 5,000$+ объём сделок
• +5% бонус

Уровень 3 — Платиновый партнёр
• 26-50 рефералов
• 6,000$+ объём
• +3% бонус

Итого до 33% со всех сделок, включая:
наличные, безнал, оплату услуг, квартиры, авто - всё.

🤝 Партнёрство с xRocket
Теперь кошелёк xRocket можно пополнять через офисы ProstoEx в любых валютах.
Быстро, без ограничений, с проверенной ликвидностью.

⏰ Сервис работает 24/7
Реально круглосуточно:
- ночью нужны деньги?
- ночью хотите купить USDT?
- нужна консультация?
- оплата крупной покупки?

Саппорт работает в режиме always online, сделки проходят в любое время.

🛡 Безопасность и соответствие законам
ProstoEx подчёркивают:
• вся крипта проходит AML-чек
• никаких дропов, третьих лиц или подозрительных контрагентов
• поддержка отвечает всем и быстро

👤 Мой личный опыт
Недавно менял 10,000 USDT через @prostoexbot.
Всё прошло без задержек, курс отличный, - чистая сделка напрямую в офисе.
Сервис реально стал удобнее и надёжнее.

🧾 Контакты:
@Prosto_Exchange — поддержка
@Prosto_Reviews — отзывы
@ProstoEx_News — обновления
@ProstoExBot — обменник

🎁 @prostoexbot — лучшие условия.

Я не беру деньги за этот пост. Это не реклама.
Просто делюсь тем, чем сам пользуюсь.
Я не несу ответственности за действия сервиса, но на данный момент ProstoEx — единственный вариант, который я использую для покупки/продажи USDT без «серых» схем и заморозок карт.

📟 Прилетело из @n4z4v0d

норм драфтед фан -3к зашел в гем

📟 Прилетело из @n4z4v0d

Что за циферки?

Мы уже разобрались с тем как запускать модели локально (способ 1 и способ 2). Теперь надо понять как выбрать модель под свои нужды и как прочитать "паспорт модели", который выглядит примерно так:

Model
architecture gemma3
parameters 4.3B
context length 131072
embedding length 2560
quantization Q4_K_M

Capabilities
completion
vision

Parameters
temperature 1
top_k 64
top_p 0.95
stop "<end_of_turn>"

License
Gemma Terms of Use
Last modified: Feb 21, 2024

Всё это очень подробно разобрал в конспекте:

Читать: Как выбрать AI модель

SemolinaCode | Chat | YouTube | HowToCode | Prop

📟 Прилетело из @semolina_code_python

Делаем софтик фри ?

📟 Прилетело из @steamner

В Steam можно получить "Значок отборочного комитета премии Steam"

Для того, чтобы получить значок 4-го уровня и 100 единиц опыта, нужно выполнить 4 задания:

1. Номинируйте хотя бы одну игру
2. Сыграйте в игру, которую вы номинировали
3. Номинируйте по игре в каждой категории
4. Напишите (или обновите) обзор номинированной игры

Страница премии тут

📟 Прилетело из @steamner

пацаны я могу сказать честно - 0 идей как выруливать это, похуй на наш минус -250к, похуй на девсел, но ключевая проблема здесь именно утечка ВСЕХ кошельков которые использовались в проекте

и это ТОЧНО не произошло на стороне моей команды, напомню что 2 года назад мы этой же командой держали combine где в пике было 700к активных кошей, это блять 20-30-50млн$ на баликах и ни 1 кошелек не пострадал

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

мы сначала раздали дропа на 100к, потом влили в откуп токена 250к для того чтобы рагнуть блять проект на 70к$ по девселлу? (потому что остальной удар это клейм физов с пула, физы никаким образом не повлияли на чарт)

поэтому мы пока честно без понятия как вырулить конкретно этот токен, бабки от продажи паков/боксов (это 886 сол = 122к) у нас на другом коше, который не передавался никуда и с ним все ок, мы их фул будем рефандить

поэтому пока сценарий такой, что мы сделаем фул рефанд абсолютно всем, кто что-либо купил на платформе а саплай, который мы откупили - мы сожгли

я чуть позже распишу большой степ-бай-степ пост у себя как только закончатся все коллы

📟 Прилетело из @n4z4v0d

Лео красавчик брат тигр
Жаль его, но не меньше и не больше, чем свои 3 тыщи

Обещаю фулл рефанд за боксы и паки, плюс за активацию уже вернули все в токенах, но из-за курса, я покупал улучшений на 1.1к$, а получил 70$. То есть сумму в токенах вернули всю, но из-за дампа курса - можно сказать не вернули ничего

📟 Прилетело из @n4z4v0d

Я только так и не понял почему они не юзали мультисигн кош для таких задач

📟 Прилетело из @n4z4v0d

Проявили актив и софт вышел буквально за 3 часа , так же благодарность за 500 подписчиков .

logpass от софта - SteamAwards2025

📟 Прилетело из @steamner

Вторая волна атаки Шаи-Хулуд, будьте аккуратны https://www.bleepingcomputer.com/news/security/shai-hulud-malware-infects-500-npm-packages-leaks-secrets-on-github/

📟 Прилетело из @dev_in_ruby_colors

Насколько хорош токен $LMTS от Limitless? Изучаем токеномику.

Limitless - это платформа рынков предсказаний подобно Polymarket, только менее известная.

Удивительно, что несмотря на тренд рынков предсказаний токен проекта падал на 53.33% 13 ноября. Это уже показатель плохой токеномики.
Но может у них есть шансы на восстановление - изучим.

По данным Tokenomist, разблокировано 13%, в локе 64.95%, TBD (в неизвестном состоянии) - 21.92% (многовато).

Всего - 1 МЛРД.

22 октября был TGE, а следующий разлок 22 апреля 2026 на 85.37 МЛН токенов (64,99% от текущего количества), что невероятно много!

Распределение:

1. Investors - 25%.
0% разблокируется на TGE, 6-месячный клифф, 24-месячный линейная разблокировка.
Инвесторам выделили много (> 10%).
Получается, что выпускаться будет по 1.04% каждый месяц от общего количества, что немало.

2. Team - 25%.
Тоже много (> 10%).
0% разблокировано на TGE; 12-месячный жёсткий клифф (плюс мягкий 24-месячный клифф, установленный фондом разработки — вестинг начинается только после 2 лет полноценной работы); 33% разблокируются через 12 месяцев; оставшиеся токены разблокируются линейно в течение 24 месяцев (минимальный общий срок — 36 месяцев).

Через год выпускается сразу 8.25% от общего предложения - это очень много.

Остальные 16.75% в течение двух лет.
16.75 / 24 = 0.6979%
Округляя: около 0.7% в месяц от общего количества токенов, что немало.

3. Ecosystem rewards (Airdrops & Incentives) - 24.37%.
Из этой аллокации часть разблокирована сразу: 2% ушли на Season 1 Airdrop, 0.25% распределили в рамках кампании Wallchain, а ещё 0.2% получили пользователи Atlantis World и ранние участники, которым токены отправили напрямую на кошельки.

Доля существенная, но на TGE уж очень мало распределили. Большое количество после него будет в рынке, да ещё и без конкретных вестингов - риск больших выплесков на рынок.

4. Treasury - 13%.
Как понимаю, это на развитие (разработка, маркетинг и пр.).
0% разблокируется на TGE, 6-месячный клифф, 24-месячный линейный вестинг.
Это примерно 0.55% в месяц.
Отдельно - норм. Суммарно - многовато.
Хотя, как я уже писал выше, зависит от того, кому и за что будут выделять эти суммы.

5. Liquidity - 10%.
Всё на TGE.
Сумма нормальная, но неизвестно, как используется. Если добавили в пулы ликвидности - одно. Если маркетмейкеру - другое (зависит от его профессионализма и процента прибыли в токенах).

6. Kaito pre-sale - 1.37%.
Количество за маркетинг вполне нормальное.
Максимум стоило бы выделять 2-3%.

7. Echo Round - 1.26%.
0% разблокируется на TGE, 6-месячный клифф, 24-месячный линейный вестинг.
Раунд экосистемы. Непонятно, что он означает, но в любом случае доля выделяемая тут небольшая.

Итог:

С апреля 2026 года будет слишком много выливаться на рынок или просто планироваться для будущего распределения (казначейство).

На данном же этапе основная доля - ликвидность. На втором месте - дропы, на третьем - Kaito.
Тут или управление ликвидностью плохое, или просто из этой доли продают.
А Причина: при таком соотношении вряд ли наградные активы могли бы сильно понизить цену.
Только если бы все 100% продали, а такого никогда не бывает.

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

А учитывая отсутствие утилит, создающих спрос (или я их не нашёл), шансов нет.

Благодарю за внимание.
Буду рад реакциям, репостам и комментам.

😎 Незрячий web3 программист (подписаться)
Чат | бот

📟 Прилетело из @blind_dev

ого
2к/3k уже вернули

📟 Прилетело из @n4z4v0d

120k$ рефанд за купленные паки/боксы в draftedfun стартовал.

Сори пришлось потратить больше времени на все даблчеки перед запуском.

Рассылка идет с этого адреса:
https://solscan.io/account/GuXv9sqZVhnRmjueZbszsrHHgpXmRwp5kKpxQ6FtxudY?exclude_amount_zero=true&flow=out&remove_spam=true#transfers

В течение 10-15мин вся соль будет у вас на кошельках. Тотал рефанд ~897 $SOL = ~120k$

А по самой ситуации мы продолжаем общаться и искать концы, как будет больше инфы я обязательно дропну апдейт.

📟 Прилетело из @n4z4v0d