sab123: (Default)
[personal profile] sab123
http://www.cl.cam.ac.uk/~srk31/research/papers/kell17some-author-version.pdf

Немножко многословно, но с другой стороны эта многословность дает риторическую силу.

Вообще, конечно, никто в здравом разуме не будет отрицать, что всевозможные managed languages - не только тормозные, но и убогие по своей сути.

Date: 2017-10-24 03:16 am (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Немножко пошире надо смотреть на вещи. Например, перестать верить в аристотелеву логику как единственный способ мышления культурных людей.

Date: 2017-10-24 10:29 pm (UTC)
From: [personal profile] bowhill
Не такой однозначный вопрос. Программирование — всё же инженерная дисциплина, то есть растёт как технологическое продолжение из прикладной науки. Нет, конечно, надо иметь языки и для математики, но это просто другая область.
Edited Date: 2017-10-24 10:30 pm (UTC)

Date: 2017-10-25 12:32 am (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Ну эта вера 20-го века, например, в теорию множеств, она же несколько смешна.

Но уже есть языки, не базирующися на аристотелевой логике. Они только не рекламируют себя широко в этом смысле.

Date: 2017-10-25 01:37 am (UTC)
From: [personal profile] bowhill
Ну, скорее шутейно говорить, что сегодня без монады и гвоздь в стену не забить.

Я совершенно не сомневаюсь в разумности процесса развития математических проблем, как и в том, что они существенно взаимодействуют с реальностью. Но это не значит, что это влияет на всё и всегда. У каждой части есть свои локальные оптимумы и свои вершины. Давай на нейтральном примере скажем, что сегодня единственное, о чём ещё имеет смысл говорить, это Хиндемит, а Малер уже смешон. И что нам это даст?

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

Date: 2017-10-25 12:31 am (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Хм. Я б сказал, что она несколько заужает восприятие вещей.

Date: 2017-10-24 05:28 am (UTC)
spamsink: (Default)
From: [personal profile] spamsink
У разных инструментов есть разные сценарии применения.

January 2026

S M T W T F S
     12 3
45 6 7 8 9 10
11 12 13 14 151617
1819202122 23 24
25 26 272829 3031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 31st, 2026 12:36 pm
Powered by Dreamwidth Studios