Size: a a a

2021 February 01

AH

Ayrat Hudaygulov in pro.net
Nikita Tsukanov
оно маппится
из фстара кодгенится фшарп и окамл (и си вроде)
источник

NT

Nikita Tsukanov in pro.net
в си там подмножество генерится
источник

AH

Ayrat Hudaygulov in pro.net
это значит что ты верифицировал на фстаре и чтобы с этим работать, генеришь на нормальном языке
источник

AH

Ayrat Hudaygulov in pro.net
но нормальный язык не обладает такой же доказательной силой
источник

AH

Ayrat Hudaygulov in pro.net
даже фшарп
источник

A

Aloraman in pro.net
А началось все с замены await на unhurry
источник

E

EgorBo in pro.net
пока поцаны спорят является ли язык 100% верефицируемым, тюринг полным и есть ли в нем Дискрименейтед Монад Функтор юнионы -
другие ебашат круды
источник

AH

Ayrat Hudaygulov in pro.net
Aloraman
А началось все с замены await на unhurry
а вот в фаршике так

open Tasks.ContextSensitive

task {
 do! someAsync() // здесь ConfigureAwait true
}

open Tasks.ContextInsensitive

task {
 do! someAsync() // здесь ConfigureAwait false
}
источник

AH

Ayrat Hudaygulov in pro.net
одним юзингом на весь файл бахаем
источник

AH

Ayrat Hudaygulov in pro.net
можно локально

open Tasks

ContextSensitive.task {
 do! someAsync() // здесь ConfigureAwait true
}

ContextInsensitive.task {
 do! someAsync() // здесь ConfigureAwait false
}
источник

R

Rafael in pro.net
EgorBo
пока поцаны спорят является ли язык 100% верефицируемым, тюринг полным и есть ли в нем Дискрименейтед Монад Функтор юнионы -
другие ебашат круды
на идрисе))
источник

A

Aloraman in pro.net
Предпочту
await SwitchTo.ThreadPool
источник

AH

Ayrat Hudaygulov in pro.net
Aloraman
Предпочту
await SwitchTo.ThreadPool
в фаршике тоже есть
источник

AH

Ayrat Hudaygulov in pro.net
let asyncMethod f = async {  
   let original = SynchronizationContext.Current
   do! Async.SwitchToNewThread()
   let result = f()
   do! Async.SwitchToContext(original)
   return result
}
источник

IC

Ilya Chernoudov in pro.net
Ayrat Hudaygulov
в фаршике тоже есть
чувствуешь себя не понятым?))))
источник

AH

Ayrat Hudaygulov in pro.net
Ilya Chernoudov
чувствуешь себя не понятым?))))
сейчас почувствовал!
источник

AH

Ayrat Hudaygulov in pro.net
(я тебя не понял)
источник

IC

Ilya Chernoudov in pro.net
Ayrat Hudaygulov
сейчас почувствовал!
я в целом про дискуссию, не про конкретный мессадж
источник

IC

Ilya Chernoudov in pro.net
в  дотнете кстати есть ещё модули, которых может быть несколько в сборке. Но я ниразу их не видел
источник

A

Aloraman in pro.net
Кстати, кастомными таргетами для msbuild можно засунуть C# и F# в одну сборку? (хоть и в разные модули)
источник