Возможно, потому что f* компилится в F#!?

Когда я последний раз интересовался, то в F* было все сложно с F# таргетом.

Когда я последний раз интересовался, то в F* было все сложно с F# таргетом.

Стало больше неопределенности! Когда ты последний раз интересовался?)

Стало больше неопределенности! Когда ты последний раз интересовался?)

Пару лет назад.

Там интересные вещи всплывали, например, вот это предложение: https://github.com/fsharp/fslang-suggestions/issues/597

https://www.openfsharp.org/speakers/william-blum/

Тут тоже нет упоминаний F*.

@neftedolla, злодей. Втянул меня в спор! :)

Возможно, потому что f* компилится в F#!?

А разве f* не написан на f#? (судя по сорцам)

@neftedolla, злодей. Втянул меня в спор! :)

Значит я попутал. Сорри

А разве f* не написан на f#? (судя по сорцам)

Там интересно. Насколько я понял, изначально так и было, но после появления OCaml таргета исходники F* экстрактят в OCaml и собирают уже им.

Сейчас из INSTALL.md даже упоминания F# пропали.

Там интересно. Насколько я понял, изначально так и было, но после появления OCaml таргета исходники F* экстрактят в OCaml и собирают уже им.

Они видимо что-то еще на лету меняют, тк в сорцах (как минимум) .net синтаксис дженериков

У нас на работе внутренне соревнование по AdventOfCode - кто быстрее решит очередную головоломку. Для этого надо встать в полночь по восточно-американскому времени (06:00 CET), прочитать задачу и побытрее отправить ответ. Я все делаю на фшарпе, пока что на втором месте (лидер тоже все на фшарпе пишет). Поняв, что много времени уходит на простые вещи (парсинг строк, компоновка результата из Seq.map / Seq.reduce и т.п.), написал вчера обобщенный решатель, в который собирался засовывать данные новых задач, чтобы убыстрить процесс. Результат? Вместо обычных 20-30 минут на задачу сегодня возился почти три часа и закончил лишь когда переписал все с нуля, без своих обобщенных алгоритмов. Довольно показательная ошибка среди разработчиков, уверовавших в то, что могут сделать обобщения дизайна на основе малой толики возможных сценариев.

всё так

Чёрт. У меня щас наушники поймали радио.

@grishace вот такое, наверное

В чат повершела тоже кинули.

@omgszer почему срань?

@grishace вот такое, наверное

ну вот крипта, проституки и наркота еще по ЦА каналов подходит

@omgszer почему срань?

потому что вообще не в тему

Хочешь, чтобы все были красивыми?

Бухай!

Я открыл вчера для себя изумительный напиток :)

Я открыл вчера для себя изумительный напиток :)

воду?

помни, губит людей не пиво...

https://www.totalwine.com/p/169819375

А есть какао в таких бутылочках?

Может быть стоит начать бизнес? Коллекционное какао и всё такое?

помни, губит людей не пиво...

тащемта в средние века так и было. В напитках брожения не плодилась всякая холера, в отличие от воды

Тоже читал про такое

Эль пили все от мала до велика

так и воду люди пили какую попало, могли вообще кладбищенскую или из отстойника. А пивовары варили из родниковой!!11

римляне вот додумались до канализации, но остальные не сразу додумались перенять опыт)

римляне вот додумались до канализации, но остальные не сразу додумались перенять опыт)

вот да. Пить свое же говно - норма была

Они там и до свинцовых труб додумались

вот да. Пить свое же говно - норма была

«Парфюмера» читал?

потом догадались срать вниз по течению, но тогда твое говно пила деревня внизу по течению!!!1

«Парфюмера» читал?

чот даж не смотрел

Книга гораздо противнее :)

Хотя всегородская оргия в кино была показана хорошо :)

вот да. Пить свое же говно - норма была

Я читал, что в какой-то момент английская (кажется?) армия получила мощнейшее преимущество, пушто у них нашелся доктор, который палкой всех заставлял руки мыть. Все остальные армии в то время стабильно страдали от дизентерии, и че-то типа 70% находились в состоянии поноса постоянно. Внезапно оказалось, что в бою срать кровью несподручно.

А его потом за магию не сожгли?

Прохладные зумерские истории

А его потом за магию не сожгли?

с чего бы?

а что это он руки заставлял мыть

@Liminiens 🎂

@Liminiens 🎂

Спасибо

с чего бы?

до конца 19 века докторам считалось неприлично мыть руки

до конца 19 века докторам считалось неприлично мыть руки

неприлично еще не повод для сожжения

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

так что могли и сжечь

https://www.polygon.com/2020/12/4/21575914/cyberpunk-2077-release-crunch-labor-delays-cd-projekt-red

лучше б на год его перенесли

https://www.totalwine.com/p/169819375

хреновая водка, иллюстрация ))

хреновая водка, иллюстрация ))

🤣🤣🤣

Скорее охренительная :)

@vilinski чувствуешь разницу? :)

охреневал уже?

Ага:)

лучше б на год его перенесли

Ну ты чо, инвесторам нужно отбить свои деньги!)

https://dtf.ru/games/274264-fantazii-stolknulis-s-realnostyu-obzor-cyberpunk-2077?from=rss

https://www.polygon.com/2020/12/4/21575914/cyberpunk-2077-release-crunch-labor-delays-cd-projekt-red

Да в первый раз, что ли. Они уже говорили, что это просто стиль разработки такой, для сильных духом. Не нравится — пущай увольняются.

С другом стороны, эти хотя бы не хвалятся сотней часов в неделю, как чувак из рокстар. И на том спасибо.

Дак они вроде говорили, что кранчей не будет? А вообще, так во всей игровой индустрии (а если честно везде).

Кста, там хоть платят за переработку? Или как обычно за 40 часов, но без кранчей у нас тут не принято?

Дак они вроде говорили, что кранчей не будет? А вообще, так во всей игровой индустрии (а если честно везде).

Мало ли что они говорили

Да я понимаю.

Если послушать кровь пот и пиксели кажется нет ни одной игры без кранча

This is the way

А это точно не из-за хуёво поставленного производственного процесса?

Ну знаешь со стороны нам удобно дискутировать, а внутри же идут разные процессы

А чем принципиально отличается от разработки пользовательского приложения аналогичного объёма?

Кто то кого то любит, кто то нет. Кто то кого-то бесит. У кого-то ипотека и ребёнок родился. Главный босс нервничает что игра задраивается, главная фирма хочет игру и перестать тратить деньги на этих дармоедов и тд

Ну такой же же пиздец 😂

Но как минимум у нас же цикл разработки намного меньше

А чем принципиально отличается от разработки пользовательского приложения аналогичного объёма?

то что пользовательские приложения так не разрабатывают

А чем принципиально отличается от разработки пользовательского приложения аналогичного объёма?

Тем, что в играх главное это геймплей, а геймплей можно проверить только, когда в игру уже можно играть. Поэтому игру сначала пишут, а потом всё время переписывают, когда всё уже готово. :)

Это как тебя сажают писать ворд, а через два года говорят: фигня какая-то. Давай теперь это будет эксель!

Дак они вроде говорили, что кранчей не будет? А вообще, так во всей игровой индустрии (а если честно везде).

Говорили. А в сентябре перешли на 6 рабочих дней. С оплатой всё сложно, надо каждый случай отдельно смотреть. У рокстар платили, если был почасовой контракт, а если зп, то нет.