alexey_rom: (Default)
Ссылка с более подробным описанием

Материалы

Coverage
- Parsing and interpretation in Prolog
- Basics of small-step and big-step semantics
- Basics of untyped and typed lambda calculi
- Introduction to Haskell
- Basics of denotational semantics
- Denotational semantics in Haskell
- Basics of static program analysis
- Static program analysis in Haskell
- OO programming in Haskell
- The Expression Problem
- Basics of Constraint-Logic Programming
- Basics of Process Algebra (CCS)
- ... a few more specialized lectures

Characteristics
- English as the course language
- Slides, videos, exercises available online publicly
- 42 hours (45mins each) of lectures over 4 months
- 12 programming-oriented, interactive labs
- Transparent scheme for midterm and final exam
- Heavy reuse of material from other courses
- Use of Twitter for notification and aggregation
alexey_rom: (Default)
Один из авторов проекта UHC написал книгу, описывающую их реализацию.
alexey_rom: (Default)
Видео и транскрипт на InfoQ (вот как можно сделать такой неудобный видеоплеер на Flash, когда давно есть YouTube -- я не понимаю!)

Транскрипт на Google Docs (via [livejournal.com profile] avva)
alexey_rom: (Default)
Learn You a Haskell for Great Good! Курс по Haskell с картинками. Ещё не закончен, но то, что есть -- вполне неплохо.
Learn You Some Erlang for Great Good! Автору так понравился Learn you a Haskell, что он решил сделать то же самое, но для Erlang. Пока есть только начало.
alexey_rom: (Default)
Появился пакет, который позволяет вызывать Хаскель из .Net и наоборот: haskell.forkio.com/dotnet

Пример оттуда:

module FileDialog where

import NET

selectFile :: IO String
selectFile = do
  obj <- new "System.Windows.Forms.FolderBrowserDialog"
  (obj :: Object ()) # invoke_ "ShowDialog" ()
  obj # getField "SelectedPath" ()

Выглядит очень интересно.

Profile

alexey_rom: (Default)
alexey_rom

April 2012

S M T W T F S
1 234567
89 1011121314
15161718192021
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 24th, 2017 12:51 pm
Powered by Dreamwidth Studios