Vasiliy Tereshkov
Vasiliy Tereshkov
@ske2004 No, they cannot. Of what type could they be? Type type?
@ske2004 We discussed this idea on Discord 1.5 years ago and were not very excited: https://discord.com/channels/846663478873030666/846663478873030672/1140395255322136719
In fact, this is not about interfaces: ``` fn f(): (int, int) { return 5, 7 } fn g(): (int, real) { return f() // Incompatible types { int real...
@rsepassi To be clear: Umka is single-threaded. Its fibers have nothing to do with OS threads. They all co-exist in the virtual machine running on a single OS thread. If...
@rsepassi I still cannot see how `set_timer` could be single-threaded (maybe you meant that it was multi-threaded, but only one, `callback` thread would directly interact with Umka). But I admit...
@ske2004 Should it not happen? -1 doesn't fit into `uint16`. And it happens with addition as well: ``` fn main() { a := uint16(0xFFFF) b := uint16(0x1) r := a+b...
@ske2004 In your `subtractWithCarry()`, what is the preferred value and type of `r` for you?
@ske2004 In your example with 0 and 1, do you want `r` to be 65535 of type `uint16`?
Yet another proposal from those familiar with Zig and C#: `a - b` is a runtime error, `unchecked(a - b)` wraps around to 65535. Even if I like it, I...
These instructions are indeed redundant, but I won't call them low-hanging fruits for optimization: * To emit more optimal code, you'll perhaps need a more sophisticated compiler that distinguishes between...