1.98K subscribers
3.97K photos
157 videos
15 files
4.11K links
Блог со звёздочкой.

Много репостов, немножко программирования.

Небольшое прикольное комьюнити: @decltype_chat_ptr_t
Автор: @insert_reference_here
Download Telegram
Ну #meme про дурака...
12😁7😭1
Блог*
Ну #meme про дурака...
Подсказывают, что это россиянин
🤣9🌚5😁2💯2
#prog #haskell #article

Type-level programming is still programming

TL;DR: вычисление типов, в отличие от вычисления термов, не является ленивым, и изменения в логике вычисления типов, не меняющее поведение, могут поменять асимптотику времени компиляции с экспоненциальной на линейную.
7👍2🔥1💩1
"Не айс" = "not cool"
🤯18💯71🤔1
Forwarded from Random Rust Dev
Скелетор злодей, но не врун
👍22😁13
Forwarded from Doque Embedded
👍16👌3🤔1🌚1
🪄

Теперь ты дышишь осознанно
Please open Telegram to view this post
VIEW IN TELEGRAM
💩14🤔4🖕3😭2
#prog #rust #article

Why building a Rust LSP is hard

This will be a (hopefully coherent) story about how Rust LSPs work, from the perspective of both rust-analyzer and Rust Glancer: how things that seem easy turn out to be hard, things that seem hard turn out to be even harder, and things I didn't expect to exist at all somehow do.

LSP is more of a guess game, where at each step all you are presented with is the potentially incorrect state, and your goal is to guess what would make sense for the user.
6💯2
Forwarded from Segment@tion fault
оф оказался полезным сайтом
😁251🤯1
#prog #article

Everyone Says Assembly Is Untyped—Everyone Is Wrong

TL;DR: I believe Odin’s inline assembly is currently the best out of any language.

The most important aspects are of this article listed below. I am not aware of any other assembly (GCC/Clang/Rust/Go…) that would combine all of these aspects:

* Inline assembly is organized into asm “templates”, similar to and callable as procedures.
* asm templates integrate with rest of the code, through bindings specifying clobbers, pinned, tied, and scratch registers.
* Assembly syntax is unified across ISAs and consistent with Odin syntax.
* Assembly is fully type checked, just like rest of Odin code.
* Understanding that assembly is actually typed.
* Real semantic diagnostics via core:rexcode encoding tables.
* It was built in ~7 days.

🤔5🥰2😱1
Ну #prog... Кусочек, это и статьёй-то не назвать, скорее, #tips

Printing Lists

To print a comma-separated list, a concise idiom is to optionally print the comma first, before the element:


for (items, 0..) |item, item_index| {
if (item_index > 0) std.debug.print(", ");
std.debug.print("{}", .{item});
}
6🥴4
#prog #article

Steering Zig Fmt

TL;DR (но вообще заметка маленькая): zig fmt не имеет the каноничного форматирования для кода, а опирается на указания в виде уже частично отформатированного кода и распространяет его на соседние семантически связанные строки.
🤯15😁2🥴2🤔1
😁27💯8💩6😭21🥰1👏1🤔1🤮1