Захотелось мне с UMX сделать короткий алиас для string (type

Question

Захотелось мне с UMX сделать короткий алиас для string (type

s = string), но с s<foo> я обломался
это UMX с алиасами типов не работает или я его готовить не умею
??

код полностью:
[<Measure>] type Foo

type s = string

let f (arg: s<Foo>) = ()

//=> The non-generic type 'Program.s' does not expect any type arguments, but here is given 1 type argument(s)F# Compiler33

#fsharp #programming #russian

0

05.09.2023

11 ответов

52 просмотра

/home/slavonchick> sudo

Но так ведь ещё короче?

0

05.09.2023

dd Автор вопроса

/home/slavonchick> sudo
Но так ведь ещё короче?

моё "короче" - без потери данных о типе в описании :)) ну серьёзно, удобнее же когда s<Foo>, а не s (учитывая, что тебе известно, что s = string)

0

05.09.2023

/home/slavonchick> sudo

dd
моё "короче" - без потери данных о типе в описании...

хз, это субъективно. лично мне - не удобнее

0

05.09.2023

dd Автор вопроса

/home/slavonchick> sudo
хз, это субъективно. лично мне - не удобнее

а ты это как видишь, как указание типа в аргументе ф-ции? или как выведенная компилятором "цепочка типов" у ф-ции? просто во втором случае намного удобнее, если "цепочку типов" укоротить как-то я конечно могу сделать алиасы наподобие s'Foo, но тогда нахрена мне, спрашивается, UMX? 🤣🤣🤣 [в таком случае я и без measure обойдусь]

0

05.09.2023

/home/slavonchick> sudo

dd
а ты это как видишь, как указание типа в аргументе...

да не, Measure же на для алиасов нужны. это удобный способ сделать обёртку, которая будет помогать во время компиляции, но в рантайме от неё никакого оверхэда не будет

0

05.09.2023

dd Автор вопроса

dd
а ты это как видишь, как указание типа в аргументе...

UMX удобен выделением "логики" в отдельную "ветвь" (measure) если же делать свои алиасы, то это не выделение "логики", а выделение "синтаксиса"

0

05.09.2023

/home/slavonchick> sudo

dd
UMX удобен выделением "логики" в отдельную "ветвь"...

вот этого я вообще не понял

0

05.09.2023

Vlæd Zá

dd
моё "короче" - без потери данных о типе в описании...

Да, удобнее когда непонятный тип, вместо привычного (нет).

0

05.09.2023

dd Автор вопроса

/home/slavonchick> sudo
вот этого я вообще не понял

когда у тебя вывод типов у ф-ции показывает вот такое: // #1 string<Foo> -> string<Bar> -> string<Baz> -> ... // #2 int<Foo> -> int<Bar> -> int<Baz> -> ... это значит, что ты используешь measure + UMX для выноса "логики" (на уровень [<Measure>] type ...) а когда у тебя вот такое: // #1 s'Foo> -> s'Bar -> s'Baz -> ... // #2 i'Foo -> i'Bar -> i'Baz -> ... это значит "тупое задротство на уровне именования алиасов типов"

0

05.09.2023

/home/slavonchick> sudo

dd
когда у тебя вывод типов у ф-ции показывает вот та...

я всё равно ничего не понял, но честно говоря и не хочется)

0

05.09.2023

/home/slavonchick> sudo · Accepted Answer

/home/slavonchick> sudo

ты наверное так хотел? #r "nuget: FSharp.UMX" open FSharp.UMX [<Measure>] type Foo type s = string<Foo> let f (arg: s) = ()

0

05.09.2023

169 похожих чатов

Захотелось мне с UMX сделать короткий алиас для string (type

11 ответов

Похожие вопросы