This read like a troll piece. Every line rubbed me

Question

This read like a troll piece. Every line rubbed me

in some wrong way until I couldn't take it any more.

> Haskell, at its core, is simple: it is just a polymorphic lambda calculus with lazy evaluation plus algebraic data types and type classes. This happens to be just the right combination of features to allow us to write clean, maintainable code that also runs fast.

This is an explainabrag which is also wrong: languages without these features can also have "clean, maintainable code" and nothing about this list implies "runs fast."

> Memory unsafe languages, such as C, lead to the worst sort of bugs and security vulnerabilities (buffer overflows and memory leaks).

Is a memory leak meant to be the "worst sort of bug" or a "security vulnerability?"

The implication is that memory-safe languages do not have memory leaks, which is completely false. Haskell is particularly prone to "space leaks" due to its laziness.

> Memory safe languages form two groups: the ones that rely on a garbage collector, and Rust.

What a profoundly dismissive attitude. Why bring up Cyclone and not, say, Swift? Or is Swift meant to be included in "garbage collected languages?"

> Dynamically typed (or, rather, unityped)

No these are not the same and this is an absurdly wrong conflation. Dart, Objective-C, TypeScript, and others are dynamically typed languages with static type checking. You can't "or rather" this distinction away.

The author rushes past real-world facts to get to the architecture-astronaut rocket ship, solving type-theoretical problems and pretending it's an engineering exercise. Blast off, I guess.

#haskell #programming #russian

0

18.12.2018

2 ответов

24 просмотра

A64m AL256m qn<cores> I0

ну хоть пока они эти простыни с батхертом от очевидных утверждений строчат, они код не пишут, т.е. не вредят

0

18.12.2018

Ilya Chernov · Accepted Answer

>solving [...] problems and pretending it's an engineering exercise Но ведь solving problems и есть an engineering exercise >TypeScript, and others are dynamically typed languages with static type checking Из вики: >It is a strict syntactical superset of JavaScript, and adds optional static typing to the language. Так что уж либо TS – dynamically typed with optional type checking (как есть на самом деле), либо можем притвориться, что TS – (статически) типизированный язык и прописывать типы для всех сущностей программы. А у автора комментария как-то намешано того и другого

169 похожих чатов

This read like a troll piece. Every line rubbed me

2 ответов

Похожие вопросы