Vladislav

ну спаны по-идее нужны если стдлиб в них умеет и компилятор использует, сейчас они просто есть

Vladislav

или они уже в стдлиб где-то используются?

Ayrat

или они уже в стдлиб где-то используются?

а хз, в неткоровских либах вроде уже да

Romɑn

хаскель сложный

x

читать исключительно гроулингом

Ayrat

нашёл интересное http://www.mat.unb.br/ayala/EVENTS/JorgeAPerezCurryHoward.pdf

Ayrat

попытка наложить конкаренси на линейную логику (отсутствующий на текущий момент изоморфизм в Карри-Ховарде)

Ayrat

узнал что есть Session Types

x

я только session beer знаю

Vasily

нашёл интересное http://www.mat.unb.br/ayala/EVENTS/JorgeAPerezCurryHoward.pdf

Там матан :(

Ayrat

Там матан :(

да, я не вкурил 90%, но очень любопытно как можно решать задачу вида

Romɑn

Ayrat

а у нас есть кто из Озона?

Ayrat

у которых офис в Москва-сити

Fail

есть в основном чате

Fail

тут вроде нет

Fail

@mostdope

Ayrat

Да, нашёл уже. Мне просто безумный hr в линкед написал

Ayrat

типа - срочно надо переводить озон на неткор в докер, нет времени объяснять

Fail

меня кстати озон забраковал :D

Ayrat

хотел полюбопытствовать, они там к F# относятся

Romɑn

хотел полюбопытствовать, они там к F# относятся

никак

Romɑn

я уже спрашивал

Hog

вот вы тут за ночь понаписали! еле осилил!

Vasily

Что значит за ночь, Григорий?

Hog

ну :) у меня-то утро

Vasily

Ну у нас-то нет

Bonart

типа - срочно надо переводить озон на неткор в докер, нет времени объяснять

На тебя у них бабла не хватит

Ayrat

На тебя у них бабла не хватит

главная проблема - пилить старый добрый SQL + C# это так уныло

Romɑn

главная проблема - пилить старый добрый SQL + C# это так уныло

Невыносимо

Hog

да некоторые и ночами тут :)

Ayrat

Вот ключевые навыки для этой вакансии Ключевые навыки: - MS SQL Server - Transact-SQL - MS SQL - JavaScript - C# - ASP.NET - .NET Framework - MVC - .net core навевают тоску с одного прочтения

Ayrat

прям болотом пахнуло

Vasily

Ну там болото и есть, в общем-то

Bonart

Ну там болото и есть, в общем-то

Там еще гошечка

Hog

прям болотом пахнуло

Это ещё по-божески...

Vasily

БОльшой объем данных, круды, орм какая-нить

Vasily

типа еф

Hog

Classic ASP + VBScript

Ayrat

БОльшой объем данных, круды, орм какая-нить

Ну вот да. Generic Enterprise C# Project

Vasily

Они все одинаковые

Vasily

Вообще не отличаются

Ayrat

Прям вот хочется уволиться сразу ещё до принятия на работу!!1

Vasily

Внутри там каким-нить msmq и wcf перевязано

Vasily

И главное - НИЧЕГО НЕ ТРОГАТЬ

Vasily

ИБО ВЗОРВЕТСЯ

Romɑn

Внутри там каким-нить msmq и wcf перевязано

Блиииин, ты умеешь ещё больше удручить))

Vasily

У меня на прошлой работе такой процессинг был

Bonart

Внутри там каким-нить msmq и wcf перевязано

Главное, чтобы не soap-интероп с явой

Vasily

Главное, чтобы не soap-интероп с явой

Ну это во внешние системы

Hog

Главное, чтобы не soap-интероп с явой

адъ

Bonart

Ну это во внешние системы

Это еще под неткором не работает толком

Ayrat

Вот вам затравка из вакансии: У нас довольно много ключевого кода написано на на C# и MSSQL, мы хотим продолжать использовать .net, пусть это не очень типично для интернет-компаний, но хотим все переделать в сторону микросервисов. Т.е. будет .net core, работающая на Linux, в Docker контейнерах, в Kubernetes. Часть сервисов будут на .net часть на Go, из контейнера будет торчать gRPC, по которому взаимодействуют микросервисы.

Vasily

О, gRpc

Vasily

ВОТ ОНА

Bonart

Вот вам затравка из вакансии: У нас довольно много ключевого кода написано на на C# и MSSQL, мы хотим продолжать использовать .net, пусть это не очень типично для интернет-компаний, но хотим все переделать в сторону микросервисов. Т.е. будет .net core, работающая на Linux, в Docker контейнерах, в Kubernetes. Часть сервисов будут на .net часть на Go, из контейнера будет торчать gRPC, по которому взаимодействуют микросервисы.

Для тебя это большой шаг назад

Vasily

ЗАМЕНА WCF

Ayrat

Для тебя это большой шаг назад

да я даже не рассматриваю) хотел просто узнать как в озоне