if doing utf8spanformattable remember utf8.trywrite for efficiency and interpolation and also consid

P

Perksey•10/21/23, 8:49 PM

        [MethodImpl(MethodImplOptions.AggressiveInlining)]
        internal ReadOnlySpan<TChar> NumberGroupSeparatorTChar<TChar>() where TChar : unmanaged, IUtfChar<TChar>
        {
            Debug.Assert(typeof(TChar) == typeof(char) || typeof(TChar) == typeof(byte));
            return typeof(TChar) == typeof(char) ?
                MemoryMarshal.Cast<char, TChar>(_numberGroupSeparator) :
                MemoryMarshal.Cast<byte, TChar>(_numberGroupSeparatorUtf8 ??= Encoding.UTF8.GetBytes(_numberGroupSeparator));
        }

        [MethodImpl(MethodImplOptions.AggressiveInlining)]
        internal ReadOnlySpan<TChar> NumberGroupSeparatorTChar<TChar>() where TChar : unmanaged, IUtfChar<TChar>
        {
            Debug.Assert(typeof(TChar) == typeof(char) || typeof(TChar) == typeof(byte));
            return typeof(TChar) == typeof(char) ?
                MemoryMarshal.Cast<char, TChar>(_numberGroupSeparator) :
                MemoryMarshal.Cast<byte, TChar>(_numberGroupSeparatorUtf8 ??= Encoding.UTF8.GetBytes(_numberGroupSeparator));
        }

        [MethodImpl(MethodImplOptions.AggressiveInlining)]
        internal ReadOnlySpan<TChar> NumberGroupSeparatorTChar<TChar>() where TChar : unmanaged, IUtfChar<TChar>
        {
            Debug.Assert(typeof(TChar) == typeof(char) || typeof(TChar) == typeof(byte));
            return typeof(TChar) == typeof(char) ?
                MemoryMarshal.Cast<char, TChar>(_numberGroupSeparator) :
                MemoryMarshal.Cast<byte, TChar>(_numberGroupSeparatorUtf8 ??= Encoding.UTF8.GetBytes(_numberGroupSeparator));
        }

        [MethodImpl(MethodImplOptions.AggressiveInlining)]
        internal ReadOnlySpan<TChar> NumberGroupSeparatorTChar<TChar>() where TChar : unmanaged, IUtfChar<TChar>
        {
            Debug.Assert(typeof(TChar) == typeof(char) || typeof(TChar) == typeof(byte));
            return typeof(TChar) == typeof(char) ?
                MemoryMarshal.Cast<char, TChar>(_numberGroupSeparator) :
                MemoryMarshal.Cast<byte, TChar>(_numberGroupSeparatorUtf8 ??= Encoding.UTF8.GetBytes(_numberGroupSeparator));
        }

M

Maxine•10/21/23, 8:49 PM

but the group separator format can be reset, so we need to make sure to check if it's up to date when we pull from the weak table, and also it needs to be thread-safe...

Kkhitiara if doing utf8spanformattable remember utf8.trywrite for efficiency and interpola...

M

Maxine•10/21/23, 8:50 PM

did you read my code

M

Maxine•10/21/23, 8:50 PM

i am using Utf8.TryWrite

K

khitiaraOP•10/21/23, 8:50 PM

haven't had time

but good

MMaxine 1. The motivation with all of this was to allow Vector3<T> to use int for storag...

K

Kai•10/21/23, 8:50 PM

Kinda sniped by 1. here. I always wanted to have the ability to have ops have the ability to have a storage precision and each op have a specified precision.
Iirc there's lots of gains to have.

K

khitiaraOP•10/21/23, 8:50 PM

I thought my being busy as hell was over and then nope heck me I guess

M

Maxine•10/21/23, 8:51 PM

worst part is having to manually call TryWriteInterpolatedStringHandler because interpolated strings can't natively do what the API needs them to

K

khitiaraOP•10/21/23, 8:51 PM

wait really?

M

Maxine•10/21/23, 8:51 PM

oh yeah: and i have to allocate a

new string(format)

new string(format)

new string(format)

new string(format) because the string handler can't take a span<char>

K

Kai•10/21/23, 8:51 PM

Ie (wrong types for clarity)

VectorN.Dot<i8, f8>(a, b)

VectorN.Dot<i8, f8>(a, b)

VectorN.Dot<i8, f8>(a, b)

VectorN.Dot<i8, f8>(a, b)

KKai Only from perkseys comments - do consider thinking about separating maths and ge...

P

Perksey•10/21/23, 8:51 PM

this stance does fundamentally change the proposal, and as much as i have agreed in the past, given that we have strict rules codified in the BCL now in the form of the generic maths interfaces, it makes sense to follow them given they're the stewards of the ecosystem

MMaxine oh yeah: and i have to allocate a `new string(format)` because the string handle...

M

Maxine•10/21/23, 8:52 PM

(could rewrite the interpolated string handler, but...)

K

Kai•10/21/23, 8:52 PM

Where a/b are VectorN<i8> and the output is f8

MMaxine did you read my code 😭

K

khitiaraOP•10/21/23, 8:53 PM

also where is this code i dont see it in the proposal and dont see any other recent links to check

M

Maxine•10/21/23, 8:53 PM

bottom of proposal

M

Maxine•10/21/23, 8:53 PM

https://github.com/uwx/SilkGenericVectorPoC

GitHub

GitHub - uwx/SilkGenericVectorPoC

Contribute to uwx/SilkGenericVectorPoC development by creating an account on GitHub.

PPerksey this stance does fundamentally change the proposal, and as much as i have agreed...

K

Kai•10/21/23, 8:53 PM

Idk, where does the BCL say Length of an sbyte vector makes no sense?

K

khitiaraOP•10/21/23, 8:53 PM

the method declaration is in the proposal not implementation - ah ok

KKai Idk, where does the BCL say Length of an sbyte vector makes no sense?

M

Maxine•10/21/23, 8:54 PM

the proposal already provides that

M

Maxine•10/21/23, 8:54 PM

i'll leave it up there, rest is up to the WG

M

Maxine•10/21/23, 8:54 PM

do i have to write the API specification for all like 8 types?

K

Kai•10/21/23, 8:54 PM

Sorry I haven't looked yet, but from what's said here I gather that it returns float always?

M

Maxine•10/21/23, 8:54 PM

no, it returns whatever type you want

M

Maxine•10/21/23, 8:55 PM

vec.Length<TFloat>()

MMaxine do i have to write the API specification for all like 8 types?

P

Perksey•10/21/23, 8:55 PM

point out the differences between the types, but other than that no.

MMaxine vec.Length<TFloat>()

K

Kai•10/21/23, 8:55 PM

TFloat = sbyte?

P

Perksey•10/21/23, 8:55 PM

technically you don't even have to write the type specs which is something i'm abusing in the SilkTouchX proposal to leave things open for the team to change

KKai TFloat = sbyte?

M

Maxine•10/21/23, 8:55 PM

that would be a not very useful length method

M

Maxine•10/21/23, 8:55 PM

does sbyte implement IRootFunctions

M

Maxine•10/21/23, 8:55 PM

if not, not possible

K

Kai•10/21/23, 8:56 PM

Fair, Length squared is totally possible though?

PPerksey technically you don't even have to write the type specs which is something i'm a...

M

Maxine•10/21/23, 8:56 PM

i wrote them because you asked!

KKai Fair, Length squared is totally possible though?

M

Maxine•10/21/23, 8:56 PM

lengthsquared is not constrained

K

Kai•10/21/23, 8:56 PM

Yes it'll likely overflow and isn't super common, but eh

M

Maxine•10/21/23, 8:56 PM

it's just INumber

P

Perksey•10/21/23, 8:56 PM

oh yeah, and for maths we definitely want them

P

Perksey•10/21/23, 8:56 PM

but you don't need to do one for every type

P

Perksey•10/21/23, 8:56 PM

like for a typespec for Vector4 you can do

// everything from vector3, as well as:
// everything from vector3, except:

// everything from vector3, as well as:
// everything from vector3, except:

// everything from vector3, as well as:
// everything from vector3, except:

// everything from vector3, as well as:
// everything from vector3, except:

P

Perksey•10/21/23, 8:57 PM

as long as your intent is clear, it can be approved

M

Maxine•10/21/23, 8:57 PM

so yes you can do LengthSquared<sbyte>

PPerksey this stance does fundamentally change the proposal, and as much as i have agreed...

K

Kai•10/21/23, 8:57 PM

Don't want to bother you about it given I haven't read the proposal but then I don't understand what perksey is saying here

KKai Don't want to bother you about it given I haven't read the proposal but then I d...

M

Maxine•10/21/23, 8:57 PM

me neither

MMaxine so yes you can do LengthSquared<sbyte>

M

Maxine•10/21/23, 8:57 PM

you monster /j

K

khitiaraOP•10/21/23, 8:57 PM

@shrimpcat in the utf8 formatting bit, why not also check the output from the .Append bits to return early? unless im misremembering those method's return values

Kkhitiara @shrimpcat in the utf8 formatting bit, why not also check the output from the .A...

M

Maxine•10/21/23, 8:57 PM

they return false

M

Maxine•10/21/23, 8:57 PM

tahts why the &&

K

khitiaraOP•10/21/23, 8:58 PM

yeah but why discarding the whole is i guess my question

K

khitiaraOP•10/21/23, 8:58 PM

im probably just being slow to process this whole setup though

M

Maxine•10/21/23, 8:58 PM

because you can't have a bunch of && as a statement

if doing utf8spanformattable remember utf8.trywrite for efficiency and interpolation and also consid

Similar Threads