Programming Language Design

11 November 2026 09:54

Люди, мой старший товарищ написал книгу, она может быть полезна при изучении курса "структуры данных и алгоритмы",
Книга бесплатная и на английском, автор с удовольствием отвечает на вопросы https://isa-1941.github.io/DrakonJs-Docs/drakonjs-docs/3.1.10/index.html

Programming Language Design

11 November 2026 09:39

Если вы у меня такое нашли, то я не знаю где

Programming Language Design

11 November 2026 09:33

Чо, прям с контекстами в параметрах типов?

Programming Language Design

10 November 2026 22:01

На скрине НЕ синтаксис моего языка. Это Rocq, я в нём описываю операционную семантику своего языка

Programming Language Design

10 November 2026 21:58

@hirrolot что хотели сказать своей реакцией?

Programming Language Design

07 November 2026 09:32

Многие мат.объекты существуют в реальности в некотором правильном смысле, не в Платоновском.
Кратко, как фотография и фото фото, и как фото исправленное в редакторе... и т.п.

Поиск чату "язык описания моделей"
/channel/LanguageDev/239823
/channel/LanguageDev/260345
/channel/LanguageDev/260812
/channel/LanguageDev/260829

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

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

Programming Language Design

07 November 2026 01:41

А алгебраические существуют?

Programming Language Design

06 November 2026 22:54

хорошо, что есть оффтопик чат

Programming Language Design

06 November 2026 22:51

Это как раз плохая идея. 😅

Programming Language Design

06 November 2026 22:44

у него вроде была интересная идея про граф как основу пространства-времени

Programming Language Design

06 November 2026 22:20

Вольфрам поехавший абсолютно чувак

Programming Language Design

06 November 2026 21:40

дет.садовский троллинг 👻 не интересно 🥀

Programming Language Design

06 November 2026 17:40

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

Programming Language Design

06 November 2026 16:17

Нейронки умеют и то и то. Тут вопрос конкретного места, так как игры зачастую комплексные решения.

Programming Language Design

06 November 2026 14:14

@vexoxoid , вы меня где-то спрашивали про то может ли у меня в языке быть
Tm_Sing (Tm_Var x).

Я тогда ответил что нет.

Но, получается что может, и это нормально, ведь в моём языке, определения всех Tm_Var x известны грубо говоря во время компиляции. И все Tm_Var x просто транзитивно раскрываются перед тайпчеком/эвалом.

https://github.com/paraxenoman/Kodozit/blob/main/Seos.v#L559

Programming Language Design

11 November 2026 09:52

Это агда, а не rocq, конечно, но я просто rocq не знаю и быстро накидать не смогу

Programming Language Design

11 November 2026 09:36

Не понял, перефразируйте пожалуйста

Programming Language Design

10 November 2026 22:17

На конкретный синтаксис я пока забил. У меня общий парсер и общий лексер готовы уже давно. Всякие анализаторы, вычислитель и тайпчек я ещё допиливаю паралельно с описанием в Rocq операционной семантики.

Почему допиливаю: потому что при описании семантики в Rocq вижу моменты и возможности, которые не видел при реализации языка на F#.
Например вот, при реализации на F# я почему-то не видел что дженерики можно сделать так легко.

Описывать семантику в Rocq в 999999999999999999999 раз интереснее чем заниматься реализацией🙃 Хотя в Rocq тоже получается в какой-то степени реализация - потом же экстракцию в окамл (считай F#) можно сделать.

Но я хочу описать семантику в Rocq, потом там же доказать всякие свойства типа soundness, и только потом решу вопросы с синтаксисом и доделыванием реализации на F#.

Programming Language Design

10 November 2026 22:00

Блин, синтаксис вообще непонятный.
Есть ряд языков, где открываешь и смысл сразу +- понятен, а есть где надо посидеть и подумать.

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

Programming Language Design

10 November 2026 20:29

В моём языке теперь есть дженерики и типы-суммы!

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

https://github.com/paraxenoman/Kodozit/blob/c1844040999dc2168808e24fbe4f5b700eac4aeb/Seos.v#L725

Много что исправил, убрал лишнее.

Programming Language Design

07 November 2026 03:24

Чётные доказаны, на сколько я помню; нечётные — нет и нет.

Programming Language Design

06 November 2026 23:24

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

Programming Language Design

06 November 2026 22:53

Это много слов надо и оффтопик для данного чата, и упрется вопрос по итогу в систему взглядов/мировоззрение.

Programming Language Design

06 November 2026 22:45

Про эгоманию согласна... но хочется всё-таки критику мысли, а не мыслителя. Видос позже гляну

Programming Language Design

06 November 2026 22:42

Я в целом, глобально, не по поводу видео скинутого выше:
https://youtu.be/fO9iRDPXvT4?

Programming Language Design

06 November 2026 21:42

А какую мысль вы хотели в чат принести по просмотру видео? Или просто какие-то рандомные видосы теперь кидают?

Programming Language Design

06 November 2026 21:08

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

Стивен Вольфрам
https://www.youtube.com/watch?v=AV86mJDD7mk

Programming Language Design

06 November 2026 17:37

Ну вообще-то реверс-инженеринг и декомпиляцию они действительно неплохо могут, во многом благодаря своему бесконечному терпению

Programming Language Design

06 November 2026 16:15

Вы точно не путаете дизассембл с дикомпайлом? :D

Programming Language Design

06 November 2026 13:01

сейчас пришла в голову возможно бредовая мысль, что ЛЛМ "мыслят" образом, обратным к мозгу: в мозгу нейроны моделируют некие атомы реальности (или нереальности), связи между нейронами говорят об отношениях между ними; в ЛЛМ же атомы реальности это измерения в векторном пространстве, а нейроны — отношения между ними