@fsharp_flood - страница 2833

Vasiliy

Если сделают как там и чуть лучше будет хорошо очень.

Vasily

95 год

Vladislav

дед

Vasiliy

ну демка интересненькая была

и да, демка была хороша, и следующий билд на PAX был еще лучше! Лучше чувствовался импакт от меча

Vasily

Как ща помню, прикрываешь assault gunboat на tie fighter, а против тебя x wings

Vasily

А щитов нет

Vasiliy

у тебя прям флешбеки, по ощущениям

Vasily

Я был юн

Vasily

Не одна шариковая мышка была поломана

Vasiliy

Как ща помню, прикрываешь assault gunboat на tie fighter, а против тебя x wings

воспомнился вот этот трейлер https://www.youtube.com/watch?v=OULbMirer8E

Dmitry

Не одна шариковая мышка была поломана

rage power?

Vasily

воспомнился вот этот трейлер https://www.youtube.com/watch?v=OULbMirer8E

И такое в еве бывало

Vasily

rage power?

Там с мыши вращение

Vasily

А на шариковой было такое себе

Ayrat

Жду сквадроны

Плюсую, очень хочу

Vasily

Надо будет банду собрать

Vasily

Позарубаться

Vasiliy

о было бы классно)

Vasiliy

но меня пока напрягает, что нет геймплея

Vasily

Темными осенними вечерами, полными экзистенциальной тоски и прочей хуйни

Vasily

Геймплей там с тай файтера, походу

Vasily

Управление движками, щитами и прочим

Roman

Жду сквадроны

Бля, сначала прочитал "сканворды", долго не понимал, почему их тут все ждут

Анна

Ммм, модная тема начала двухтысячных

Danil

Это эльфийский, да ?

Doge

Плюсую, очень хочу

Мне интересно как оно в VR будет. Надеюсь, что норм реализация будет.

Doge

Это правила типизации

Anonymous

Это эльфийский, да ?

Это расширение обыкновенной логики.

Vasiliy

это чья то научная работа?

Danil

Это правила типизации

Почему не нотация map :: (a -> b) -> [a] -> [b] ?

Danil

это чья то научная работа?

https://arxiv.org/pdf/2009.06541.pdf

Doge

Почему не нотация map :: (a -> b) -> [a] -> [b] ?

Потому что это правила по которым тайпчекаются термы в данной системе типов, что-то вроде: Если в контексте Г есть значение x: T и есть значение f: T -> K, то (f x): K

Doge

Такими выражениями формально записываются правила по которым происходит тайпчек в данной системе типов.

Danil

Потому что это правила по которым тайпчекаются термы в данной системе типов, что-то вроде: Если в контексте Г есть значение x: T и есть значение f: T -> K, то (f x): K

Оно же ?

Doge

Оно же ?

Это про вывод типов. А тут речь именно про описание правил при тайпчеке: https://en.wikipedia.org/wiki/Type_rule

Danil

Ок, почитаю, я с этим почти не знаком

Doge

Ок, почитаю, я с этим почти не знаком

Там достаточно просто, это просто форма записи, которая позволяет компактно эти правила записывать.

Doge

Чтобы не надо было писать словами все эти: если в контексте Г такие-то термы имеют такие-то типы, то ...

Anatoly

Да я бы и сейчас погадал бы сканворды

Vasiliy

Ребят, сталкивался кто с такой ситуацией, хочу расширить место на диске С, но свободная область есть только за диском Д. встроенной тулзой в винду, видно ничего сделать нельзя. А расширить диск очень хочется)