• ClipSaver
  • dtub.ru
ClipSaver
Русские видео
  • Смешные видео
  • Приколы
  • Обзоры
  • Новости
  • Тесты
  • Спорт
  • Любовь
  • Музыка
  • Разное
Сейчас в тренде
  • Фейгин лайф
  • Три кота
  • Самвел адамян
  • А4 ютуб
  • скачать бит
  • гитара с нуля
Иностранные видео
  • Funny Babies
  • Funny Sports
  • Funny Animals
  • Funny Pranks
  • Funny Magic
  • Funny Vines
  • Funny Virals
  • Funny K-Pop

Brian Beckman: The Zen of Stateless State - The State Monad скачать в хорошем качестве

Brian Beckman: The Zen of Stateless State - The State Monad 11 лет назад

скачать видео

скачать mp3

скачать mp4

поделиться

телефон с камерой

телефон с видео

бесплатно

загрузить,

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Brian Beckman: The Zen of Stateless State - The State Monad
  • Поделиться ВК
  • Поделиться в ОК
  •  
  •  


Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Brian Beckman: The Zen of Stateless State - The State Monad в качестве 4k

У нас вы можете посмотреть бесплатно Brian Beckman: The Zen of Stateless State - The State Monad или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

  • Информация по загрузке:

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Brian Beckman: The Zen of Stateless State - The State Monad в формате MP3:


Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru



Brian Beckman: The Zen of Stateless State - The State Monad

Concurrency is a problem that faces all developers as we move to the age of ManyCore processor architectures. Managing state is an important aspect of programming generally and for parallel programming especially. The great Brian Beckman demonstrates three ways of labeling a binary tree with unique integer node numbers: (1) by hand, (2) non-monadically, but functionally, by threading an updating counter state variable through function arguments, and (3) monadically, by using a partially generalized state-monad implementation to handle the threading via composition. Of course during this lesson from one of the masters of mathematical programming, we wind through various conversational contexts, but always stay true to the default topic in a stateful monadic way (watch/listen to this piece to understand what this actually means Smiley) This is another great conversation with astrophysicist and programming master Brian Beckman. Brian is one of the true human treasures of Microsoft. If you don't get mondas, this is a great primer. Even if you don't care about monadic data types, this is worth your time, especially if you write code for a living. This is part 1 of a 2 part series. See Part 2 here. Included with this interview is a .zip file containing all of the code and diagrams Brian shows us (including both Haskell and C#). (http://mschnlnine.vo.llnwd.net/d1/ch9...) To understand the State Monad program, it may be best to start with Main, seeing how the various facilities are used, then backtrack through the code learning first the non-monadic tree labeler, starting with the function Label, then finally the monadic tree labeler, starting with the function MLabel. Below, you will find several exercises for generalizing the constructions further. Brian will monitor this thread so start your coding engines!! Exercise 2: go from labeling a tree to doing a constrained$0 container computation, as in WPF. Give everything a$0 bounding box, and size subtrees to fit inside their$0 parents, recursively. Exercise 3: promote @return and @bind into an abstract$0 class "M" and make "SM" a subclass of that. Exercise 4 (HARD): go from binary tree to n-ary tree. Exercise 5: Abstract from n-ary tree to IEnumerable; do everything in LINQ! (Hint: SelectMany). Exercise 6: Go look up monadic parser combinators and implement an elegant parser library on top of your new$0 state monad in LINQ. Exercise 7: Verify the Monad laws, either abstractly$0 (pencil and paper), or mechnically, via a program, for the state monad. Exercise 8: Design an interface for the operators @return and @bind and rewrite the state monad so that it implements this interface. See if you can enforce the monad laws (associativity of @bind, left identity of @return, right identity of @return) in the interface implementation. Exercise 9: Look up the List Monad and implement it so that it implements the same interface. Exercise 10: deconstruct this entire example by using destructive updates (assignment) in a discipline way that treats the entire CLR and heap memory as an "ambient monad." Identify the @return and @bind operators in this monad, implement them explicitly both as virtual methods and as interface methods.

Comments
  • Brian Beckman: Don't fear the Monad 13 лет назад
    Brian Beckman: Don't fear the Monad
    Опубликовано: 13 лет назад
  • Rich Hickey - The Database as a Value 12 лет назад
    Rich Hickey - The Database as a Value
    Опубликовано: 12 лет назад
  • Monad Transformer State - Michael Snoyman 8 лет назад
    Monad Transformer State - Michael Snoyman
    Опубликовано: 8 лет назад
  • 4 часа Шопена для обучения, концентрации и релаксации 5 месяцев назад
    4 часа Шопена для обучения, концентрации и релаксации
    Опубликовано: 5 месяцев назад
  • Adventure with Types in Haskell - Simon Peyton Jones (Lecture 4) 11 лет назад
    Adventure with Types in Haskell - Simon Peyton Jones (Lecture 4)
    Опубликовано: 11 лет назад
  • Erik Meijer: Functional Programming 13 лет назад
    Erik Meijer: Functional Programming
    Опубликовано: 13 лет назад
  • Get value out of your monad - Mark Seemann 7 лет назад
    Get value out of your monad - Mark Seemann
    Опубликовано: 7 лет назад
  • 7 лет назад
    "Categories for the Working Hacker" by Philip Wadler
    Опубликовано: 7 лет назад
  • In Haskell, less is more 9 лет назад
    In Haskell, less is more
    Опубликовано: 9 лет назад
  • [Haskell'23] The Evolution of Effects 2 года назад
    [Haskell'23] The Evolution of Effects
    Опубликовано: 2 года назад
  • C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 1 of 13 12 лет назад
    C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 1 of 13
    Опубликовано: 12 лет назад
  • No Nonsense Monad & Functor - The foundation of Functional Programming by César Tron-Lozai 3 года назад
    No Nonsense Monad & Functor - The foundation of Functional Programming by César Tron-Lozai
    Опубликовано: 3 года назад
  • Erik Meijer and Gilad Bracha: Dart, Monads, Continuations, and More 12 лет назад
    Erik Meijer and Gilad Bracha: Dart, Monads, Continuations, and More
    Опубликовано: 12 лет назад
  • The Value of Values with Rich Hickey 13 лет назад
    The Value of Values with Rich Hickey
    Опубликовано: 13 лет назад
  • George Wilson - The Extended Functor Family 9 лет назад
    George Wilson - The Extended Functor Family
    Опубликовано: 9 лет назад
  • Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey 8 лет назад
    Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
    Опубликовано: 8 лет назад
  • Английский в СССР знали плохо или хорошо? 17 часов назад
    Английский в СССР знали плохо или хорошо?
    Опубликовано: 17 часов назад
  • АСЛАНЯН: Выручил Китай. Знака нет, а штраф есть. Зачем Путин поехал в Индию / МАШИНЫ 16 часов назад
    АСЛАНЯН: Выручил Китай. Знака нет, а штраф есть. Зачем Путин поехал в Индию / МАШИНЫ
    Опубликовано: 16 часов назад
  • Tomas Petricek: How F# Learned to Stop Worrying and Love the Data 11 лет назад
    Tomas Petricek: How F# Learned to Stop Worrying and Love the Data
    Опубликовано: 11 лет назад
  • Regaining Control with State Monad and Friends (Felix Mulder) 7 лет назад
    Regaining Control with State Monad and Friends (Felix Mulder)
    Опубликовано: 7 лет назад

Контактный email для правообладателей: [email protected] © 2017 - 2025

Отказ от ответственности - Disclaimer Правообладателям - DMCA Условия использования сайта - TOS



Карта сайта 1 Карта сайта 2 Карта сайта 3 Карта сайта 4 Карта сайта 5