Ну представь, что тебе в локальный сервер нугета надо бы затащить пакетов
создать источник = локальный кеш?
Pavel
Ayrat
можете ставить лайки
https://github.com/dotnet/sdk/issues/2724
Ayrat
It's by design
что забавно, ctrl-shift-B в вижле работает норм. Интересно что он там запускает
Bonart
msbuild он запускает по идее
Ayrat
msbuild ресторит не через нугет разве?
Ayrat
у них разные ресолверы?
Ayrat
вот это новость.
Karen
о таком не слышал, но если что...
Ayrat
:D
Ayrat
шаги в тикете
Pavel
я не смог воспроизвести
Ayrat
2.1.500&
Ayrat
?
Pavel
где смотреть?
Ayrat
dotnet —version
Ayrat
два тира
Ayrat
dotnet --version
Pavel
да
Ayrat
dotnet restore -f сделай
Pavel
2.1.500
создал в студии консольный кор
засунул в fsproj твою строку
Pavel
подождал
Pavel
Pavel
само прицепилось
Ayrat
там же написано что студия норм ресторит
Ayrat
ты тикет не читал чтоль?
Ayrat
:D
Pavel
нет не читал
Ayrat
Бля
Ayrat
проблема (возможно) в SDK, а не в студии
Ayrat
поэтому надо было тестить как написано в тикете, через SDK
Pavel
ну рестор да. сносит назад в 4.5.2
Ayrat
тогда всё ок, воспроизведено
Ayrat
:D
Ayrat
Это кстати ТОТ самый случай когда можешь огрести пиздецов
на машине разраба всё ок (в студии), на билд агенте чистый SDK и привет
Ayrat
ресторится разное O_O
Ayrat
очень крутое видео
https://www.youtube.com/watch?v=mOtKD7ml0NU
Pavel
Use VisualStudio 15.9.3 ctrl-shift-B (strangely it restores OK)
Ayrat
У меня только новая =(
Ayrat
Бля, видос про Идрис магический
Ayrat
Сижу в ахуе
Ayrat
он просто пишет типы, потом говорит - хочу функцию Zip над векторами, ему компилятор САМ все функции пишет
Ayrat
обожемой
Stanisλav
Не могу использовать XPlot в C# из-за специфических типов(( хочет, чтобы я Fsharp.Option сборку на тип указал.. как быть?)
Ayrat
Крылатый
Pavel
он просто пишет типы, потом говорит - хочу функцию Zip над векторами, ему компилятор САМ все функции пишет
это конечно интересно но какой шанс что он взлетит? я в свое время clean'ом баловался, в котором куча всего была из коробки от которой хаскель нервно курил. и где clean теперь?
Ayrat
ну это ж Idris
Ayrat
хотя это Idris 2
Ayrat
идрис вроде как взлетел ровно настолько, насколько может взлететь подобный язык)
Ayrat
а вот идрис 2 хз
Vladislav
эксель может читать?
Vladislav
если нет то не взлетел
Vladislav
Vladislav
простой тест на тырпрайз
Ayrat
ну там автор стебётся, что его язык PacMan complete
Ayrat
т.к. turing комплит не очень выразительная характеристика
Vladislav
постараюсь посмотреть презентаху
Ayrat
PacMan комплит означает возможность взаимодействия с внешним миром и т.д.
Vladislav
ну в джет работает, дальше только мс ресерч
Pavel
тут какието аналогии между виртуальными и реальными женщинами напрашиваются
Bonart
тут какието аналогии между виртуальными и реальными женщинами напрашиваются
Причем в проме только резиновые, а еще есть ява-женщины с наждачкой... в главном порту
Bonart
Причем некоторые всецело за правую руку, то бишь го
Doge
он просто пишет типы, потом говорит - хочу функцию Zip над векторами, ему компилятор САМ все функции пишет
Подобное, но на порядки более примитивное есть для скалы:
https://github.com/Chymyst/curryhoward
Vasily
Идея представления типа в виде функции очень крутая, конечно
Ayrat
Идея представления типа в виде функции очень крутая, конечно
Когда он смог написать функцию транспонирования матрицы в типах я испытал лютый оргазм.