Запитання з тегом «imperative-programming»

Функціональне програмування має теоретичну основу в обчисленні лямбда та комбінаторній логіці . Як хтось, хто займається статистичними обчисленнями, я вважаю ці поняття дуже корисними для моделювання. Чи є еквівалентна математична основа імперативного програмування , чи це просто виросло з практичного застосування апаратних засобів машинною мовою та подальшої розробки FORTRAN ?

48 imperative-programming  pl.programming-languages 

Напевно, найпоширенішим застосуванням лінійних типів у PL є використання їх для надання мов, які керують псевдонімом (тобто лінійне значення має на нього один вказівник, більш-менш). Але між цим використанням та типовими денотаційними моделями лінійної логіки є невелика невідповідність. IIRC, Бентон показав, що якщо декартова закрита категорія має сильну комутативну монаду, …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

У розділі "Вступ до мов програмування" Ентоні Ебі про семантику він робить таке зауваження: Значна частина роботи з семантики мов програмування мотивована проблемами, що виникають при спробі побудови та розуміння імперативних програм --- програм із командами призначення. Оскільки команда присвоєння переназначає значення змінним, це може мати несподівані ефекти у віддалених …

19 imperative-programming  semantics  big-picture 

Я читаю "Впровадження функціональних мов програмування" Саймона Пейтона Джонса, і є одна заява, яка мене трохи здивувала (на стор. 39): Набагато більшою мірою, ніж це стосується імперативних мов, функціональні мови є значною мірою синтаксичними варіаціями одна від одної з відносно невеликими семантичними відмінностями. Тепер це було написано в 1987 році, …

17 functional-programming  semantics  imperative-programming 

У моєму пошуку наукових праць щодо типів систем імперативних мов я знаходжу рішення лише для мови з змінними посиланнями, але без справжніх імперативних структур управління, таких як складові оператори, цикли або умовні умови. Тож незрозуміло, як може бути реалізована імперативна мова з частковим висновком типу, наприклад http://rust-lang.org . У документах …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming