E
"seL4 microkernel began its life as an abstract executable model in Haskell." это не то ?
Size: a a a
2021 February 26
s
Isabelle + C.
ΑZ
Динамисты, между прочим, совершенно правы.
как скажешь
IL
Ну с такой позиции и Раст миф со своими этими лайфтаймами. Алекс выше всё сказал, в принципе.
У Раста помимо лайфтаймов есть другие важные характеристики, ценные с практической точки зрения. Лайфтаймы действительно не такая однозначная идея, например, я её не защищаю, но если выбирать между C++ и Rust, то в плюсах слишком много легаси(разного рода, я не только про сам язык, хотя и он тоже). Новоприбывшему системному программисту просто бессмысленно брать плюсы в качестве основного языка. А с лайфтаймами можно жить. В конце-концов хуже они не делают, и до некоторой степени защищают даже.
ΑZ
для кого-то и споры на ревью являются выебонами
ΑZ
"работает же, хуле доебался" - был у меня один такой товарищ
ΑZ
Ну это просто миф про гарантии надёжности, корректности, и снижение бойлерплейта. Если бы язык действительно обладал такими характеристиками, это было бы достаточной киллер-фичей, чтобы уделать большое число мейнстримовых проектов. Но что-то мы ничего такого не наблюдаем.
"я ничего не знаю про хаскель, но все что вы говорите - мифы". Окей, как скажешь
ΑZ
экспертное мнение такое экспертное
KR
У Раста помимо лайфтаймов есть другие важные характеристики, ценные с практической точки зрения. Лайфтаймы действительно не такая однозначная идея, например, я её не защищаю, но если выбирать между C++ и Rust, то в плюсах слишком много легаси(разного рода, я не только про сам язык, хотя и он тоже). Новоприбывшему системному программисту просто бессмысленно брать плюсы в качестве основного языка. А с лайфтаймами можно жить. В конце-концов хуже они не делают, и до некоторой степени защищают даже.
Ну вот и с эффектами можно жить. Хуже они не делают и до некоторой степени защищают даже.
E
разрабатывать компилятор на haskell - это хорошая идея?
E
вообще, использование haskell для написания компилятора - это хорошая идея?
IL
вообще, использование haskell для написания компилятора - это хорошая идея?
Мне кажется, что писать компилятор на языке со сборкой мусора это не очень хорошая мысль.
E
если, допустим одну версию компилятора написать на C++, а другую версию компилятора того же языка написать на haskell, что лучше?
E
что лучше: тот компилятор, написанный на C++ или тот, который на haskell написан?
KR
Лучше с точки зрения чего? Производительности компилятора, использование памяти, поддержки, гарантий корректности, возможного присуствия УБ?
KR
А то вопросы такие
KR
Лучше - ходить пешком
E
Лучше с точки зрения чего? Производительности компилятора, использование памяти, поддержки, гарантий корректности, возможного присуствия УБ?
по всем критериям
KR
по всем критериям
Нет серебрянной пули, Хаскель будет лучше в поддержке кода и выше гарантии крректности, плюсы могут быть быстрее по выполнению и точно будут меньше памяти кушать, ибо сборки мусора нет.