История изменений
Исправление a--, (текущая версия) :
совершенно неожиданно для меня дискуссия хорошо пошла здесь — ну так и продолжим пока что здесь
Идти нужно от рантайма (пример - Seastar Framework) (модель памяти, модель данных, модель вычислений),
для меня язык программирования — это прикладная теория познания (прикладная онтология); если у тебя есть потребность внятно, эффективно (по людям) и эффективно (по железу) управлять распределенным состоянием и ты приспособил для этого свои 3 модели, то можно присобачить прикладную онтологию и к твоим 3 моделям, но мне в общем-то почти пофиг к чему ее присобачивать
на самом деле не совсем пофиг, так как управлять распределенным состоянием полезно, денежно, и наконец именно конкретные use cases дают возможность делать полезные теоретические обобщения; последнее особенно важно потому, что сформированной прикладной онтологии у меня нет (хотя идеи есть), и я собрался ее делать «на ходу»
типа твоего «статически типизированного Erlang»
Erlang не мой, я просто разместил объяву (С)
вокруг которого уже и строить какой-нибудь диалект существующего языка
нет
я не знаю ни одного приличного языка (в смысле прикладной онтологии, привязанной к языку программирования); всякие агды-коки-идрисы на мой взгляд ужасны с прикладной точки зрения — да и ты явно не агду имел в виду, когда говорил о «диалекте существующего языка»
Исправление a--, :
совершенно неожиданно для меня дискуссия хорошо пошла здесь — ну так и продолжим пока что здесь
Идти нужно от рантайма (пример - Seastar Framework) (модель памяти, модель данных, модель вычислений),
для меня язык программирования — это прикладная теория познания (прикладная онтология); если у тебя есть потребность внятно, эффективно (по людям) и эффективно (по железу) управлять распределенным состоянием и ты приспособил для этого свои 3 модели (я правильно думаю?), то можно присобачить прикладную онтологию и к твоим 3 моделям, но мне в общем-то почти пофиг к чему присобачивать
на самом деле не совсем пофиг, так как управлять распределенным состоянием полезно, денежно, и наконец именно конкретные use cases дают возможность делать полезные теоретические обобщения; последнее особенно важно потому, что сформированной прикладной онтологии у меня нет (хотя идеи есть), и я собрался ее делать «на ходу»
типа твоего «статически типизированного Erlang»
Erlang не мой, я просто разместил объяву (С)
вокруг которого уже и строить какой-нибудь диалект существующего языка
нет
я не знаю ни одного приличного языка (в смысле прикладной онтологии, привязанной к языку программирования); всякие агды-коки-идрисы на мой взгляд ужасны с прикладной точки зрения — да и ты явно что-то не агду имел в виду, когда говорил о «диалекте существующего языка»
Исправление a--, :
совершенно неожиданно для меня дискуссия хорошо пошла здесь — ну так и продолжим пока что здесь
Идти нужно от рантайма (пример - Seastar Framework) (модель памяти, модель данных, модель вычислений),
для меня язык программирования — это прикладная теория познания (прикладная онтология); если у тебя есть потребность внятно, эффективно (по людям) и эффективно (по железу) управлять распределенным состоянием и ты приспособил для этого свои 3 модели (я правильно думаю?), то можно присобачить прикладную онтологию и к твоим 3 моделям, но мне в общем-то почти пофиг к чему присобачивать
на самом деле не совсем пофиг, так как управлять распределенным состоянием полезно, денежно, и наконец именно конкретные use cases дают возможность делать полезные теоретические обобщения; последнее особенно важно потому, что сформированной прикладной онтологии у меня нет (хотя идеи есть), и я собрался ее делать «на ходу»
типа твоего «статически типизированного Erlang»
Erlang не мой, я просто разместил объяву (С)
вокруг которого уже и строить какой-нибудь диалект существующего языка
нет
я не знаю ни одного приличного языка (в смысле прикладной онтологии, привязанной к языку программирования); всякие агды-коки-идрисы на мой взгляд ужасны с прикладной точки зрения — да и ты явно что-то не похожее на агду видимо имел в виду, когда говорил о диалекте существующего языка
Исправление a--, :
совершенно неожиданно для меня дискуссия хорошо пошла здесь — ну так и продолжим пока что здесь
Идти нужно от рантайма (пример - Seastar Framework) (модель памяти, модель данных, модель вычислений),
для меня язык программирования — это прикладная теория познания (прикладная онтология); если у тебя есть потребность эффективно и внятно управлять распределенным состоянием и ты приспособил для этого свои 3 модели (я правильно думаю?), то можно присобачить прикладную онтологию и к твоим 3 моделям, но мне в общем-то почти пофиг к чему присобачивать
на самом деле не совсем пофиг, так как управлять распределенным состоянием полезно, денежно, и наконец именно конкретные use cases дают возможность делать полезные теоретические обобщения; последнее особенно важно потому, что сформированной прикладной онтологии у меня нет (хотя идеи есть), и я собрался ее делать «на ходу»
типа твоего «статически типизированного Erlang»
Erlang не мой, я просто разместил объяву (С)
вокруг которого уже и строить какой-нибудь диалект существующего языка
нет
я не знаю ни одного приличного языка (в смысле прикладной онтологии, привязанной к языку программирования); всякие агды-коки-идрисы на мой взгляд ужасны с прикладной точки зрения — да и ты явно что-то не похожее на агду видимо имел в виду, когда говорил о диалекте существующего языка
Исправление a--, :
совершенно неожиданно для меня дискуссия хорошо пошла здесь — ну так и продолжим пока что здесь
Идти нужно от рантайма (пример - Seastar Framework) (модель памяти, модель данных, модель вычислений),
для меня язык программирования — это прикладная теория познания (прикладная онтология); если у тебя есть потребность эффективно и внятно управлять распределенным состоянием и ты придумал для этого свои 3 модели (я правильно думаю?), то можно присобачить прикладную онтологию и к твоим 3 моделям, но мне в общем-то почти пофиг к чему присобачивать
на самом деле не совсем пофиг, так как управлять распределенным состоянием полезно, денежно, и наконец именно конкретные use cases дают возможность делать полезные теоретические обобщения; последнее особенно важно потому, что сформированной прикладной онтологии у меня нет (хотя идеи есть), и я собрался ее делать «на ходу»
типа твоего «статически типизированного Erlang»
Erlang не мой, я просто разместил объяву (С)
вокруг которого уже и строить какой-нибудь диалект существующего языка
нет
я не знаю ни одного приличного языка (в смысле прикладной онтологии, привязанной к языку программирования); всякие агды-коки-идрисы на мой взгляд ужасны с прикладной точки зрения — да и ты явно что-то не похожее на агду видимо имел в виду, когда говорил о диалекте существующего языка
Исправление a--, :
совершенно неожиданно для меня дискуссия хорошо пошла здесь — ну так и продолжим пока что здесь
Идти нужно от рантайма (пример - Seastar Framework) (модель памяти, модель данных, модель вычислений),
для меня язык программирования — это прикладная теория познания (прикладная онтология); если у тебя есть потребность эффективно и внятно управлять распределенным состоянием и ты придумал для этого свои 3 модели (я правильно думаю?), то можно присобачить прикладную онтологию и к твоим 3 моделям, но мне в общем-то почти пофиг к чему присобачивать
(на самом деле не совсем пофиг, так как управлять распределенным состоянием полезно, денежно, и наконец именно конкретные use cases дают возможность делать полезные теоретические обобщения; и самое главное — сформированной прикладной онтологии у меня нет, и я собрался ее делать «на ходу»)
типа твоего «статически типизированного Erlang»
Erlang не мой, я просто разместил объяву (С)
вокруг которого уже и строить какой-нибудь диалект существующего языка
нет
я не знаю ни одного приличного языка (в смысле прикладной онтологии, привязанной к языку программирования); всякие агды-коки-идрисы на мой взгляд ужасны с прикладной точки зрения — да и ты явно что-то не похожее на агду видимо имел в виду, когда говорил о диалекте существующего языка
Исходная версия a--, :
совершенно неожиданно для меня дискуссия хорошо пошла здесь — ну так и продолжим пока что здесь
Идти нужно от рантайма (пример - Seastar Framework) (модель памяти, модель данных, модель вычислений),
для меня язык программирования — это прикладная теория познания (прикладная онтология); если у тебя есть потребность эффективно и внятно управлять распределенным состоянием и ты придумал для этого свои 3 модели (я правильно думаю?), то можно присобачить прикладную онтологию и к твоим 3 моделям, но мне в общем-то почти пофиг к чему присобачивать
(на самом деле не совсем пофиг, так как управлять распределенным состоянием полезно, денежно, и наконец именно конкретные use cases дают возможность делать полезные теоретические обобщения)
типа твоего «статически типизированного Erlang»
Erlang не мой, я просто разместил объяву (С)
вокруг которого уже и строить какой-нибудь диалект существующего языка
нет
я не знаю ни одного приличного языка (в смысле прикладной онтологии, привязанной к языку программирования); всякие агды-коки-идрисы на мой взгляд ужасны с прикладной точки зрения — да и ты явно что-то не похожее на агду видимо имел в виду, когда говорил о диалекте существующего языка