Хикке и static typing

Вот, честно, не понимаю когда впадают в крайности, когда или только стакика, только хардкор, или когда называют ооп главным злом, или фп, или <любой подход>

кто такой хикке и почему его мнение должно волновать, например, меня ?

и вопрос номре два - почему он не пишет на ассемблере?

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

хикки как всегда смешной, то трансдьюсеры переизобретет, то ещё что.

Кстати, а эти трансдьюесеры имеют какое-нибудь отношение к стрелкам Клейсли?

Написал этот вопрос и сразу загуглил сам. Задумался

трансдьюсеры это же про свертки типа того что в foldl или у Эллиота в Denotational design with type class morphisms. К стрелкам отношение иметь могут, т.к. это точно профункторы, а вот к клейсли врятли.

Очередной пост для говноедов. Видео не смотрел.

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

Это все не отменяет того, что он очень умный мужик, и ко всему что он говорит стоит относиться со внимательностью

Если он такой умный, то почему не фигачит на Цэ по указателям мимо типов???

потому и не фигачит. Те кто фигачат или работают в областях, где для цэ конкурентнов нет, или не особо умные.

Мозг делает жалкие попытки натянуть сложный мир на абсолютную простую концепцию. То же самое с религиями, идеологиями и другими крайностями

Только когда пишешь на динамических языках, понимаешь прелесть статики. Впрочем, хорошо там, где нас нет.

А в чём проблема сделать foldl в динамическом языке? Или я чего-то не понял?

UPD: Нашёл пост Хикке про трансдюсеры. Это Foldable с каррированием что ли?

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

Это как https://hackage.haskell.org/package/foldl или https://hackage.haskell.org/package/folds или в дервнющей статье Эллиота (где он и то был не первым).

In his famous and well-regarded talk, Simple Made Easy, Rich Hickey says
What’s true of every bug found in the field?
[Audience reply: Someone wrote it?] [Audience reply: It got written.]
It got written. Yes. What’s a more interesting fact about it? It passed the type checker.

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

Видео не смотрел

час с лишним к тому же на каком то птичьем языке - пошло оно в жопу...

не понимаю когда впадают в крайности, когда или только стакика, только хардкор

Языков с gradual typing, которые дают быстрые бинарники, что-то не особо много.

Parameterizations don't scale, one of the reasons they don't scale is that there are no labels on these parameters.

Уже не проблема с зависимыми типами

ну слушать же не значит соглашаться?

Нашел упоминание, что трансдьюсер может быть изоморфен стрелке Клейсли, но с некоторой степенью неуверенности

a -> [b]

ну лично я ушёл с clojure исключительно из-за отсутствия СТ
даже современный PHP лучше за счёт тайпхинтов и отличного тайпчекера в phpstorm

отсутствия СТ

category theory?
Так его в полной мере нигде нет.

СТ — статическая типизация

А.

- Что является правдой для большинства заболевших ВИЧ?

Ответ аудитории - У них был незащищенный половой акт с зараженными! Они пользовались общими шприцами с зараженными!

- Правильно. Потому предлагаю есть с пола, пить воду с лужи и давать себя кусать комарам в Африке!

В C# есть dynamic. В Java как языке нету, но в JVM есть invokeDynamic. Но бинарники быстрые потому и когда этим никто не пользуется

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

так скорость же. если типы мешают, то вот тут как раз и типов нет, и скорость.

вообще, если честно, это криптолиспер. я честно подозреваю что «умный» и «лиспер» к одному человеку в 2017 году не прилепляются. Правда я осознал что так считаю лишь после того как Денис до того скатился к стилю анонимуса (тот который через i писался), что стал сам себя с анонимусом путать. но тем не менее, подозреваю что динамическая типизация делает с мозгом что то не шибко хорошее.

А clojure ещё жива? Скоро уже два года последнему стабильному релизу.

nailed it

если он не брезгует передёргиванием и манипуляциями, слушать имхо не стоит. Ну то есть я теперь точно не буду.

А хики баги перед релизом как раз и закрывает (по ощущениям, пушит новый мастер, а JIRA видит комменты к коммитам и закрывает issues сама). А релизы примерно так и выходят, да.

А хики баги перед релизом как раз и закрывает (по ощущениям, пушит новый мастер, а JIRA видит комменты к коммитам и закрывает issues сама). А релизы примерно так и выходят, да.

Но отсутствие даже минорных релизов как-то смущает.

чем это? всем известно, что Главный непогрешим ;)

альфы считаются?