Re: Truly algebraic Variant and Nullable

2020-12-22 Thread 9il via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 19:45:43 UTC, Paul Backus wrote: On Tuesday, 22 December 2020 at 16:54:56 UTC, 9il wrote: On Tuesday, 22 December 2020 at 16:43:30 UTC, ag0aep6g wrote: On Tuesday, 22 December 2020 at 16:32:20 UTC, 9il wrote: "Struct non-static methods marked with the return

Re: Printing shortest decimal form of floating point number with Mir

2020-12-22 Thread 9il via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 21:53:20 UTC, Walter Bright wrote: If you don't want the formatting code to be part of Phobos, I respect your choice. Why did you think I may want it? Phobos is almost not used in my work. You, Andrey, and Atila don't care about language features that have

Re: Printing shortest decimal form of floating point number with Mir

2020-12-22 Thread Walter Bright via Digitalmars-d-announce
If you don't want the formatting code to be part of Phobos, I respect your choice.

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread jmh530 via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 17:20:03 UTC, ag0aep6g wrote: On Tuesday, 22 December 2020 at 16:53:11 UTC, jmh530 wrote: For v = cast(size_t) x; I thought @safe prevented explicitly casting an immutable to a mutable, but the code below seems to suggest it is ok in this case... void main()

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread Paul Backus via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 16:54:56 UTC, 9il wrote: On Tuesday, 22 December 2020 at 16:43:30 UTC, ag0aep6g wrote: On Tuesday, 22 December 2020 at 16:32:20 UTC, 9il wrote: "Struct non-static methods marked with the return attribute ensure the returned reference will not outlive the struct

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread Atila Neves via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 04:09:59 UTC, 9il wrote: On Sunday, 20 December 2020 at 12:32:35 UTC, Petar Kirov [ZombineDev] wrote: How does your work compare to sumtype? Would mir.algebraic offer any benefits, which would make it worth switching over? replied at

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread ag0aep6g via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 16:53:11 UTC, jmh530 wrote: For v = cast(size_t) x; I thought @safe prevented explicitly casting an immutable to a mutable, but the code below seems to suggest it is ok in this case... void main() @safe { immutable x = 32; auto v = cast(size_t) x; }

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread 9il via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 17:07:16 UTC, ag0aep6g wrote: On Tuesday, 22 December 2020 at 16:54:56 UTC, 9il wrote: On Tuesday, 22 December 2020 at 16:43:30 UTC, ag0aep6g wrote: [...] [...] If I am correct Dlang doesn't provide an instrument to validate it, isn't it? What alternative

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread ag0aep6g via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 16:54:56 UTC, 9il wrote: On Tuesday, 22 December 2020 at 16:43:30 UTC, ag0aep6g wrote: [...] The issue isn't that the reference outlives the struct. It's that the reference outlives a tag change of the tagged union. If I am correct Dlang doesn't provide an

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread 9il via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 16:43:30 UTC, ag0aep6g wrote: On Tuesday, 22 December 2020 at 16:32:20 UTC, 9il wrote: "Struct non-static methods marked with the return attribute ensure the returned reference will not outlive the struct instance." The issue isn't that the reference outlives

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread jmh530 via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 14:27:02 UTC, ag0aep6g wrote: On 22.12.20 04:56, 9il wrote: 6. Algebraic type subsets are supported by `get`, `trustedGet`, `_is`, and `this` primitives. You can operate with algebraic subset as with the type of the original typeset. [1] "trustedGet" - That

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread ag0aep6g via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 16:32:20 UTC, 9il wrote: "Struct non-static methods marked with the return attribute ensure the returned reference will not outlive the struct instance." The issue isn't that the reference outlives the struct. It's that the reference outlives a tag change of

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread 9il via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 14:27:02 UTC, ag0aep6g wrote: On 22.12.20 04:56, 9il wrote: 6. Algebraic type subsets are supported by `get`, `trustedGet`, `_is`, and `this` primitives. You can operate with algebraic subset as with the type of the original typeset. [1] "trustedGet" - That

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread Paul Backus via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 03:56:13 UTC, 9il wrote: On Sunday, 20 December 2020 at 11:00:05 UTC, Tobias Pankrath wrote: On Sunday, 15 November 2020 at 04:54:19 UTC, 9il wrote: Truly algebraic Variant and Nullable with an order-independent list of types. Thanks for sharing it! Could you

Re: Truly algebraic Variant and Nullable

2020-12-22 Thread ag0aep6g via Digitalmars-d-announce
On 22.12.20 04:56, 9il wrote: 6. Algebraic type subsets are supported by `get`, `trustedGet`, `_is`, and `this` primitives. You can operate with algebraic subset as with the type of the original typeset. [1] "trustedGet" - That name smells of a safety violation. And indeed (compile with

Re: Printing shortest decimal form of floating point number with Mir

2020-12-22 Thread 9il via Digitalmars-d-announce
On Tuesday, 22 December 2020 at 09:18:25 UTC, Walter Bright wrote: On 12/21/2020 8:33 PM, 9il wrote: These functions in Phobos would make a great advertisement for Mir. How this possible? A lot more people will have Phobos than Phobos+Mir. If they are perusing the source code and see Mir

Re: Printing shortest decimal form of floating point number with Mir

2020-12-22 Thread Walter Bright via Digitalmars-d-announce
On 12/21/2020 8:51 PM, 9il wrote: ... I just have thought maybe I have missed something and DLF helps Mir with advertising at least a bit, maybe at least with two-three tweets per year? The last time @D_Programming tweeted something about Mir was in 2016. I thought anything in D.announce got

Re: Printing shortest decimal form of floating point number with Mir

2020-12-22 Thread Walter Bright via Digitalmars-d-announce
On 12/21/2020 8:33 PM, 9il wrote: These functions in Phobos would make a great advertisement for Mir. How this possible? A lot more people will have Phobos than Phobos+Mir. If they are perusing the source code and see Mir contributed excellent floating point formatting code, they may have