On Monday, 15 June 2020 at 20:47:16 UTC, 12345swordy wrote:
On Saturday, 13 June 2020 at 15:11:49 UTC, Atila Neves wrote:
https://code.dlang.org/packages/tardy
https://github.com/atilaneves/tardy
[...]
Wouldn't a top type be a better way to achieve this?
-Alex
How?
On Tuesday, 16 June 2020 at 03:56:52 UTC, Petar Kirov
[ZombineDev] wrote:
On Saturday, 13 June 2020 at 15:11:49 UTC, Atila Neves wrote:
https://code.dlang.org/packages/tardy
https://github.com/atilaneves/tardy
Looks interesting, nice work!
How does it compare to:
https://dlang.org/phobos/std
On Tuesday, 16 June 2020 at 09:15:10 UTC, Atila Neves wrote:
On Tuesday, 16 June 2020 at 03:56:52 UTC, Petar Kirov
[ZombineDev] wrote:
On Saturday, 13 June 2020 at 15:11:49 UTC, Atila Neves wrote:
https://code.dlang.org/packages/tardy
https://github.com/atilaneves/tardy
Looks interesting, ni
On Saturday, 13 June 2020 at 03:16:05 UTC, Walter Bright wrote:
https://dl.acm.org/doi/abs/10.1145/3386323
Many, many thanks to Mike Parker and Andrei Alexandrescu for
their endless hours spent fixing the mess I originally wrote.
Many, thanks to you, too!
Just found the time to read it (again
On Tuesday, 16 June 2020 at 09:15:10 UTC, Atila Neves wrote:
[snip]
In the more longer-term, is the goal of the project to
implement a Typescript / Go interfaces like structural type
system in user space?
Yes. Other than allowing multiple interfaces, I think it's
already implemented.
I'm n
On Tuesday, 16 June 2020 at 11:24:05 UTC, jmh530 wrote:
On Tuesday, 16 June 2020 at 09:15:10 UTC, Atila Neves wrote:
[snip]
In the more longer-term, is the goal of the project to
implement a Typescript / Go interfaces like structural type
system in user space?
Yes. Other than allowing multip
On Tuesday, 16 June 2020 at 11:31:14 UTC, Atila Neves wrote:
On Tuesday, 16 June 2020 at 11:24:05 UTC, jmh530 wrote:
On Tuesday, 16 June 2020 at 09:15:10 UTC, Atila Neves wrote:
[snip]
In the more longer-term, is the goal of the project to
implement a Typescript / Go interfaces like structural
On Tuesday, 16 June 2020 at 12:30:24 UTC, jmh530 wrote:
[snip]
double area(Rect r) {
return r.width * r.height
}
double perim(Rect r) {
return 2 * r.width + 2 * r.height
}
double area(Circle c) {
import std.math: PI;
return PI * c.radius * c.radius
}
double perim(Circle c) {
On Tuesday, 16 June 2020 at 12:30:24 UTC, jmh530 wrote:
On Tuesday, 16 June 2020 at 11:31:14 UTC, Atila Neves wrote:
On Tuesday, 16 June 2020 at 11:24:05 UTC, jmh530 wrote:
On Tuesday, 16 June 2020 at 09:15:10 UTC, Atila Neves wrote:
[snip]
In the more longer-term, is the goal of the project t
On 2020-06-15 13:01:02 +, Timon Gehr said:
The talk will be on YouTube.
Great.
Papers:
https://www.sri.inf.ethz.ch/publications/bichsel2020silq
https://www.sri.inf.ethz.ch/publications/gehr2020lpsi
Source code:
https://github.com/eth-sri/silq
https://github.com/eth-sri/psi/tree/new-type
On Tuesday, 16 June 2020 at 13:31:49 UTC, Atila Neves wrote:
[snip]
Pretty cool, thanks for the fixups.
It may make for a good documentation example, in that it may help
make clear that you need to pass the module in somehow when
dealing with non-member functions (AFAICT). You could include
On 16.06.20 17:35, Robert M. Münch wrote:
On 2020-06-15 13:01:02 +, Timon Gehr said:
The talk will be on YouTube.
Great.
Papers:
https://www.sri.inf.ethz.ch/publications/bichsel2020silq
https://www.sri.inf.ethz.ch/publications/gehr2020lpsi
Source code:
https://github.com/eth-sri/silq
h
On Friday, 23 May 2014 at 22:00:51 UTC, Andrej Mitrovic wrote:
https://github.com/d-gamedev-team/dbox
What is Box2D?
==
[...]
This sort of investment still amazes me.
Glad to announce LDC 1.22 - some highlights:
- Based on D 2.092.1+.
- AArch64: C(++) interop should now be on par with x86_64, and
variadics usable with core.{vararg,stdc.stdarg}.
- Windows hosts: Auto-detection & setup of installed Visual C++
toolchains revamped and newly enabled by default.
On Tuesday, 16 June 2020 at 20:12:12 UTC, kinke wrote:
[...]
Amazing. I just love the LDC momentum.
On Tuesday, 16 June 2020 at 20:12:12 UTC, kinke wrote:
Glad to announce LDC 1.22 - some highlights:
[...]
- `pragma(inline, true)` fix when emitting multiple object
files in a single cmdline. This may have a significant impact
on performance (incl. druntime/Phobos) when not using LTO.
i.e si
On Tue, Jun 16, 2020 at 08:12:12PM +, kinke via Digitalmars-d-announce
wrote:
> Glad to announce LDC 1.22 - some highlights:
[...]
Awesome!! Thanks for continuing to bring us this awesome compiler!
T
--
Those who've learned LaTeX swear by it. Those who are learning LaTeX swear at
it. --
On Tuesday, 16 June 2020 at 17:52:37 UTC, aberba wrote:
On Friday, 23 May 2014 at 22:00:51 UTC, Andrej Mitrovic wrote:
https://github.com/d-gamedev-team/dbox
What is Box2D?
==
[...]
This sort of investment still amazes me.
This is a 6 years old post though. I'm sure there are m
18 matches
Mail list logo
