TOLK - Next-Gen FunC for Smart Contracts Telegram – Members & Statistics

Description

Welcome to TOLK lang! 🚀 We're pushing the boundaries of smart contract programming with Tolk — "next-generation FunC" tailored for the TON blockchain. This channel is your go-to spot for updates, releases, and insights into our exciting journey as we evolve this powerful language! Here's a sneak peek at what you can expect: 📅 Recent announcements: Launched at the TON Gateway in Dubai back in November 2024, Tolk forms its groundwork on principles familiar to users of TypeScript while prioritizing effective low-level optimizations. Our latest version v0.7 has just dropped and includes significant improvements: - Refactored compiler internals enhancing semantic analysis 🛠️ - A new static typing system that outshines Hindley-Milner. 🗺️ Big vision: We're charting an ambitious roadmap aimed at making programming more efficient while avoiding tedious manual types and complexity associated with ABI generation. We also provide handy links including documentation 📖, GitHub access 🌐 under ton-blockchain repo, IDE plugins integration 🎮 (TON for JetBrains & Tolk for VS Code), and engaging interviews discussing Tolk’s roadmap. Curious about compiler design or have ideas? Let’s transform those thoughts together! 🤝💡 Join us today — engage in discussions about compilers, smart contracting features, bugs fixing or simply meet fellow developers who share your passion! #TolkLang #SmartContracts

TOLK - Next-Gen FunC for Smart Contracts@tolk_lang

🫧 Tolk v1.5: break/continue in loops, smarter compiler, and the road to v2.0 This release is not about one big feature. It's about removing a lot of small restrictions left in the language because the compiler simply wasn't ready for them yet. Subtle, sometimes artificial, mostly unnoticeable — while the compiler underneath is getting more mature and complicated. ✅ Notable changes in Tolk v1.5: 1. break/continue in loops — finally for TVM 2. @inline functions with multiple returns 3. Type aliases as directional subtypes 4. Reorganized purity concept and dead-code removal 5. Colorful compilation errors with multiple locations and hints 6. Preparing the kernel for Tolk v2.0 PR on GitHub with detailed info. ✔ break/continue in loops Looks and feels as expected: while (true) { val ch = bytes.loadUint(8); if (ch == 0) { break; } if (blacklisted.exists(ch)) { continue; } bits += 8; } Both work in all loops, including nested ones. The compiler correctly tracks control-flow rejoins, stack layout, and other low-level details. The most interesting part: break is SIMPLER than continue. TVM has machinery with RETALT in loop continuations, but provides nothing to emulate continue. Instead, continue is implemented like another feature that seems to have nothing in common at first glance: ✔ Inline with early/multiple returns Since Tolk v1.0, the compiler supported auto-inlining simple functions, but capitulated on early returns: // not inlined earlier // inlined since Tolk v1.5 fun checkPositive(x: int) { if (x <= 0) { return; // this prevented inlining } ... } Why? Because inlining returns-in-the-middle is hard. Even C++ compilers used to struggle with it. The algorithm I developed transforms a function into if-else chains: fun demo() { if (cond1) { return } if (cond2) { xxx; return } else { yyy } zzz } gets translated to fun demo() { if (cond1) { } else { if (cond2) { xxx } else { yyy; zzz } } } And now the surprise: not fun+return, but loop+continue — works exactly the same way! loop { if (cond1) { continue } if (cond2) { xxx; continue } else { yyy } zzz } gets translated to :) loop { if (cond1) { } else { if (cond2) { xxx } else { yyy; zzz } } } ✔ Much better compilation errors Errors can now point to multiple locations at once — the call site, declaration, type mismatch, inlining failure, and so on. The compiler explains not only where something went wrong, but also why and what actions should be taken. error: too many arguments in call to `calcSum`, expected 2, have 3 --> /some/file.tolk:6:30 | in function main | 6 | return calcSum(100, 200, 300); | ^^^ note: function declared here --> /some/file.tolk:1:5 | 1 | fun calcSum(x: int, y: int) { | ^^^^^^^ And they are now colorful! ✔ A more predictable and mature compiler Bug bounty hunters sent over 200+ tickets, which look lots of my time to analyze — only to turn out to be non-issues. As a result, I had to reconsider some deep questions: - directional subtypes in the type system - user-written code removal by the optimizer - purity concept and @pure keyword You can read more in a traditionally detailed PR. ⚙️ Preparing for Tolk v2.0 This summer, I experimented with a new compiler backend (for Tolk v2.0). That backend will fully replace the old FunC kernel still living with us, and eliminate the need of Fift. These experiments exposed a lot of places where the current compiler is still shaped around the old architecture. 🌳 Tolk v1.5 has removed most of this historical baggage. It was purely internal work — not affecting how you use Tolk today. But it's the part I like the most. It opens the road to Tolk v2.0: a new backend, a new assembler, and direct bytecode generation. This is what I am starting to work on now.

FAQ

How do I join TOLK - Next-Gen FunC for Smart Contracts?

Click the join button to open TOLK - Next-Gen FunC for Smart Contracts on Telegram.

Is TOLK - Next-Gen FunC for Smart Contracts NSFW?

No, TOLK - Next-Gen FunC for Smart Contracts is not marked as NSFW. Users should still review the community before joining.

What category is TOLK - Next-Gen FunC for Smart Contracts in?

TOLK - Next-Gen FunC for Smart Contracts is listed under Programming, Blockchain, Smart Contracts, Developer Community on TeleHub.

TOLK - Next-Gen FunC for Smart Contracts@tolk_lang

TOLK - Next-Gen FunC for Smart Contracts

About this listing

Description

Telegram statistics

Activity

Related communities

Recent public posts

Telegram statistics

Listing details

Safety and reporting

FAQ

How do I join TOLK - Next-Gen FunC for Smart Contracts?

Is TOLK - Next-Gen FunC for Smart Contracts NSFW?

What category is TOLK - Next-Gen FunC for Smart Contracts in?

Telegram statistics

Activity

Related communities

Recent public posts