а картинку оставим

а картинку оставим

упс, не тот чат

тот чат, картинку убрал кто-то другой

возможно автор сообщения

возможно автор сообщения

ага, так как контекст потерялся видимо

там такая картинка, что у неё всегда есть контекст, если есть сообщения вокруг

> FWIW, GHC will have a dependency on text soon, so I don't think a dependency on text is terrible.

Семён Марлов пишет такое

А кто-нибудь использовал protolude?

да (в виде universum)

о, не знал, что universum на ней основан

https://github.com/harpocrates/inline-rust

как макбрайд юзает idiom brackets в хаскелл? я у него видел на докладе

он написал препроцессор she для этого

https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/

уже нашел

то есть я его могу у себя включить?

блин они там так же по дурацки парсер сдели как в inline-c

блин они там так же по дурацки парсер сдели как в inline-c

напиши им

нет

Haskell классный язык потому что глупых программистов на нем не бывает. Его настолько сложно компилировать, что если программа скомпилировалась, то работать-то она уж точно будет. http://tonsky.livejournal.com/281876.html

#anime а кто летал в Киев на конфу из РФ —- поделитесь (приватом) как прошло? Знаю, что кое-кого завернули

>Его настолько сложно компилировать, что если программа скомпилировалась, то работать-то она уж точно будет Лол.

А всё что легко компилировать задолбёшся отлаживать, если конечно не писать тесты в режиме разработки через тестирование :(

Haskell классный язык потому что глупых программистов на нем не бывает. Его настолько сложно компилировать, что если программа скомпилировалась, то работать-то она уж точно будет. http://tonsky.livejournal.com/281876.html

Про эрланг доставило

+1 насчёт эрланга, до сих пор ору.

Про эрланг доставило

про ноду доставило) вот продолжение — https://tproger.ru/translations/im-harvesting-credit-card-numbers-and-passwords-from-your-site-heres-how/

про ноду доставило) вот продолжение — https://tproger.ru/translations/im-harvesting-credit-card-numbers-and-passwords-from-your-site-heres-how/

Перевод

Оригинал вбрасывали

Уже

емнип

* почесал нос и согласился с тем что слоупок *

А может это было в другом чате

Мне интересно мнение людей про Go

Просто мне нравится этот язык но xочу Haskell выучить

уходи из этого чата

"Не место для гоферов

Просто Go как по мне очень продуктивный язык

И type system там как по мне интересная

Просто Go как по мне очень продуктивный язык

Хороший язык для тех кто с не осилил

слишком толсто

И type system там как по мне интересная

да, особенно дженерики

Мне интересно мнение людей про Go

Лучше питона

Мне нравится что у Go фокус на simplicity

Simplicity это как в брейнфаке?

ну, любой типизированный языка лучше любого нетипизированного

Мне нравится что у Go фокус на simplicity

Из неё тонны кода придётся писать

Можно abstract этот код

И пиши меньше

ну, любой типизированный языка лучше любого нетипизированного

паскаль лучше лиспа?

В библиотеку к примеру

Мне нравится что у Go фокус на simplicity

simplicity is hard

ну, любой типизированный языка лучше любого нетипизированного

А если в типизированном языке нету замыканий?

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

https://www.youtube.com/watch?v=rFejpH_tAHM

как раз tlk есть про это

Ппц пайк на задорнова похож

А если в типизированном языке нету замыканий?

все равно

Можно abstract этот код

покажи, как абстрагировать быструю сортировку в Go

паскаль лучше лиспа?

конечно лучше

По моему наличие замыканий важнее типизированности

покажи, как абстрагировать быструю сортировку в Go

То есть?

можно все вывесте к одному function call

можно все вывесте к одному function call

в Го нельзя, насколько я знаю. просто покажи мне эту одну функцию

Ну сделать функцию that takes an interface and does sorting on it

Почему нельзя

ERROR: S client not available

Все turing complete,разве нет?

вот так же на го с дженериками пишут https://twitter.com/yogthos/status/883058510275149826

покажи, как абстрагировать быструю сортировку в Go

на си же можно

на си можно все инты кастить друг к другу

можно, только если выкинуть типы

а что на Го нельзя?

а для того, что не кастится, приходится делать то же, что и в го - реализовывать функции сравнения для всех нужных типов

а что на Го нельзя?

нет

на го нет - нет неявного приведения между целыми типами, только явное

на го нет - нет неявного приведения между целыми типами, только явное

будто что-то плохое ?

ну явное то есть

этого достаточно

нет неявного приведения между целыми типами, только явное

что значет не явное

ну просто вот по этой причине и получается, что для сравнения двух интов32 нужна одна функция, а для сравнения двух интов16 другая

в случае квиксорта это не так страшно

func cmp(x, y int64) { } var a, b int32 cmp(a, b) // ошибка

в обобщённую функцию сортировки инт32 можно передать функцию сравнения инт16, и всё разъедется

ну функции сортировки по идее все равно должно быть, она может с аргументами оперировать как interface{}

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

а вот функция сравнения должна работать именно с тем, что в в контейнере лежит

ну функции сортировки по идее все равно должно быть, она может с аргументами оперировать как interface{}

когда мы кастуем к interface{}, язык становится нетипизированным

когда мы кастуем к interface{}, язык становится нетипизированным

ну да

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

ну так а в си так и живут - там в квиксорте void *

который и есть тот же interface{}

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

в Хаскеле такого тоже нет, а типизация есть

потому что в хаскелле у контейнера есть указание на тип содержимого. А в го нету

ну так а в си так и живут - там в квиксорте void *

си — язык не для написания руками уже давно

а вот это было обидно

да наверно. Но мне нравится ковыряться руками во всякой подобной ерунде 8)

ну, в массе. отдельные извращенцы всегда найдутся