Language Landscape на TON

Три языка, одна VM

Все смарт-контракты на TON компилируются в TVM bytecode. Языки — это разные front-end’ы поверх одной TVM. От выбора языка зависят: developer experience, скорость разработки, размер итогового bytecode и расход gas.

FunC: оригинал и legacy

FunC — язык, на котором написана вся первая волна TON-контрактов: системные кошельки, Jetton-стандарт, NFT-коллекции, основные DEX/lending протоколы (STON.fi, DeDust, EVAA).

Свойства FunC

function add(int a, int b) inline_ref {
  return a + b;
}

() recv_internal(int balance, int msg_value, cell in_msg, slice in_msg_body) impure {
  ;; FunC: низкоуровневый, явный stack
  slice cs = in_msg.begin_parse();
  int op = cs~load_uint(32);
  int query_id = cs~load_uint(64);
  ...
}

• Стек TVM exposed: программист часто думает в терминах stack manipulation.
• Минимум абстракций: нет classes, нет generics, нет null-types в современном смысле.
• Полный контроль над gas: можно оптимизировать каждый opcode, но требует понимания TVM.
• Verbose: типичный Jetton-контракт — 500+ строк FunC, где Tolk-эквивалент — 200-300.

Когда FunC всё ещё актуален

• Существующий production код: переписывать работающий контракт ради нового языка — бессмысленный риск.
• Когда нужен максимальный контроль: для очень gas-критичных контрактов (high-frequency trading on-chain) FunC даёт самый низкий floor по расходу gas — но Tolk компилятор приближается к этому floor’у.
• Учебные цели: FunC объясняет, как работает TVM. Понимание FunC помогает понимать, что именно делает Tolk-компилятор.

Tact: high-level язык

Tact — независимый высокоуровневый язык, разработанный TonStudio. Синтаксис вдохновлён TypeScript и Rust:

contract Counter {
  count: Int as uint64;

  init(seed: Int) {
    self.count = 0;
  }

  receive("increment") {
    self.count += 1;
  }

  get fun count(): Int {
    return self.count;
  }
}

Свойства Tact 1.6.x

• OOP-style контракты: contract, traits, inheritance.
• Generics (1.6.x): дженерики для функций и trait’ов.
• Lifecycle hooks: init, receive("text-message"), bounced, external.
• Message receivers: receive(msg: MyMessage) с автоматическим парсингом TL-B.
• Strict typing: optional types через ?, nullable безопасность.

Trade-offs Tact

Когда выбирать Tact

• Прототип / MVP: вы быстро хотите проверить идею, gas-расход не критичен.
• Education: учить контракты на Tact легче, чем на FunC.
• Bot-style контракты: простые receive-логики без heavy state.
• Команда из TypeScript/Rust разработчиков: меньше cognitive overhead.

Tolk 1.0: новый default

Tolk 1.0 был выпущен TON Foundation в июле 2025 и официально позиционируется как default язык для новых смарт-контрактов на TON. Tolk — это эволюция FunC: сохраняет низкоуровневую модель и контроль над TVM, но добавляет современную типовую систему.

Что нового vs FunC

// Tolk: nullable types, smart casts, enums
enum Status { active, paused, deprecated }

fun processMessage(opt: int?, status: Status): int {
  // Smart cast: компилятор знает, что внутри ветки opt не null
  if (opt != null) {
    return opt + 1;  // opt здесь имеет тип int, не int?
  }
  return 0;
}

Ключевые отличия от FunC:

• Nullable types (int?, slice?): explicit nullability, компилятор требует null-check перед использованием.
• Smart casts: после if (x != null) компилятор автоматически суживает тип.
• Enums: enum Status { active, paused } вместо магических констант.
• Type aliases и generics: type UserId = int;
• Структуры с типизированными полями вместо raw slice manipulation.
• Improved error messages: компилятор объясняет ошибки по-человечески.

Gas savings: 30-50%

Команда TON Foundation опубликовала бенчмарк (tolk-bench), сравнивающий идентичную функциональность на FunC и Tolk:

Источник экономии — оптимизатор Tolk умеет лучше:

• Вкладывать функции, которые в FunC требовали явного inline/inline_ref.
• Reuse stack values вместо повторного push.
• Удалять dead code на уровне CFG, а не наивно по AST.

Tolk также удобнее писать

// FunC: Jetton transfer (упрощённо)
() recv_internal(int balance, int msg_value, cell in_msg, slice in_msg_body) impure {
  slice cs = in_msg.begin_parse();
  int flags = cs~load_uint(4);
  if (flags & 1) { return (); }
  slice sender = cs~load_msg_addr();
  int op = in_msg_body~load_uint(32);
  int query_id = in_msg_body~load_uint(64);
  if (op == op::transfer) {
    int amount = in_msg_body~load_coins();
    slice dst = in_msg_body~load_msg_addr();
    ...
  }
}

// Tolk: то же самое
fun onInternalMessage(msg: InternalMessage) {
  if (msg.bounced) { return; }
  match (msg.body) {
    Transfer => |t| {
      // t.amount и t.destination типизированы
      ...
    }
  }
}

Comparison matrix

Migration: FunC → Tolk

TON Foundation выпустила Tolk 1.0 с полным набором миграционных tools:

• Migration CLI: tolk migrate ./contract.fc — автоматический транслит FunC → Tolk с сохранением семантики.
• Tolk-bench: репозиторий с reference Jetton/NFT/Wallet контрактами в обоих языках для сравнения.
• Compatibility mode: Tolk-проект может линковать FunC-модули и наоборот, что упрощает поэтапную миграцию.

Стратегия миграции для существующего проекта

Этап 1: Tooling
  - Установить Tolk compiler
  - Настроить blueprint (или аналог) для Tolk-проекта
  - Параллельно держать FunC build в CI

Этап 2: Non-critical контракты первыми
  - Test contracts, dev tools, internal helpers
  - Проверить production-pipeline без риска

Этап 3: Новый код только на Tolk
  - Все новые контракты пишутся на Tolk с самого начала
  - Old код остаётся на FunC до планового рефактора

Этап 4: Critical миграция (по необходимости)
  - Если контракт получает major upgrade — заодно мигрировать на Tolk
  - Если работает и не требует изменений — не трогать (если работает, не чини)

Decision Tree: какой язык выбрать

Quick rules of thumb

Implications для системного дизайна

Выбор языка — не только developer experience, это часть архитектурного решения:

• Cost basis: 30-50% gas savings на каждой транзакции — это рыночное преимущество high-volume протокола. Lending или DEX, написанные на Tolk, физически дешевле для пользователя.
• Security audit cost: новые языки имеют меньше готовых аудит-чеклистов. Tolk быстро нагоняет; Tact ещё в процессе.
• Talent pool: FunC-разработчиков больше (5+ лет рынка), Tolk-разработчиков меньше, но входной порог ниже для FunC-программиста.
• Tooling maturity: для production важна стабильность IDE-плагинов, debugger-а, тест-фреймворка. В 2026 Tolk быстро дорастает до уровня FunC.