Информация об изменениях

Сообщение Re: Что важнее: символы или типы? от 09.12.2020 6:35

Изменено 09.12.2020 6:37 HFTMan

Re: Что важнее: символы или типы?
Здравствуйте, varenikAA, Вы писали:


AA>
AA>var id = 1;
AA>

AA>или
AA>
AA>var clientId = 1;
AA>


Тип конечно. Если F# выводит типы из всего, почему не воспользоваться?

module Client =

    open System
    
    [<Struct>]
    type ClientId = { Value: Guid }
    
    type T = { Id: ClientId; Name: string }

    let create id name = { Id = id; Name = name }
    
    let createId() = {Value = Guid.NewGuid()}


Функции create и createId без какой-то вообще аннотации типов имеют правильный тип. Разве не красота?
Re: Что важнее: символы или типы?
Здравствуйте, varenikAA, Вы писали:


AA>
AA>var id = 1;
AA>

AA>или
AA>
AA>var clientId = 1;
AA>


Тип конечно. Если F# выводит типы из всего, почему не воспользоваться?

module Client =

    open System
    
    [<Struct>]
    type Id = { Value: Guid }
    
    type T = { Id: Id; Name: string }

    let create id name = { Id = id; Name = name }
    
    let createId() = {Value = Guid.NewGuid()}


Функции create и createId без какой-то вообще аннотации типов имеют правильный тип. Разве не красота?