
DeDust.io - Developer News
Discussion: @dedust_dev_chat
Documentation: docs.dedust.io
Documentation: docs.dedust.io
TGlist рейтинг
0
0
ТипАчык
Текшерүү
ТекшерилбегенИшенимдүүлүк
ИшенимсизОрду
ТилиБашка
Канал түзүлгөн датаЛип 21, 2024
TGlistке кошулган дата
Серп 22, 2024Тиркелген топ
Катталгандар
336
24 саат00%Жума
2-0.7%Ай
8-2.3%
Цитация индекси
0
Эскерүүлөр3Каналдарда бөлүштү0Каналдарда эскерүүлөр3
1 посттун орточо көрүүлөрү
0
12 саат00%24 саат00%48 саат00%
Катышуу (ER)
0%
Кайра посттошту0Комментарийлер0Реакциялар0
Көрүүлөр боюнча катышуу (ERR)
0%
24 саат0%Жума0%Ай0%
1 жарнама посттун орточо көрүүлөрү
0
1 саат00%1 – 4 саат00%4 - 24 саат00%
Акыркы 24 саатта бардык посттор
0
Динамика
-
"DeDust.io - Developer News" тобундагы акыркы жазуулар
Кайра бөлүшүлгөн:TOLK lang
TL
21.01.202510:33
Two months of absence: what was going on?
Two months have passed since the announcement of Tolk. You might be wondered, what was going on and why there we no releases yet.
Throughout all November, I've been working on the vision of the future. My goal was to "visualize" what Tolk v1.0 should look like. What's the language we're all targeting to, so that it solves lots of practical problems, avoids manual cells/slices manipulation, provides sufficient mechanisms for ABI generation, but still being zero overhead. I have created a giant roadmap (40 PDF pages!) describing the vision, and how, step by step, we're going to reach it.
Throughout all December, I've been constantly working on the compiler's kernel. As you know, Tolk is a fork of FunC. FunC compiler internals are very challenging to be extended and modified. The way FunC looks like is just a mirror of its internal implementation. Heading towards the future, I had to partially "untangle" this "legacy FunC core", so that in the future, it will be able to "interbreed" with features it was not originally designed for.
Currently I am done with this preparation. Tolk v0.7 has just been released. It contains a fully rewritten semantic analysis kernel (though almost invisible to the end user, huh).
✅ Notable changes in Tolk v0.7:
1. Under the hood: refactor and revamp compiler internals. AST-level semantic analysis kernel
2. Under the hood: rewrite the type system from Hindley-Milner to static typing
3. Clear and readable error messages on type mismatch
4. Generic functions
5. The
6. Type casting via
PR on GitHub with detailed info. IDE plugins are updated accordingly.
BTW, a new version of blueprint was also released. You can now update compilers (Tolk / FunC / Tact) independently, they became peer dependencies.
P.S. I'll uncover the details about planned Tolk v1.0 quite soon.
Two months have passed since the announcement of Tolk. You might be wondered, what was going on and why there we no releases yet.
Throughout all November, I've been working on the vision of the future. My goal was to "visualize" what Tolk v1.0 should look like. What's the language we're all targeting to, so that it solves lots of practical problems, avoids manual cells/slices manipulation, provides sufficient mechanisms for ABI generation, but still being zero overhead. I have created a giant roadmap (40 PDF pages!) describing the vision, and how, step by step, we're going to reach it.
Throughout all December, I've been constantly working on the compiler's kernel. As you know, Tolk is a fork of FunC. FunC compiler internals are very challenging to be extended and modified. The way FunC looks like is just a mirror of its internal implementation. Heading towards the future, I had to partially "untangle" this "legacy FunC core", so that in the future, it will be able to "interbreed" with features it was not originally designed for.
Currently I am done with this preparation. Tolk v0.7 has just been released. It contains a fully rewritten semantic analysis kernel (though almost invisible to the end user, huh).
✅ Notable changes in Tolk v0.7:
1. Under the hood: refactor and revamp compiler internals. AST-level semantic analysis kernel
2. Under the hood: rewrite the type system from Hindley-Milner to static typing
3. Clear and readable error messages on type mismatch
4. Generic functions
fun f(...)
and instantiations like f(...)
5. The
bool
type6. Type casting via
value as T
PR on GitHub with detailed info. IDE plugins are updated accordingly.
BTW, a new version of blueprint was also released. You can now update compilers (Tolk / FunC / Tact) independently, they became peer dependencies.
P.S. I'll uncover the details about planned Tolk v1.0 quite soon.
Рекорддор
12.02.202523:59
353Катталгандар18.03.202519:24
400Цитация индекси21.04.202507:11
01 посттун көрүүлөрү21.04.202507:11
01 жарнама посттун көрүүлөрү21.04.202507:11
0.00%ER22.07.202423:59
0.00%ERRӨнүгүү
Катталуучулар
Citation индекси
Бир посттун көрүүсү
Жарнамалык посттун көрүүсү
ER
ERR
Көбүрөөк функцияларды ачуу үчүн кириңиз.