Телеграмм чат группы haskellru страница 16420

дататайп-констрейнты тож выкинули бы, еслиб не ХАСКЕЛЬ(*

11:54пожаловаться #1

вот ещё один шелл с типами https://www.researchgate.net/publication/221303494_A_Functional_Shell_That_Operates_on_Typed_and_Compiled_Applications, теперь на основе Clean и немножко Хаскеля вроде

11:54пожаловаться #2

Denis Gabidullin in Haskell

В Practical Foundations for Programming Languages:

Because dynamic languages are just particular static languages (with a single type),the same can be said of dynamic language

11:55пожаловаться #3

если статические типы рассматривать не как допустимые операции над данными, а как способы разделения программ на правильные и неправильные, то в динамике их 0 (кроме синтаксических правил)

11:57пожаловаться #4

кана in Haskell

а шеловый язык отличается от любого другого языка только тем что там проще программы запускать?

11:57пожаловаться #5

кана in Haskell

то есть вместо run("a", "b") можно сразу написать "a b" ?

11:57пожаловаться #6

да, я бы сказал, там файлы и программы — жители первого класса

11:57пожаловаться #7

а в идеале ещё и передавать данные между работающими приложениями, как в Apple Script

11:58пожаловаться #8

хотя это второй пункт.

первое — интерактивность. скомандовал — запустил. скомандовал — запустил.

12:00пожаловаться #9

так это в любом репле можно сделать

12:00пожаловаться #10

[

можно

12:08пожаловаться #11

[

а теперь подвяжи к этому второй пункт

12:08пожаловаться #12

[

и будет у нас hsh

12:09пожаловаться #13

[

(хотя, скорее всего такой уже есть)

12:09пожаловаться #14

не понятно, как это на практике будет выглядеть
вот что делать человеку, который, например, считает, что какой-нить кайл гиббард или спж вредны для внедрения новых фич в хаскеле?
комитетчики сами себя выбирают
процедуры импичмента для комитетчика нету
если гиббард когда-нить отротируется, но спж и марлоу постоянные комитетчики
так что извините, но все это "не нравится комитет - начни рулить с себя" это блаблабла

12:14пожаловаться #15

надо темплейтхачкель-макрос, который собирает видимые программы и генерит им сигнатуры по справке о параметрах

12:16пожаловаться #16

[

> какой-нить кайл гиббард или спж вредны для внедрения новых фич в хаскеле?
А они вредны?

12:17пожаловаться #17