Мне кажется, что скриптовый минс конечно-типовый

вопрос в том есть ли у него средства абстракции и управления сложностью или нет

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

значит это не скриптовый язык

В некоторых скриптах два или три типа

вообще может я все не так понял и @A64m_qb0 сам объяснит

скриптовики сами виноваты, что нормального названия для своих преступлений не придумали просто проще сказать скрипт, чем Д Е М О Н И Ч Е С К И Т Е П Е З И Р О В А Н Н Ы Й Я З Ы К П Р О Г Р О М М И Р О В А Н И Я

предлагаю “атипический” (как дерматит и пневмония)

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

А такие есть?

предлагаю “атипический” (как дерматит и пневмония)

Это без синтаксиса или без значений?

А такие есть?

кому-то Хаскель таким кажется. кому-то Питон

ну хаскель понятно, а питон почему?

где там средства управления сложностью?

ну хаскель понятно, а питон почему?

потому что большим конторам удаётся писать большие программы на нём

ну, значит без средств управления сложностью можно что-то вымучить

Быстрое решение задач это когда твой синтаксис можно на магазинном автомате разобрать (а в хаскеле с типами едва тьюринг-машина справляется)

Скоро нужен оракул уже будет (надеюсь нет)

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

А такие есть?

Есть. В скале есть возможность сделать свой типизированный скриптоподобный dsl средствами языка+ всё полновесное ООП + немного ФП.

Я питон могу и на хаскеле написать, но зачем?

Есть. В скале есть возможность сделать свой типизированный скриптоподобный dsl средствами языка+ всё полновесное ООП + немного ФП.

SBT — пример такого, я правильно понимаю?

Да, почти оно. Akka-streams распологает таким для графов

Есть. В скале есть возможность сделать свой типизированный скриптоподобный dsl средствами языка+ всё полновесное ООП + немного ФП.

не то. скрипты обычно пишутся без предварительного создания DSL

Есть нано-dsl для списков/последовательностей

Странно как достоинство тьюринг-полного языка выставлять возможность написать другой язык

не то. скрипты обычно пишутся без предварительного создания DSL

Так предьява то необычная?

Странно как достоинство тьюринг-полного языка выставлять возможность написать другой язык

Не странно. Этот другой язык может лучше модюодить для ряда конкретных задач.

Странно, потому что это свойство ЛЮБОГО тьюринг-полного языка

Собственно это, в определённом смысле, это его определение

Но не в любом можно это делать удобно

И так чтобы другой язык был частью первого

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

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

неужели мы нашли человека, не видившего Божественный Лисп?

Нет, я только слышал

Ну он ж не кложурист

я тоже не кложурист. но это не мешало моему школьному преподавателю рассказывать про Схему

Ну щас-то схема мёртва

Лисп жив?

Ну щас-то схема мёртва

пользователи Racket так не думают

Из живых остался елисп, кложура и рекет (который имеет не более общего со схемой чем хаскель с haskell98)

Лисп жив?

Clojure вполне

По-моему кложуристов побольше чем скалистов

Из живых остался елисп, кложура и рекет (который имеет не более общего со схемой чем хаскель с haskell98)

CL разве всё?

Мне казалось, что он лет 20 назад всё

По-моему кложуристов побольше чем скалистов

Странно, вот у нас в городе и в стране есть легкодоступные скалотусовки. А вот про кложур один раз всего мелькала вакансия

ну SBCL вполне развивался 10 лет назад, не знаю, как сейчас

есть и живые имплементации схемы, рекетиры даже собираются использовать для рекета одну такую

ну SBCL вполне развивался 10 лет назад, не знаю, как сейчас

Они в 2к18 продолжают жить на сурсфордже

А с экосистемой и интеропом с другими языками там как?

ну, это не показатель

http://www.sbcl.org/all-news.html

@Racsicofalapatorius, в общем, под скриптовостью языка я понимал не DSL, а возможность готовыми инструментами сразу из коробки решать типовые задачи. например, про такое свойство Питона ходят легенды 1. https://xkcd.com/353/ 2. https://www.kdnuggets.com/images/cartoon-machine-learning-what-they-think.jpg

@Racsicofalapatorius, в общем, под скриптовостью языка я понимал не DSL, а возможность готовыми инструментами сразу из коробки решать типовые задачи. например, про такое свойство Питона ходят легенды 1. https://xkcd.com/353/ 2. https://www.kdnuggets.com/images/cartoon-machine-learning-what-they-think.jpg

Если считать либы = из коробки(в питоне вышеупомянутые свойства - numpy, scipy - либы) то чсх, в скале такая возможность полностью есть.

есть и живые имплементации схемы, рекетиры даже собираются использовать для рекета одну такую

plt был самым живым 10 лет назад. А щас чо? Гуил?

@Racsicofalapatorius, в общем, под скриптовостью языка я понимал не DSL, а возможность готовыми инструментами сразу из коробки решать типовые задачи. например, про такое свойство Питона ходят легенды 1. https://xkcd.com/353/ 2. https://www.kdnuggets.com/images/cartoon-machine-learning-what-they-think.jpg

ну картинка "дайв инту питон" более адекватно показывает что такое питон, чем этот хкцд комикс

Если считать либы = из коробки(в питоне вышеупомянутые свойства - numpy, scipy - либы) то чсх, в скале такая возможность полностью есть.

окей, будем считать Скалу скриптовым языком по версии @cblp

?

Структурный сабтайпинг это практически уантайпинг

С телефона сложно написать one-typing русскими буквами с шестого раза

Пиши унитипизация

Для простых смертных про структурный сабтайпинг можно?

Пиши унитипизация

Не люблю латинизмы

А англицизмы значит любишь

plt был самым живым 10 лет назад. А щас чо? Гуил?

есть работы по использованию chez для имплементации рекета

А англицизмы значит любишь

Ну, не уверен, что можно найти много работ по CS на латыни

т.е. chez достаточно живой для этого

> Stable release 9.5 / October 2017

И это минорный релиз

Зато у латыни куда более почтенная история заимствований в язык

Ну, не уверен, что можно найти много работ по CS на латыни

Бля, прикиньте доки для хаскеля писать на латыни

Это же будет божественно

В мире будет небольшой круг просвещенных. Человек 5

Тайное братство

Ух

Зато у латыни куда более почтенная история заимствований в язык

Тогда надо уж греческий

Можно и так

Тайное братство

Это братство все либы само будет писать, впятером, тайно?

Это братство все либы само будет писать, впятером, тайно?

Конечно. Иллюминати

Книги, либы, Temple Os

Бля, прикиньте доки для хаскеля писать на латыни

Былоб круто. Дико востребованный софт и оф дока только на латыни

Былоб круто. Дико востребованный софт и оф дока только на латыни

О, это еще лучше

Латынь скучно, это ж попса

Латынь скучно, это ж попса

Нет, латынь - это классика

Былоб круто. Дико востребованный софт и оф дока только на латыни

Еще надо папу функционального пожизненно избирать

Латынь скучно, это ж попса

Эльфийский?

Нет, латынь - это классика

Греческий классика, а вот латынь попса

Эльфийский?

Язык мая

Ещё вариант: язык придумать, а компилятор запретить лицензией. Фантомный такой язык.

что тут началось?

Ещё вариант: язык придумать, а компилятор запретить лицензией. Фантомный такой язык.

Лол

Так, идите-ка в _blah

Так, идите-ка в _blah

Давай ссылку

что тут началось?

Утро пятницы

Ссылки на полезные ресурсы: https://ruhaskell.org/links.html ; Информация о полезных ресурсах в закрепленных сообщениях.

Никто не читает закреплёнку

Никто не читает закреплёнку

Я читал..

Про закрепленку даже в закреплёнке написано!

Про закрепленку даже в закреплёнке написано!

Нет там ссылки на blah

там есть ссылка на сайт где ссылка на blah

Надо написать бота, который переодически напоминает всем про закреплёнку