Size: a a a

2021 June 16

JS

Jerzy Syrowiecki in Haskell
я не знаю. призываю специалиста по лиспам @astynax. там вроде и переменные синтаксически помечены бывают
источник

AF

Alexey Fedotov in Haskell
Еще раз подтверждает, что динамика не нужна. Настолько не нужна, что даже не существует
источник

AA

A64m AL256m qn<co... in Haskell
@kana_sama считает что нужна, но не говорит зачем
источник

к

кана in Haskell
да я писал зачем
источник

к

кана in Haskell
не буду повторять
источник

AA

A64m AL256m qn<co... in Haskell
нет
источник

LO

Leonid 🦇 Onokhov in Haskell
травмы нанесённые лиспом
источник

AP

Aleksei (astynax) Pi... in Haskell
В общем случае типизированы значения. В частных бывает всякое: http://www.sbcl.org/manual/#Handling-of-Types
источник

KV

Kirill Valyavin in Haskell
Динамика -- это культура. Да, везде можно писать мапы со строками вместо нормальных типов, и в хаскелле тоже, но на самом деле нельзя, ведь пацаны зачморят, и отвалится жопа
источник

AA

A64m AL256m qn<co... in Haskell
сначала не стал говорить, потом не стал повторять
источник

AF

Alexey Fedotov in Haskell
Гм, моя практика показывает, что всякий раз, когда люди полагаются на культуру и договоренности, люди перестают полагаться на культуру и договоренности. Ни разу такого не было, чтобы оставался выбор и все делали его в сторону рационального решения.

Сун-Цзы об этом аспекте разработки писал следующее: "Бросай своих солдат в такое место, откуда нет выхода, и тогда они умрут, но не побегут".
источник

AF

Alexey Fedotov in Haskell
Он писал. Про вещи, которые нельзя или будет очень сложно реализовать на статике.
источник

KV

Kirill Valyavin in Haskell
Во, поэтому культура динамики и требует жертв в виде отбирания у программиста нормальных типов
источник

AA

A64m AL256m qn<co... in Haskell
где?
источник

AF

Alexey Fedotov in Haskell
Не помню где, по слову эрланг можно найти, думаю
источник

AA

A64m AL256m qn<co... in Haskell
про хот релоад чтоль?
так это не про типизацию вообще а про оптимизацию представления данных в памяти
в какомнить ви8 который делает из словарей рекорды если повезет черта с два ченить горяче релоаднешь, ну и типизированный язык который представление данных не оптимизирует тож никто не мешает делать
источник

к

кана in Haskell
вот это "ничего не мешает сделать" меня абсолютно не интересует
источник

AA

A64m AL256m qn<co... in Haskell
точно так же и рефлексия, если можешь себе позволить не стирать просто не стираешь да и все, какая разница какая система типов-то?
источник

к

кана in Haskell
пилить продукт на заводе нужно уже сейчас
источник

AA

A64m AL256m qn<co... in Haskell
так вопрос вроде не на чем пилить можно а зачем однотиповой язык нужен?
источник