LINUX.ORG.RU
ФорумTalks

Introduction to Functional Programming

 , ,


0

1

Боян, не?

Для Ъ: 15 октября стартанет сабж на edX. Копипаста описания:

Broadly speaking, functional programming is a style of programming in which the primary method of computation is the application of functions to arguments. Among other features, functional languages offer a compact notation for writing programs, powerful abstraction methods for structuring programs, and a simple mathematical basis that supports reasoning about programs.

Functional languages represent the leading edge of programming language design, and the primary setting in which new programming concepts are introduced and studied. All contemporary programming languages such as Hack/PHP, C#, Visual Basic, F#, C++, JavaScript, Python, Ruby, Java, Scala, Clojure, Groovy, Racket, … support higher-order programming via the concept of closures or lambda expressions.

This course will use Haskell as the medium for understanding the basic principles of functional programming. While the specific language isn't all that important, Haskell is a pure functional language so it is entirely appropriate for learning the essential ingredients of programming using mathematical functions. It is also a relatively small language, and hence it should be easy for you to get up to speed with Haskell.

Once you understand the Why, What and How that underlies pure functional programming and learned to “think like a fundamentalist”, we will apply the concepts of functional programming to “code like a hacker” in mainstream programming languages, using Facebook’s novel Hack language as our main example.

This course assumes no prior knowledge of functional programming, but assumes you have at least one year of programming experience in a regular programming language such as Java, .NET, Javascript or PHP.

This course will be taught by Erik Meijer, founder of Applied Duality, Inc. and professor of Cloud Programming at TUDelft. He is perhaps best known for his contributions to programming languages such as Haskell, C#, Visual Basic, and Hack, and his work on LINQ and the Rx Framework.

★★★★★

Ответ на: комментарий от qulinxao

Я не ждал от тебя других комментариев)

ymn ★★★★★ ()

боян, но на лоре вроде ещё не было.

qnikst ★★★★★ ()

О, спасибо. Скала на курсере как-то не пошла, это должно быть интереснее.

unsigned ★★★ ()

Посоны не ходите, там рекурсивный факториал(неужели кто-то ещё не умеет).
У меня от этого стек умер.

Bad_ptr ★★★★ ()
Последнее исправление: Bad_ptr (всего исправлений: 1)
Ответ на: комментарий от ymn

Кто же ты такой, если qulinxao для тебя — слишком предсказуемый собеседник? Ты, походу, этот мой коммент еще вчера ожидал.

t184256 ★★★★★ ()

Да сколько уже можно пилить эти Introduction'ы? Нет бы годный туториал по монадам сделал!

На самом деле, серьезно, не хватает курсов промежуточного и высокого уровня. Для большинства функциональщиков до сих пор банальная TCO — из области черной магии.

buddhist ★★★★★ ()
Ответ на: комментарий от buddhist

Для большинства функциональщиков до сих пор банальная TCO — из области черной магии.

как такое возможно?

qulinxao ★★☆ ()
Ответ на: комментарий от ymn

про многонитиевость(исп.уст) где редукция графа даёт прирост к призводительности в сравнении с императивным будет или же всё ограничится, обоснованием что состояния/й не нужно достаточно процессов?

qulinxao ★★☆ ()
Ответ на: комментарий от qulinxao

Прости, но я слишком боюсь спросить тебя о том, как оно реализуется.

buddhist ★★★★★ ()
Ответ на: комментарий от buddhist

считаю за.

«игнорированием битика поместить в стек возвратов адрес следующей команды при исполнении команды call_jmp»

qulinxao ★★☆ ()
Ответ на: комментарий от unsigned

На курсере рекомендую Programming Languages - краткое пособие по ведению срачей в кодаче и на лоре, в программе Standard ML, Racket, Ruby.

Deleted ()
Ответ на: комментарий от Deleted

Спасибо, это я уже прошел, даже пролетел) Как раз хотелось еще чего-нибудь статично-функционального, в духе ML.

unsigned ★★★ ()

Боже! Ну когда же наконец вытащат порядком забытый термин «Аппликативное программирование».

ФП можно и в питоне с явой/плюсами, не говоря уж про чистый С, а в ява-скрипте даже монадки регулярно переизобретают. А вот аппликативное программирование без подходящего синтаксиса и системы типов — хрен вам.

А еще лучше, кто-нибудь перевёл бы на человеческий язык Харпера. Он хорошо рассказывает о программировании, как комбинации логики алгебы и топологии, но уж больно неудобоваримо.

Macil ★★★★★ ()
Ответ на: комментарий от buddhist

Нет бы годный туториал по монадам сделал!

А ты разве свой не делал? :P

Macil ★★★★★ ()
Ответ на: комментарий от Macil

Аппликативное программирование

Формализация вообще хорошая штука.

nerdogeek ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.