З досить поширеної мови програмування, яку ви вважаєте найбільш спокійною ?

Я слухав дуже багато подкастів програмування і потребував певного часу, щоб вивчити нові мови, які вважаються майбутніми, і важливими. Я не обов'язково говорю про BrainFuck , але яку мову ви вважаєте такою, яка кидає виклик загальним парадигмам програмування?

Для мене я робив деякі функціональні та логічні (наприклад, Prolog ) програмування у 1990-х, тому не можу сказати, що я знаходжу там щось особливе.

Я далеко не фахівець у цьому, але навіть сьогодні найпомітнішою мовою програмування для мене є Perl . Не тому, що "Hello World" важко реалізувати, а скоріше існує стільки лексичної гнучкості, що деякі найважчі рішення можна розкласти так поетично, що мені доведеться піти назовні від свого терміналу, щоб очистити голову. Я не кажу, що я, швидше за все, продаю комерційну реалізацію програмного забезпечення, лише тому, що існує чітка причина, по якій Perl настільки відомий. Просто подивіться основний список книг на ньому.

Отже, яка ваша думка, що сприяє кращому програмуванню та практиці ?

APL

Ця мова є неймовірно потужним і дуже лаконічно, це буде боляче ваш мозок.

Для початківців досить складно використовувати без спеціальної клавіатури або хоча б накладку клавіатури, щоб відобразити всі неясні символи, які вона використовує.

Тоді мова є парадигмою на основі вектора / масиву і спеціалізується на складній лінійній алгебрі. У початковій версії не було навіть контурних конструкцій, все і все, що робиться шляхом з'єднання досить незвичних операторів масиву разом.

• strip_tags()хтось? (запозичено з Вікіпедії)

Хаскелл . Це дуже близько до чисто функціональних, до яких більшість людей не звикли; дуже вимогливий, що корисно, коли ви дізнаєтеся, що робите, але засмучуєте до цього часу; має досить виразний синтаксичний синтаксис, що чудово, коли ви це знаєте, але непрозорий до цього ... список продовжується.

Крім того, просто неможливо відформатувати речі таким чином, щоб мені добре виглядати.

Пролог. Він був просто таким відмінним від будь-якої іншої мови, якою я користувався, коли я вперше опинився на ній. Мені це подобається, тому я не ненавиджу синтаксис чи щось подібне.

Я погоджуся з вами на Perl Це найпотворніший синтаксис, який я коли-небудь бачив. Вони кажуть, що навіть розробники Perl не можуть згадати, що вони написали на наступний день.

Я б сказав Forth . Позначення, що всі операції - це маніпуляції зі стеком. У чистому вигляді локальних змінних не можна використовувати.

Рубін .

Це змушує мене вбити себе:

1.month.from.now()

(Я міг би помилитися з точним синтаксисом, але ви розумієте).

Брейнфук

Кожен, хто може чесно написати цю насмішку над мовою, навіть не потребуватиме такої теми.

Hello World (покажчики, зліва; пояснення, праворуч):

+++++ +++++             initialize counter (cell #0) to 10
[                       use loop to set the next four cells to 70/100/30/10
    > +++++ ++              add  7 to cell #1
    > +++++ +++++           add 10 to cell #2 
    > +++                   add  3 to cell #3
    > +                     add  1 to cell #4
    <<<< -                  decrement counter (cell #0)
]                   
> ++ .                  print 'H'
> + .                   print 'e'
+++++ ++ .              print 'l'
.                       print 'l'
+++ .                   print 'o'
> ++ .                  print ' '
<< +++++ +++++ +++++ .  print 'W'
> .                     print 'o'
+++ .                   print 'r'
----- - .               print 'l'
----- --- .             print 'd'
> + .                   print '!'
> .                     print '\n'

Лісп - це моя остання мова, що перекручує розум.

Я взяв монади та функціональне програмування від Haskell із собою, і тепер у мене є макроси для роботи. Я просто заходжу в CLOS і зовсім не торкаюся системи умов.

СУМКА

Це мова , який вискакує з часу до часу в оповіданнях онлайн і має додану честь бути у фактичному використанні виробничого зберігання критично важливої інформації життєвої безпеки (тобто, записи пацієнта). Однак це також мова, де оцінюється терміновість і такі функції, як наступна, можуть з'явитися у виробничому коді (приклад із статті Вікіпедії на цю тему):

s A="String" F i=1:1:$L(A) W $c($S($A($E(A,i))<91:$A($E(A,i))-52#26+65,1:$A($E(A,i))-84#26+97))

Я б сказав, Coq , або інша реалізація теорії залежного типу. Система типу Haskell порівняно не дуже виразна. Перехід до більш експресивної системи типу (наприклад, обчислення конструкцій (CoC)) дозволяє робити деякі акуратні речі, наприклад, доведення властивостей програм всередині мови та вбудовування сильних інваріантів у ваші типи, які можна перевірити статично.

Ціль-С . Чесно кажучи, я вивчив це лише надзвичайно коротко і не любив синтаксис на перший погляд настільки сильно, що я від нього відмовився.

Оскільки це така (відносно) поширена мова (головним чином для розробки Mac / iPhone / iPad ), я впевнений, що насправді це дещо пристойно, коли ви звикаєте до неї.

Я вибираю Меркурій .

Ртуть зігнута мій погляд, показуючи мені , що навіть чисті мови можуть зробити I / O .

Як це працює, це те, що функції вводу / виводу в Меркурії приймають значення "стан світу" і повертають нове значення "стан світу". Тож функції вводу / виводу в Меркурії перетворюють світ і, отже, підтримується чистота.

Це , безумовно, має бути схема . Намагання пояснити call-with-current-continuationзавжди болить мій мозок, але як тільки ви це зрозумієте, ви можете зробити неймовірно елегантні рішення.

Хочете зупинити частковий шлях за допомогою алгоритму та управління рукою комусь іншому? Звичайно!

Хочете відновити те саме продовження кілька разів? Звичайно!

Хочете призупинити виконання алгоритму, переглянути функцію, а потім відновити виконання з оригінальним стеком, але оновленим глобальним станом? Нема проблем! І чи роблять це кілька разів із різними змінами в глобальному стані, але однаковою точкою повторного входу стека? Для вас, пане, що завгодно!

Я використовував стародавній редактор під назвою TECO (Text Editor і COmparator), який був дуже потужною мовою модифікації тексту з усілякими можливостями макрокоманди. Я не пам'ятаю точну відому цитату про це, але суть полягала в тому, що "будь-яка випадкова колекція з 20 символів майже завжди є законною програмою TECO, і змінить ваш файл (це редактор) принципово непередбачувано. Я пам’ятаю, що писав перетворювач Fortran в PL1 приблизно на сторінці TECO-коду.

Асамблея була для мене найбільш «розумним згинанням», але я лише починаю це.

Лісп . Навчившись це серія невеликих епіфаній, кожна з яких повністю змінить ваш погляд на вирішення проблем програмування.

РЕБОЛ

Він побудований навколо поняття коду як даних, як це є Lisp . Прихильники мови важко пояснюють, у чому її унікальна перевага в порівнянні з іншими підходами в цій сім'ї, і зазвичай вони закінчують плечима і говорять щось на кшталт "Ну, хлопець, який сконструював AmigaOS, придумав це, стандартна бібліотека включена і мікроскопічна, і як тільки ви його отримаєте, це буде як прийом червоної таблетки "Матриця", і ви ніколи не захочете повертатися назад ".

Проблема з цим частково полягає в тому, що він химерний і не точно визначив, які програмісти є його ринком. Але також частково тому, що багато людей, які виступають за це, просто засмоктують пояснення . :)

Але Дуглас Крокфорд був шанувальником, черпав натхнення у створенні JSON , і запропонував людям заглянути до нього зовсім недавно в жовтні 2010 року:

"Тед Ньюард зробив дійсно хорошу роботу з модерації панелі на тему" Майбутнє мов програмування ". В кінці панелі Тед запитав учасників форуму, які мови вони, хоча люди повинні вивчати, щоб отримати нові ідеї. (Брюс Тейт), Ребол (Дуглас Крокфорд) , Форт і Фактор (Алекс Пейн), Схеми і Асемблер (Джош Блох) і Клуджуре (Гай Стіл) ".

Джерело: sauria.com

Я думаю, що варто придивитися до тих, хто хоче розтягнути, як вони думають про дизайн мови та розширення. Тепер, коли це відкритий код (після 18 років розвитку власності), звичайні відмови від відповідальності, які я давав, щоб тримати його на відстані руки, вже не застосовуються ... це варто подивитися! Спільнота навіть вийшла з власної програми обміну повідомленнями на базі Rebol і почала спілкуватися в режимі Stack Overflow (на мій подив!)

Я б сказав, що багато людей намагаються уникати їх прямого написання, що розробники вважають, що SQL перетворюється на розум. Я думаю, що багато людей просто не думають з точки зору наборів.

Чистий

Pure - це функціональна мова, заснована на переписуванні термінів. Мені це подобається, це і рідко, і виразно, якщо трохи занижено.

Це може бути не найвибагливішим, але мені було набагато важче навчитися (я думав, що Haskell і мова складання легше!)

Це набір мов HDL , зокрема VHDL (і в меншій мірі Verilog )

Перемогти той факт, що кожна «функція» працює одночасно неймовірно складно, і ви не можете уникнути переходу до паралелізації абсолютно всього. Звичайно, це лише прикордонна мова програмування.

Tcl

Я почав це вивчати один раз, але, як я навчився достатньо, щоб мати сенс, мені справді не сподобалось те, як це викликало мій мозок. Це, здавалося б, може бути кваліфікованим як згинання розуму.

Очевидно, що машина твердження Тюрінга . Він надзвичайно потужний, досконало перевершує всі інші мови програмування, які гарантують шкоду вашому мозку, якщо ви намагаєтесь ним користуватися.

С

Покажчики, керування пам’яттю та кастинг типів вимагають багато думок і легко помиляються. Відсутність вбудованих структур даних, таких як хеш-таблиці або списки, означає, що вам потрібно створити власну або знайти сторонній бібліотеку та вивчити її API.

JESS (оболонка системи експертів Java). Ця адаптація CLIPS, вбудована в середовище Java, є функціональною мовою експертної системи на основі правил. Спроба відобразити реальні об’єкти Java як факти та знайти правильні запитання, щоб отримати очікувані результати - справжнє завдання. Менше, якщо ви знайомі з експертною теорією системи, але коли ви перебуваєте з чистої системи мислення OOP, вона не підходить добре. ПРИМІТКА: CLIPS - це не Lisp, але виглядає так. Ще одна думка.

Як тільки ви пройдете початкову криву навчання, це досить потужне і досить прокляте швидко придумати відповіді.

TeX вважається мовою, оскільки Тюрінг завершений , і я вважаю це цілком розумовим. Мова для набору математики (та книг з програмування) ...

CIL

CIL - загальна проміжна мова, яку збирають усі програми .NET , свого роду об'єктно-орієнтована збірка. Мені цікаво спробувати написати або прочитати код у ньому та порівняти його конструкції з тими, що знаходяться на C #, які я вже знаю. Це хороший спосіб дізнатися більше, що .NET робить за кадром. І це може бути корисно для таких речей, як динамічне генерування коду чи перезапис існуючого складеного коду за допомогою Mono Cecil .