λоλторт:
задачи на собеседованиях помогают понять, умеет ли человек своей головой думать

в этом плане для интервьюера даже лучше, если человек изначально решения не знает

тогда можно проследить ход мыслей собеседуемого

Слава:
А интервьюер сам умеет, или его сюда по иному принципу взяли?

С одной стороны, я как бы за академичность, с другой - ну-ка, суки, давайте-ка выкиньте тогда Линукс и прочую инженерию в духе "good enough", которой вы так радостно пользуетесь (особенно мыскль). И переходите на FreeBSD, а то и на Hurd. Будьте последовательны.

Охуенный подход. Спрашивать человека о том, чего он гарантированно не знает. А вы кого берете-то, и в курсе ли вы, как работает человеческое мышление в моменты делания чего либо?

Если не в курсе, поясняю: человек делает то, что он умеет делать, и делает это так, как он умеет делать. Именно поэтому все успешные языки похожи на сраную сишечку - потому что её умеют программисты, те, что есть. Именно поэтому так популярен питон - его студентишки учат, а потом сразу его знают и пишут на нем километры кода на своей дата сцаенс работе. И поэтому же js жил, жив и жить будет - его уже умеют. То есть, более продуктивным и разумным возможно было бы заявить "так, программистишки, с завтрашнего дня начинаем учить Окамл, и будет на нем писать под браузер (компилируя в js)". Но этого никто не делает, потому что знают - подход не взлетит. А на собеседованиях глумиться - это как здрасьте. Я полагаю, что это от природного мазохизма физматов - в то время, как будущие юристы трахали одноклассниц и одноклассников, физматы учились, вот и привыкли к долготерпению и страданиям.

Откуда ты знаешь, ты собеседовал, и проводил допросы достаточного количества собеседующих?

Неа, ничо там не исправляли.
Вот pijul, как раз, и есть почти что darcs (какой-то одной фичи не хватает), но с оптимальными алгоритмами.

However, Pijul's pristine format was designed to comply with axioms on a specific set of operations only.
As a result, some of darcs' features, such as darcs replace, are not (yet) available.
https://pijul.org/manual/why_pijul.html

И по-русски: https://habr.com/ru/company/mailru/blog/461321/

Am i imagining it, or is this a reincarnation of an old soundness hole in Java's type system, which also hinged on uninstantiable witness types:

https://stedolan.net/java-unsoundness/

Timofey Zakrevskiy, [28.07.19 17:16]
А можно перевод на человеческий - откуда слово final в final encoding?

Nick Ivanych, [28.07.19 17:17]
[In reply to Timofey Zakrevskiy]
Можно считать, что ниоткуда.
Что-то типаа "другое представление, чем initial".

Timofey Zakrevskiy, [28.07.19 17:18]
Initial == явные конструкторы?

Nick Ivanych, [28.07.19 17:18]
[In reply to Timofey Zakrevskiy]
типатого.

Timofey Zakrevskiy, [28.07.19 17:19]
А где тогда Чёрч в этом спектре?

Timofey Zakrevskiy, [28.07.19 17:20]
И, идя по стопам Кантора, есть ли представление между initial и final?

Nick Ivanych, [28.07.19 17:24]
[In reply to Timofey Zakrevskiy]
Скорее всего, вы имеете в виду Бёма-Берардуччи.
И "где" он, я чотта даже и не знаю, что ответить ;-)
И что такое "между" ;-)
Это не есть какая-то линия, вдоль которой всё выстраивается.

Kirill Valyavin, [28.07.19 17:24]
[In reply to Timofey Zakrevskiy]
final — финальное представление, т. е. такое, которое уже не надо интерпретировать. Сразу семантика

Nick Ivanych, [28.07.19 17:29]
[In reply to Timofey Zakrevskiy]
Олег сказал "We call this approach final (in contrast to initial) because we represent each object term not by its abstract syntax, but by its denotation in a semantic algebra"

Vyacheslav Shebanov:
Дженерики это кусок системы типов

Важный

На эту тему очень интересный пейпер https://lucacardelli.name/Papers/OnUnderstanding.A4.pdf
On Understanding Types,
Data Abstraction, and Polymorphism

Alexander Tchitchigin:
Нет системы типов - нет проблемы. Динамические языки (Terra в том числе) этим пользуются, заменяя генерики макросами, например.

Кроме того, насколько я могу судить, генерики в смысле параметрического полиморфизма трудно подружить с ad-hoc полиморфизмом и наследованием. Нет наследования - тоже нет проблем.

https://t.iss.one/rust_offtopic/52333

Bogdan:
Юзай крейт webview

Правда чуваки обычно его форкают, и что-то добавлют свое, те кто юзает.

Работает очень классно. Весит ехе мало, проц не нагружает, как электрон.

Из минусов, под разными OS разный рендер, под виндой Edge, под линухой gtk-webkit, под макосью чет 3е, не помню что

Пример

https://github.com/Freaky/Compactor

https://t.iss.one/rust_offtopic/52353
Bogdan:
не хватает контекстной инфы, кстати, в ошибках хруста

какого-то аналога стектрейса

Alex Ilizarov:
А я видел крейт который эту проблему решает

Bogdan:
хотя-бын омер стороки где ьросили а в идеале в каждом месте вызова ? добавлять строку текущую в список

Alex Ilizarov:
https://github.com/mitsuhiko/better-panic

Graph data structure library for Rust

https://github.com/bluss/petgraph

Python vs Rust for neural network implementation

https://ngoldbaum.github.io/posts/python-vs-rust-nn/

https://t.iss.one/haskell_blah/107309

λeonid Onokhov:
пока всякие псевдо-академики занимаются ерундой типа информатики, настоящие учёные занимаются настоящей наукой

Anton Trunov:
неплохо) я б такую картинку с петухом хотел бы для коллекции

λeonid Onokhov:
петух, в отличии от страуса, плохая модель для динозавра

Alex Gryzlov:
приделывают к страусу вторые крылья?

λeonid Onokhov:
типа того https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1006846

господи, там даже видео есть

Alex Gryzlov:
в качестве саундтрека надо было наложить музыку Штрауса

Anton Trunov:
летим со мной, там столько вкусного

https://t.iss.one/rust_offtopic/52516

Alex Zhukovsky, [31.07.19 19:40]
Use foldMap to detect whether a given IndexedSeq[Int] is ordered. You’ll need to come up with a creative Monoid.
foldMap это def foldMapV[A,B](v: IndexedSeq[A], m: Monoid[B])(f: A => B): B


я не решил
есть вариант что это Monoid[Option[(Int, Int, Boolean)]], но тоже не факт
Проблема в том, что единицей в моноиде должен быть пустой ренж, который всегда упорядочен по сравнению с любым другим
но сравнивать нужно по непустып ренжам в которых должны быть элементы
Короче, тут три кейса: пустой ренж, ренж из одного элемента (чтобы создать его) и все остальное
а для моноида должно быть два: база и индукция

Nikita Vilunov, [31.07.19 19:52]

mapping = i => (i, true)

def zero: (Int, Bool) =
  (-INF, true)
def op((a, b): (Int, Bool), (c, d): (Int, Bool)) =
  (c, b && d && (c >= a))

λоλторт, [31.07.19 19:55]
data Ordered n = Last n | Unordered | Mempty
deriving Show



*Main Lib> foldMap (Last @Int) [1, 2, 3]
Last 3
*Main Lib> foldMap (Last @Int) [1, 2, 3, 1]
Unordered
*Main Lib> foldMap (Last @Int) []
Mempty

думаю с имплементацией моноида сам справишься

Alex Zhukovsky, [31.07.19 20:09]
оно ведь не будет правильно работать
(3,(2,4)) != ((3,2),4)

Nikita Vilunov, [31.07.19 20:11]
🤔
Это получается ещё ловер баунд надо хранить

Alex Zhukovsky, [31.07.19 20:12]
да
как я изначально хотел
И в твоем случае еще учитывать что идентити может справа быть

Nikita Vilunov, [31.07.19 20:14]
Во, малаца

λоλторт, [31.07.19 20:18]
тогда так

data Ordered n = Ordered n n | Unordered | Mempty
deriving Show