ReSQL.ru
     
powered by simpleCommunicator - 2.0.61     © 2026 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Функциональное программирование
25 сообщений из 300, страница 12 из 12
  12  все
Функциональное программирование
    #36446739
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Машина с крыльями - метапрограммирование.
...
Рейтинг: 0 / 0
03.02.2010, 12:30:11
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446748
Фотография Gluk (Kazan)
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Gluk (Kazan)
Участник
maytonGluk (Kazan)Меньше букв - меньше возможностей написать не ту букву и больше свободного времени для других задач
Я-бы сказал - всё идёт от "лени" разработчика.

И это правильно отчего еще идти то всему ???
...
Рейтинг: 0 / 0
03.02.2010, 12:31:55
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446778
Фотография Диез
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Диез
Участник
Nitro_Junkie,

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

До аэропорта все равно придется ехать на машине
...
Рейтинг: 0 / 0
03.02.2010, 12:41:49
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446804
Nitro_Junkie
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Nitro_Junkie
Участник
Диез,

Грани нет в каком смысле? То что до аэропорта надо добраться я понимаю. Но для этого можно воспользоваться скай-трейном, не заморачиваясь объемом двигателя, понтами и т.п.

То есть декларативное программирование (SQL) само по себе, императивное (остальные) само по себе. Да у декларативного должны быть императивные черты, но их можно формализовать в "рельсы скай-трейна" и сконцентрироваться на основной части - самолете.
...
Рейтинг: 0 / 0
03.02.2010, 12:50:05
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446815
Nitro_Junkie
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Nitro_Junkie
Участник
Диез,

То есть сейчас, на практике INSERT, DELETE, UPDATE естественно слабоватые рельсы. Но вы сомневаетесь что их (и SQL в целом) можно развить до такой степени - что можно просто сесть и поехать? (то есть речь идет не о конкретно SQL а о декларативном программировании в целом)
...
Рейтинг: 0 / 0
03.02.2010, 12:52:56
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446867
Фотография 301
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
301
Участник
Nitro_JunkieДиез,

То есть сейчас, на практике INSERT, DELETE, UPDATE естественно слабоватые рельсы. Но вы сомневаетесь что их (и SQL в целом) можно развить до такой степени - что можно просто сесть и поехать? (то есть речь идет не о конкретно SQL а о декларативном программировании в целом)

конечно можно.
Лисп создавался тогда, когда еще мозг не был загажен архитектурой конкретного корча.
Все императивная разработка ушла не далеко от драйверной разработки. Многие десятилетия в этой области законодателем моды был Си и Си++.

Однако, как правильно заметил в свое время Ксеня, программисты никогда не умели по настоящему хорошо писать на ассемблере, будуйщее за декларативными и функциональными языками.
Чем менее четко ставится алгоритм решения задачи компьютеру, тем больше у него свободы для ее решения.
...
Рейтинг: 0 / 0
03.02.2010, 13:08:27
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446872
Фотография Диез
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Диез
Участник
Nitro_Junkie,

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

На одном SQL далеко не уедешь, нужен язык общего назначения, который и будет делать SQL-запросы к БД.
К примеру, на SQL (и даже на PL/SQL итд.) глупо писать пользовательский интерфейс, хотя, наверное, возможно.

Большинство ЯП общего назначения - императивные, так что от этого никуда не деться. И то, что в этих языках появляется синтаксический сахар в виде декларативных элементов - большой им плюс.

(Все таки на машине с климат-контролем ехать удобнее, чем на пешком до метро, на метро, потом на скай-трейн..).
...
Рейтинг: 0 / 0
03.02.2010, 13:09:55
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446905
Фотография 301
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
301
Участник
Диез
Да, сомневаюсь. Иначе такой язык давно бы уже придумали.


Здесь есть много но. Рынок языков программирования очень инертен.
Промышленная разработка налагает четкие требования на конвеер программистов с заменяемыми элементами и патчирование версий ( ООП ).
...
Рейтинг: 0 / 0
03.02.2010, 13:17:46
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446941
Nitro_Junkie
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Nitro_Junkie
Участник
ДиезДа, сомневаюсь. Иначе такой язык давно бы уже придумали.

А вот интересно, кто? Вы себе представляете предпосылки для его создания?

Конкретным заказчикам (их IT-отделам) это не интересно - не их профиль, большинство аутсорсеров и западных IT-компаний - работают по человеко-часам (или схожим схемам) их эффективность разработки слабо волнует, что сказал заказчик то и делают, кроме того их главные задачи как правило интеграция. Крупные компании (отделы) не занимающиеся бизнес-решениями тоже исключаем. И вообще крупные компании предоставляют гораздо меньше свобод разработчику чтобы проталкивать свои идеи, так что тоже вряд ли. У богатых компаний, как и компаний с малым количеством заказчиков, нету особого стимула что-то совершенствовать. Программирование никогда не считалось наукой, "исследовательских" лабораторий по ним нету, формального базиса тоже. Так что я бы поостерегся так говорить :)
...
Рейтинг: 0 / 0
03.02.2010, 13:28:30
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446944
Nitro_Junkie
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Nitro_Junkie
Участник
Диез,

А да... И самое главное, то что сказал 301... Очень сильный консерватизм и инертность самих программистов :)
...
Рейтинг: 0 / 0
03.02.2010, 13:29:43
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36446984
Nitro_Junkie
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Nitro_Junkie
Участник
Диез,

Пользовательский интерфейс - это тоже часть "рельс"

(Но все равно дольше и дороже)
...
Рейтинг: 0 / 0
03.02.2010, 13:38:44
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36447018
Фотография Диез
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Диез
Участник
Nitro_Junkie,

Не хочу спорить теоретически, приведу два примера:

Microsoft Research . Из его недр вылезли, к примеру c-omega и Spec# - языки, которые никогда не были и не будут в продактиве, но благодаря им в C# появился Linq и CodeContracts. Это по поводу богатых компаний.

Язык Scala - разрабатывается небезызвестным Мартином Одерски , профессором, в институте EPFL . Это по поводу "исследовательских" лабораторий.
...
Рейтинг: 0 / 0
03.02.2010, 13:46:51
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36447056
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
301Чем менее четко ставится алгоритм решения задачи компьютеру, тем больше у него свободы для ее решения.
Но тут я-бы заметил один неприятный момент. Большая часть этих решений может остаться "сферическими конями в пустоте" а малая часть реально войдёт в эксплуатацию.
...
Рейтинг: 0 / 0
03.02.2010, 13:54:29
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36447059
Nitro_Junkie
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Nitro_Junkie
Участник
Диез,

Microsoft Research, судя по ссылке занимается чисто инженерными прикладными проектами. И тот же LINQ - чисто инженерная технология, все тот же "синтаксический" сахар...

Профессор, что-то пишущий где-то что-то на "исследовательскую" лабораторию (в том виде в котором они есть грубо говоря у Intel'а и каких нибудь медкомпаний) не тянет
...
Рейтинг: 0 / 0
03.02.2010, 13:54:56
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36447128
Фотография Диез
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Диез
Участник
Nitro_Junkie,

Повторюсь, теоретически рассуждать мне лениво. :)

Если вы можете привести пример вашего "скай-трейна", то есть некоего чисто декларативного расширения/замены SQL, на котором (хотя бы) можно разрабатывать пользовательский интерфейс - это было бы действительно интересно.
...
Рейтинг: 0 / 0
03.02.2010, 14:16:45
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36447367
Фотография 301
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
301
Участник
mayton301Чем менее четко ставится алгоритм решения задачи компьютеру, тем больше у него свободы для ее решения.
Но тут я-бы заметил один неприятный момент. Большая часть этих решений может остаться "сферическими конями в пустоте" а малая часть реально войдёт в эксплуатацию.

Почему же сферическими конями в пустоте ?
В декларативном сиквеле это поле для танцев отдано оптимизатору, например.
Сиквел набирает статистику, анализирует обьемы таблиц, индексы и прочье.
И только полулегальными хинтами его можно растормошить и пустить план выполнения в
четко заданом русле.
...
Рейтинг: 0 / 0
03.02.2010, 15:22:18
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36447736
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
С сиквелом понятно. А какие хинты в Haskel? Lisp? F# ?

Пока я знаю только один. Хвостовая рекурсия. И тот в принципе является не хинтом, а паттерном.
...
Рейтинг: 0 / 0
03.02.2010, 17:27:29
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36448264
belugin
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
belugin
Участник
mayton,
в хаскелле, например, есть конструкции для управления ленивостью и параллельностью (уже упоминавшиеся par и seq)
...
Рейтинг: 0 / 0
03.02.2010, 22:57:58
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36472239
Фотография Пилотажный
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Пилотажный
Участник
Вспомнился топик
Евангелисты Microsoft начали продвигать F# - и кроме плюсов вообще выдвигают практическую необходимость распараллеливать программы. Так как к концу 2010 уже ожидают несколько десятков ядер на кристалл.
Заметить, что 6-ядерные уже в продаже Opteron .

Пока вроде на 6 ядрах задачи ОС в параллель и загрузка всех 6-и по полной.
А когда будет эдак 60-80? Воспрос к параллелизации самих приграмм основных прикладных приложений.


P.S. То, что касается "hint-ов оптимизации" в Haskell, то не только "например что-то", а достаточно много - уровни оптимизации, флаги, прагмы, управления фазами кодогенерации, ..., и при отключении полной лени можно управлять ленивостью в отдельных моментах, ...
...
Рейтинг: 0 / 0
16.02.2010, 12:54:39
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36596021
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
maytonMasterZiv
Однако, Душкин обескураживает и разочаровывает с первых строк
своими высказываниями о лиспе. Блин, если не знаешь, ну зачем писать ?

Язык обозвал LISP-ом, CLOS обозвал диалектом, почему-то у него
лисп -- традиционный интерпретатор.

А как вообще книга ?

Пока не могу сказать. Других книг в бумажном варианте по ФП я не читал ибо на русскоязычной ниве больше ничего не издаётся. С первых строк, захватывает люто и бешено, но от некоторых глав у меня честно говоря плавится мозг и вынужнен откладывать книгу на полку а потом перечитывать главу заново. Душкин также жонглирует неведомой мне терминологией из комбинаторики, e.t.c. и читать местами трудно.

Вообще-то я искал более практическое руководство. Но на ozon-e есть новое издание. Что-то вроде "Практика работы на языке Haskell". Думаю для меня это будет более подходящим quick start-ом.
журнал функциональное программирование, обзор Алексея Отта
http://fprog.ru/2009/issue1/practice-fp-1-print.pdf
...
Рейтинг: 0 / 0
24.04.2010, 02:32:26
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36596282
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Спасибо. Почитаю.
...
Рейтинг: 0 / 0
24.04.2010, 16:20:18
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36608786
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
mayton,

а это?

автор
введение в функциональное программирование
John Harrison
jrh@cl.cam.ac.uk
3rd December 1997

интересно?
Код: plaintext
1.
wget -r http://funprog-ru.googlecode.com/svn/trunk/en/
русский перевод строится нормально.
в английском надо перекинуть makefile и пару файлов со стилями
из русского каталога
...
Рейтинг: 0 / 0
02.05.2010, 06:52:46
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36609477
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
А в pdf нету?
...
Рейтинг: 0 / 0
03.05.2010, 10:52:00
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36610081
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
ну, оно ж там строится.
я построил английскую и русскую версии
...
Рейтинг: 0 / 0
04.05.2010, 00:43:47
| Ответить | Цитировать | Написать  
Функциональное программирование
    #36610087
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
http://agp.hx0.ru/harrison.zip
это книга и отдельные главы в картинках.
http://agp.hx0.ru/harrison.pdf
сама книга
автор
-rw-rw-rw- 1 user group 1488828 May 1 19:56 harrison.pdf
-rw-rw-rw- 1 user group 3269992 May 3 13:46 harrison.zip
...
Рейтинг: 0 / 0
04.05.2010, 00:52:51
| Ответить | Цитировать | Написать  
25 сообщений из 300, страница 12 из 12
  12  все
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Функциональное программирование
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение   Полит. конфиден.  
NoSQL.ru       Кролег: Проекты, Новости, Чат       РЕД ФОРУМ       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=16&msg=36446815&tid=1343707]:
 0ms
get settings:
 8ms
get forum list:
 15ms
check forum access:
 4ms
check topic access:
 4ms
track hit:
 209ms
get topic data:
 8ms
get forum data:
 2ms
get page messages:
 57ms
get tp. blocked users:
 1ms
others: 230ms
total:  538ms
созд. / загр.: 538ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]