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)
    шерстяной ленин

    September 2017

    S M T W T F S
          1 2
    3 4 5 6 7 8 9
    1011 12 13 14 1516
    1718 19 20212223
    24252627282930

    Most Popular Tags

    Style Credit

    Expand Cut Tags

    No cut tags
    Page generated Sep. 21st, 2017 05:42 pm
    Powered by Dreamwidth Studios