|
|
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
kvasov Код: plaintext 1. Код: plaintext 1. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 09:07 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
_мод kvasov Код: plaintext 1. Код: plaintext 1. Здрасте... ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 10:19 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
_мод kvasov Код: plaintext 1. Код: plaintext 1. И хиде у него функции ??? Декларативный совсем не обязательно функциональный ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 11:28 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
_модSQL- это функциональный ЯП SQL не может являтся функциональным по определению. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 12:28 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
Gluk (Kazan)И хиде у него функции ??? Декларативный совсем не обязательно функциональный Конечно, но SQL декларирует именно функции. Все его "операторы" легко переписываются в функции - желающие могут попробовать (типа домашнее задание). ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 13:53 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
И хто тута Главный (in-chief) Программёр? Ниид хельп. Интим не предлагать! ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 15:06 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
_мод Gluk (Kazan)И хиде у него функции ??? Декларативный совсем не обязательно функциональный Конечно, но SQL декларирует именно функции. Все его "операторы" легко переписываются в функции - желающие могут попробовать (типа домашнее задание). И умеет создавать новые функции ??? Как у него там с ламбда-исчислением ? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 15:29 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
mini_root ... и никакого Ж - проверено на личном опыте. Ну а про то что C# это новая веха в математическом программировании - тут уж без комментариев. Ладно б F# сказали - да и то ничего нового в нем нет, кроме того что на .NET раньше ничего такого не было. Nemerle с его макросами гораздо интересней, хотя мне роднее Scala. P.S. Прежде чем говорить иногда стоит подумать. "Прежде чем говорить иногда стоит подумать" ... и ничего не говорить. ;-) Как не крути - C# есть потомок C++, Delphi и Java: так что вобрал всё лучшее из них, избавился от всего плохого и добавил что-то своё, еще не оцененное на хорошо или плохо. :-\ F# - ... да уж уже убил много времени на ЛИСП-диалекты - Рефал, Схема - действительно удобно и продуктивно выполнять символьные преобразования и более ничего. Хотя наверное для построения трансляторов - это самое то. Объявляют, что F# для учебных, научных и финансовых организаций - для любознательных и производящих из одних символов (деньги как символ ценности) другие такие же. А по жизни - тот же вопрос - зачем " F# ... - схожесть с Python. Язык наследуют его интерактивную и скриптовую часть. - схожесть со Sheme. - основы для интерактивной обработки и представлений данных, как в среде MATLAB. - строгость определений и безопасность ML - ..." так понаписать на Delphi или С++ функций и подставлять друг в дружку - вот и типа "функциональное программирование" и "чё было огород городить". Пусть Microsoft тогда и диалект Пролога под .NET выпустит. Опять и с Прологом такое же - для экспертных систем, систем принятий решеннй, систем комплексного анализа - и DataLog - как Пролог вместе с реляционной БД, но SQL в десятки раз лучше по основным аспектам и ради экзотичности зачем неудобства терпеть. SQL математичнее. Nemerle - метапрограммирование - еще более "математизированное" программирование - о чем и речь. А уже есть "промышленные" версии или на уровне изысканий? А еще был (с 90-91 года вроде) и есть язык Z (Z-спецификаций) - как-то книгу переводил (совести не хватило - переформулировать и добавить своё - и издать на русском под своим именем), когда в НИИ (в Z увидели средство для составления строгих технических заданий на программирование - тоже прикол). Так Z - это определенно математические выражения, но вот матсмысла в них осталось маловато. Хотя в USA и Canada были коллективы, которые писали трансляторы с Z на C и Pascal. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 16:23 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
Математика и физика - это всего лишь модели. Они ничем не движут в реальном мире, хотя некоторые так и считают. ВоронежскийА не наоборот: сначала вы выводите закон притяжения, а потом на вас падает яблоко В реальности 10 кандидатов на 3 должности можно избрать двумя-тремя способами, а не 720-ю, хотя комбинаторика и утверждает обратное. Математику можно продать, этим занимаются исследовательские агенства, но математика ничего не продает. Мы говорим: "данный процесс подчиняется такому-то закону", но на самом деле только математическая модель процесса может подчиняться математическому закону. Сам процесс и не знает ничего о законе, который способен в лучшем случае только "оценить погрешность сверху". Математика ничего не считает, хотя ей пользуются для того, чтобы считать. Считают слоны, вращающие жернов. Считают зарубки на дереве. Считают транзисторы в регистре. Считают счеты. Считает план выполнения, а не SQL. Все это - среды императивного исполнения с состоянием, хотя люди и изголяются как могут, чтобы от этого уйти, но помочь в этом может только опять же - императивное программирование, посредством которого создан транслятор. Самолеты тоже не летают за счет физики, или математики, хотя чтобы их сделать, и взаимодействовать с ними, была применена и та, и другая. Но птица летает получше самолета, а математики тут никакой нет. Ее можно только за уши притянуть сюда. Математика довольно точно может описать только полет ракеты на 100 метров. Все остальное делает машина с состоянием внутри ракеты. Раньше шутили авторМатематика - царица наук и служанка физики Теперь можно пошутить: "- и служанка программирования". Программирование никогда не станет математикой, потому что математика - не самая удачная модель, реального мира. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 17:27 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
Gluk (Kazan)И умеет создавать новые функции ??? Как у него там с ламбда-исчислением ? 1. select 2. Никак :) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 17:55 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
_мод Gluk (Kazan)И умеет создавать новые функции ??? Как у него там с ламбда-исчислением ? 1. select 2. Никак :) SQL никак не может являться функциональным языком, потому что задает императивные операции на базе данных (insert, update). У оператора select можно найти притянутые за уши аналогии, но это будет чушь. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 18:33 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
как пройти на форум по РСУБД оракл 9iii? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 19:44 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
rt555как пройти на форум по РСУБД оракл 9iii?ул. Верхняя, дом 3 (между интербейзом и аксессом) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.04.2008, 22:07 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
_мод Код: plaintext 1. позвольте, не бывает "функционального ЯП" бывает функциональная модель данных запись почти такая, но это не SQL, а ... скорее M интерфейс доступа к данным, он же MUMPS запись функции на диск Код: plaintext 1. функциональная м-модель записи данных простая и мощная для узких задач (была придумана в 70-е годы для записи энцефаллограммы мозга в больничке с датчиков аппаратуры) представьте какой это поток данных и какие были тогда компьютеры, и ничего пишет условно по 40 тыс. записей в сек. то что слева - всегда отсортировано как в sql-индексе, обеспечивая прямую адресацию к координате, по сути мгновенную, а то что справа - это некий строковый обьект, любой сложности- то бишь она - концепция, условно до 32 килобайтов. В одной строчке - и индекс и серилизованный обьект. это IT дебри, но иногда удобно, в этой модели к примеру сделан dindex.ru - условно все уличные оъявления Р. на автобусных остановках на одном компе один PC атлон64 выдает до 250 веб-стр/сек, а их можно поставить парраллельно на одну базу (хоть пару сотен компов) - короче в теории в классе google по мощности в квартире можно сделать на компах из киоска демо-версию конечно - просто софт чрезвычайно редкий ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 00:14 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
Lelikk BrokenPot LelikkВы с механикой имели дело когда-нить? Как вы себе представляете такую передачу и подвеску? С использованием электрической передачи (имели с ней дело когда-нибудь?) и компьтерного управления вращением всех четырех колес эта задача будет легко решена. Дело только за электрическими машинами соответсвующей эффективности. Когда такие появятся - будем ездить боком :) Мало того, что подвеска таких колес с фактически 2-мя степенями свободы (2 двигателя) - жуткое дело, требующее много места, так ведь какова будет управляемость? Устойчивость движения машины будет низкой из-за возможности болтания колес вокруг вертикальных осей (никакой комп. системой до конца не компенсируешь) + возможность возникновения автоколебаний по той же причине. И все это за призрачное удобство парковки.БелАЗы же ездят и не жужжат (почти) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 00:30 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
DocAl LelikkИ все это за призрачное удобство парковки.БелАЗы же ездят и не жужжат (почти)у Белазов-же такая система внедрена чтоб им было парковаться удобнее, правда? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 00:33 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
_мод Gluk (Kazan)И умеет создавать новые функции ??? Как у него там с ламбда-исчислением ? 1. select 2. Никак :) 1. БуГаГа 2. С отсутствием побочных эффектов очевидгл тоже ? ;) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 09:14 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
kvasov _мод Код: plaintext 1. позвольте, не бывает "функционального ЯП" бывает функциональная модель данных запись почти такая, но это не SQL, а ... скорее M интерфейс доступа к данным, он же MUMPS запись функции на диск Код: plaintext 1. ишо адын :) какое нафих ФП, если написано ПРИСВОЕНИЕ ??? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 09:19 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
Lelikkимперативные операции на базе данных (insert, update). Как посмотреть: таблица=insert|update|delete|select(аргументы) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 09:19 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
Gluk (Kazan) 1. БуГаГа 2. С отсутствием побочных эффектов очевидгл тоже ? ;) Согласен, новые функции создавать нельзя. А побочных эффектов в SQL нет и не м.б., т.к. нет переменных. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 09:25 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
_мод Gluk (Kazan) 1. БуГаГа 2. С отсутствием побочных эффектов очевидгл тоже ? ;) Согласен, новые функции создавать нельзя. А побочных эффектов в SQL нет и не м.б., т.к. нет переменных. 1. select является ФЯ построения отношений 2. SQL не является ФЯ работы с данными консенсус достигнут ? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 09:27 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
Lelikk C#C++ Cerion AlexandrPlus разве малюсенький абстрактный lock(this) не решит проблемы А за конструкцию lock( this ) в коде вообще-то нужно бить по пальцам :). Прямой путь к deadlock'ам... А написание программного кода иногда (почти всегда) приводит к ошибкам компиляции... )) Интересно, как Вы потоки синхронизируете? С помощью булевской переменной? Или это нафиг не нужно - синхронизировать потоки? Вы бы прежде чем смеяьться - почитали бы, что MS очень не рекомендует лочиться на this. По-хорошему надо создать private поля к примеру object типа и юзать его. Вот именно, я же не зря this в посте выделил :) А вообще, с определенного момента начинаешь думать не о том, где нужно использовать lock, а том где можно этот lock убрать ;) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 10:59 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
Gluk (Kazan)консенсус достигнут ? Yes ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 16:51 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
Gluk (Kazan) какое нафих ФП, если написано ПРИСВОЕНИЕ ??? а ФП это что такое? можете изобразить примерчик это линия что-ли? у=kx+c или что не ФП ? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 19:02 |
|
||
|
Программирование - всё больше математикой становится
|
|||
|---|---|---|---|
|
#18+
_мод Gluk (Kazan) 1. БуГаГа 2. С отсутствием побочных эффектов очевидгл тоже ? ;) Согласен, новые функции создавать нельзя. А побочных эффектов в SQL нет и не м.б., т.к. нет переменных. боюсь что любой оператор селект удовлетворяет определениею функции и, значит, ею является http://ru.wikipedia.org/wiki/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0) или может Глюку удавалось применять два раза один оператор селекта к одному и тому же отношению и получать два разных отношения на выходе? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.04.2008, 23:17 |
|
||
|
|

start [/forum/topic.php?fid=16&msg=35231727&tid=1345371]: |
0ms |
get settings: |
9ms |
get forum list: |
10ms |
check forum access: |
2ms |
check topic access: |
2ms |
track hit: |
169ms |
get topic data: |
11ms |
get forum data: |
3ms |
get page messages: |
59ms |
get tp. blocked users: |
2ms |
| others: | 228ms |
| total: | 495ms |

| 0 / 0 |
