а ещё inherit vs interface, val vs member, int array vs int [], type 'a Tree vs type Tree<'a>
когда всё это уже запомнил, то кажется вполне логичный лаконичный язык 👅

Еще когда параметров типа больше одного, вроде type ('a, 'b) Tree, компилятор ругается при использовании типа, в определении не ругается. Говорит такой синтаксис нужен для ML-совместивости, не используйте, пишите Tree<'a,'b>.

<Project Sdk="Microsoft.NET.Sdk">

  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>net5.0</TargetFramework>
    <NoWarn>62,40</NoWarn>
  </PropertyGroup>

Я не помню, какой из NoWarn это отключает. Ну, или пиши C<'T, 'U>.

А, вон оно пишет, 62

Да не, зачем. Я это добавил про неравномерности языка. Ну до сишарпа все равно далеко. В котором void это тип, но без значений, и на самом деле не тип, но иногда тип. Так что fun еще ничего.

Ребят, много проблема с линуксом или даже разницы не почувстую?

По сравнению с маком или с виндой?

виндой

Хостинг или разработка?

Если пользуешься вижлой - почувствуешь.
Если нет - никакой разницы.

Ну и если ты не под фул фреймворк разрабатываешь

Всем привет, делаю дипломчик, хочу сделать сервер синхронизации данных приложения между множеством пользователей на базе SignalR для передачи сообщений по Http, но для синхронизации и обработки данных на сервере хочу использовать Hopac и совсем не понимаю как на нем писать. Может кто нить дописать пример такой задачи в консольном виде?

// Parallel read messages from ReadLine() |> addToCommandChannel
// Example of command (update name to "NewName")
// it executes when not busy
// after work write to channelOut |> propertyUpdated name "NewName"

// state contains variables
// state contains 2 channels

// printer watches channelOut and printing it to stdout

type Property<'a> =
    {
        Name : string
        Value : 'a
    }

type Command =
    UpdateName of Property<string>
    
type CommandResult =
    UpdatedName of Property<string>

type ModelState =
    val name : MVar<string>
    val inputCh : Ch<Command>
    val outputCh : Ch<CommandResult>

[<EntryPoint>]
let main argv =
    printfn "%A" (UpdateName { Name = "name"; Value = "kek" })
    0

Или же гопак излишний для такой задачи?

фул фреймоворк это как?

.NET Framework, который чисто под винду

// Parallel read messages from ReadLine() |> addToCommandChannel
// Example of command (update name to "NewName")
// it executes when not busy
// after work write to channelOut |> propertyUpdated name "NewName"

// state contains variables
// state contains 2 channels

// printer watches channelOut and printing it to stdout

type Property<'a> =
    {
        Name : string
        Value : 'a
    }

type Command =
    UpdateName of Property<string>
    
type CommandResult =
    UpdatedName of Property<string>

type ModelState =
    val name : MVar<string>
    val inputCh : Ch<Command>
    val outputCh : Ch<CommandResult>

[<EntryPoint>]
let main argv =
    printfn "%A" (UpdateName { Name = "name"; Value = "kek" })
    0

Тебе нужен некий сервер, который получает сообщения по одному, известному всем каналу, при обработке создаёт IVar(канал тоже можно) ответа, который передает в незаполненном виде обработчику и тут же отдаёт этот IVar клиенту и переходит на следующий луп

.NET Core & .NET 5 - кроссплатформа

Ну для практики очень даже не лишний, но для такой несложной задачи что угодно пойдёт

Спасибо, более подробно почитаю про эти абстракции, попробую сделать)