LINUX.ORG.RU

SICP

 


0

6

Начал читать сабж. Хм, оказывается, нотация Lisp является математической. Мой мир не будет прежним. А еще упрощенные модели тоже предлагается тоже писать на Lisp, видимо даже аналитикам.

Нотация лиспа - это нотация лиспа. Просто синтаксис настолько простой, что можно увидеть явные аналогии с языком лямбда исчисления. Но лисп - это не лямбда исчисление, в нём есть состояние, и его можно явно менять. Всё это интересно для общего развития, но стоит задуматься: если это такая крутая, математически фундированная технология, почему на неё всё забили болт?

seiken ★★★★★
()

И чтобы совсем сломать твой прошлый мир, предлагаю ещё почитать, как натуральные числа и арифметику можно представить в виде комбинаторов.

seiken ★★★★★
()
Ответ на: комментарий от seiken

почему на неё всё забили болт?

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

anonymous
()
Ответ на: комментарий от seiken

почему на неё всё забили болт?

Когда я был юн, я читал много фантастики, в основном, конечно советской. И там, разумеется, было много наивного по сегодняшним реалиям футуризма - огромные компьютеры со смехотворной производительностью, которым тем не менее удавалось решать задачи вселенской сложности. Но всегда это были задачи именно математические. Коммунисты-мечтатели несостоявшегося будущего решали какое-нибудь уравнение мю-поля или искали лекарство от смерти. Не помню такого, чтобы главный герой - программист фантастической машины «Ворошилов 134М» - не спал ночами борясь с непонятно откуда берущимися утечками памяти в спринг фреймворке, пилил какие-нибудь лендинги на ворпрессе или делал игрушку «три в ряд» на мотив звездных войн.

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

FishHook
()
Ответ на: комментарий от FishHook

Это от того, что коммунизмус про творческий (по АБС еще и про свободный) труд, а лисп про фан и научный интерес. В сношениях с битриксом мало творчества и фана, а в поисках уравнений всего - много. Как и в расчете траекторий запуска луноходов. Это сейчас все обыденность и человек давно слетал на Луну, и все ждут миссий с многоразовыми ракетами.

anon1984
() автор топика
Последнее исправление: anon1984 (всего исправлений: 1)
Ответ на: комментарий от FishHook

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

Для своего времени прекрасно представляли. И занимали. И искали способы более эффективного программирования.

seiken ★★★★★
()
Ответ на: комментарий от FishHook

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

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

Dark_SavanT ★★★★★
()
Ответ на: комментарий от Dark_SavanT

Да бога ради, вот на суперкомпьютеры и тащите свои лиспы, хаскели и прочую хрень. А мне питона с джавой хватает. Ну да, где-то есть какие-то колдуны, живущие в микромире непонятных наук, и что? Ты то к ним не относишься, ты то срешься до инфаркта что лучше снап или флетпак и принадлежишь обычному миру, а не колдунскому. Как говорил Преображенский «Двум богам нельзя служить! Невозможно в одно и то же время подметать трамвайные пути и устраивать судьбы каких-то испанских оборванцев!»

FishHook
()
Ответ на: комментарий от seiken

Это то, чем ты страдаешь. Можно по-разному называть. Еще можно назвать Эффект Даннинга-Крюгера. Человек, который нихера от слова совсем, не разбирающийся в предмете, высказывает по нему охерительно авторитетное мнение.

lovesan ★★★
()
Ответ на: комментарий от FishHook

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

А реальность куда прозаичнее: Ловсаны лают, караван прогресса идёт. В молодости мы писали на бейсике, лиспе, обероне и ада. Затем чуть повзрослев, на паскале и С. Теперь же, поняв что идеального языка нет и все зависит от задачи мы берём и питон и пхп и прости Господи js.

Obezyan
()
Последнее исправление: Obezyan (всего исправлений: 1)

Хм, оказывается, нотация Lisp является математической.

Да чо там, магической. Мистической. Алхимической. Каббалистической! Энто язык основ мироздания. Да, знаем, плавали. Начитаешься таких книжек фанбоев со смутными намеками и иллюстрациями, решишь, что за этим что-то стоит. Проходит какое-то время, и понимаешь, что ничего за этим не стоит. Нотация Lisp является математической, ну и что? Ну и ничего. Все то же можно написать хоть на JS, и даже удобнее. Авторы таких книг прям какие-то шарлатаны либо поехавшие, типа средневековых алхимиков, которые либо эксплуатируют какие-то мистические отсылки, либо реально верят в свой бред) Может быть этот мир таинственно устроен, но ни лисп, ни хаскель тут ни при чем)

goingUp ★★★★★
()
Ответ на: комментарий от anon1984

Причём тут Гитлер? Омон реально помог нам. Я как очевидец тех событий испытываю к ним только благодарность.

Вы как не очевидец можете испытывать все что хотите. Я потому и написал что мы не одинаковые.

Obezyan
()

Глеб на всех продуктах
прочитал состав
и тихонько помер
кушать перестав

да программируйте на чем хотите, если прёт
а не прёт - не программируйте

вдруг из этого что-нибудь выйдет

olelookoe ★★★
()
Ответ на: комментарий от anon1984

странно, я думал брыкаются обычно от омона а не за него

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

seiken ★★★★★
()
Ответ на: комментарий от ugoday
Дверь за служителем культа закрылась. Удовлетворенный Остап, хлопая шнурками по ковру, медленно пошел назад. Когда его массивная фигура отдалилась достаточно далеко, отец Федор быстро высунул голову за дверь и с долго сдерживаемым негодованием пискнул: 
 - Сам ты дурак! 
FishHook
()
Ответ на: комментарий от lovesan

Еще можно назвать Эффект Даннинга-Крюгера.

Его не существует лол

https://www.psychologytoday.com/intl/blog/how-do-you-know/202012/dunning-kruger-isnt-real

hateyoufeel ★★★★★
()
Последнее исправление: hateyoufeel (всего исправлений: 1)
Ответ на: комментарий от FishHook

Это уже лучше. Булгаков — настоящий писатель, говорит серьёзно даже когда шутит. Особенно когда шутит. Впрочем, с точки зрения банальной эрудиции, чтобы обсуждать SICP, нужно прочитать SICP. А с этим у вас недоработка.

ugoday ★★★★★
()
Ответ на: комментарий от ugoday

В любом случае SICP’а на clojure не будет

К сожалению, я этого не знал и фигачил упражнения на кложе в своё удовольствие %)

Конечно, не всё прям гладко идёт — с продолжениями так вообще беда. Или это была другая книжка со схемой?.. Да, Seasoned Schemer, наверное.

Nervous ★★★★★
()
Последнее исправление: Nervous (всего исправлений: 1)
Ответ на: комментарий от ugoday

В любом случае SICP’а на clojure не будет.

Да. Он теперь на Python. Не сама книга SICP, конечно, а тот курс, для которого она была материалом, теперь переведён на Python.

https://irreal.org/blog/?p=11127

По ссылке есть в т.ч. ссылка на ютуб, где Суссман объясняет зачем они выкинули лишп и почему пердон лучше.

hateyoufeel ★★★★★
()
Ответ на: комментарий от Nervous

Чтоб далеко не ходить: 3.3 Modeling with Mutable Data. Теоретически можно что-то такое наваять на атомах, но а) это будет уже совсем другая книга и б) непонятно зачем, мы не получаем никакой пользы от преимуществ clojure, зато вовсю напарываемся на её недостатки.

ugoday ★★★★★
()
Ответ на: комментарий от ugoday

не получаем никакой пользы от преимуществ clojure, зато вовсю напарываемся на её недостатки

У кложи нет недостатков! Это (неконтролируемое) использование мутабельных данных — недостаток, а кложа практически идеальна! %)

Nervous ★★★★★
()