Apr. 7th, 2017

* * *

Apr. 7th, 2017 10:00 am
bamalip: (Default)
Ubuntu/Canonical: "Разработка Unity 8 была прекращена после семи лет значительных инвестиций, так как было признано, что данный проект не может приносить деньги. До сих пор компания существовала в основном за счёт личных финансовых вливаний Марка Шаттлворта"

Все эти годы, с начала до конца, сообщество всюду плевалось в сторону этой затеи, и наконец до предусмотрительного господина бизнесмэна дошло, что его любимая поделка никому не нужна. Какая дальновидность!
bamalip: (Default)
И не заметил, как свершилось...
Поскольку Идрис, наконец, достиг 1.0, вместе со своей книженцией, то можно теперь спокойно открывать сводные курсы:
"{Coq | Isabelle | Agda | Idris} за 21 день"

Если проводить занятия один день в неделю, и участники будут всю неделю работать над собой, то нормальненько пойдет.


  • Coq


  • Software Foundations - source

    Certified Programming with Dependent Types - amazon | source


  • Isabelle


  • Concrete Semantics - amazon | source

    Isabelle/HOL: A Proof Assistant for Higher-Order Logic - amazon | source


  • Agda


  • Verified Functional Programming in Agda - amazon

    Learn you An Agda And Achieve Enlightenment - source


  • Idris


  • Type-driven Development with Idris - amazon


  • the others


  • Practical Foundations for Programming Languages - amazon | source

    Software Abstractions - amazon | source

    The Little Prover - amazon | source

    Profile

    bamalip: (Default)
    шерстяной ленин

    July 2017

    S M T W T F S
           1
    2 3 4 56 7 8
    9 1011 12 13 14 15
    161718 19 2021 22
    23 2425 26 27 2829
    3031     

    Most Popular Tags

    Style Credit

    Expand Cut Tags

    No cut tags
    Page generated Jul. 29th, 2017 11:55 am
    Powered by Dreamwidth Studios