Odcinek
Wykłady C9: Dr Erik Meijer - Podstawy programowania funkcjonalnego Rozdział 13 z 13
Cóż, moi przyjaciele, dzień przybył. Przez trzynaście tygodni udostępniono wszystkie narzędzia koncepcyjne, aby przejść do głębokiego końca puli programowania funkcjonalnego i bezpiecznie pływać. Wielki dr Erik Meijer hojnie dał mu czas na nauczenie nas podstaw jako dostarczonych przez Graham Hutton w swojej książce Programowanie w Haskell. Oczywiście Erik połączył swoją własną obszerną wiedzę, wyjątkową perspektywę i doświadczenie w weave edukacji: więc masz najlepsze dwa światy. Mamy nadzieję, że cieszysz się tą serią, pierwszą w nowym formacie zawartości Channel 9 (wykłady).
Zespół Channel 9 i naród Niner dziękuję naszym drogi przyjaciel Erik za ten gwiezdny wkład do Channel 9 i edukacji programistycznej, ogólnie. Oczywiście, dziękujemy również Graham Hutton za napisanie książki (i dla gościa wykładania rozdziału 11 , że Erik jest tak lubiany i który dostarczył podstawy do tych wykładów, które w ten sposób, wszystkie zostały wykonane w prawdziwy sposób Channel 9: Zostały one nagrane w jednym z zajęć z Erik robi genialne artykulowanie pracy, kontekstowe, rozszerzając podstawy i bycie, cóż, Erik, jeden z naszych ulubionych geniuszy, wszystko w czasie rzeczywistym.
W rozdziale 13, Równanie rozumowanie (a także ujawnianie, dlaczego Erik mówi "uhm" i "wiesz" tak często), wielki finał, dr Meijer zagłębia się w przejrzystość referentialną i jest w stanie zastąpić równości we wszystkich kontekstach.
W pewnym sensie czystość związana z językami funkcjonalnymi, takimi jak Haskell, ułatwia wyrażanie i implementowanie rozumowania równania. W Haskell nasz stary przyjaciel "=" oznacza "jest równy w definicji". Ale co robi równanie rozumowanie
średnia? Oczywiste jest, że logika propozycja jest zbyt słaba dla wielu aplikacji i że logika równania jest pierwszym krokiem w kierunku bardziej zaawansowanego systemu*. Czy to prawda? Dr Meijer, proszę wyjaśnić.
Dostrajanie. Cieszyć się.
Rozdział 1rozdział 2rozdział 3rozdział 4 rozdział 5rozdział 6rozdział 7rozdział 8rozdział 9rozdział 10rozdział 11rozdział 12rozdział 13
Cóż, moi przyjaciele, dzień przybył. Przez trzynaście tygodni udostępniono wszystkie narzędzia koncepcyjne, aby przejść do głębokiego końca puli programowania funkcjonalnego i bezpiecznie pływać. Wielki dr Erik Meijer hojnie dał mu czas na nauczenie nas podstaw jako dostarczonych przez Graham Hutton w swojej książce Programowanie w Haskell. Oczywiście Erik połączył swoją własną obszerną wiedzę, wyjątkową perspektywę i doświadczenie w weave edukacji: więc masz najlepsze dwa światy. Mamy nadzieję, że cieszysz się tą serią, pierwszą w nowym formacie zawartości Channel 9 (wykłady).
Zespół Channel 9 i naród Niner dziękuję naszym drogi przyjaciel Erik za ten gwiezdny wkład do Channel 9 i edukacji programistycznej, ogólnie. Oczywiście, dziękujemy również Graham Hutton za napisanie książki (i dla gościa wykładania rozdziału 11 , że Erik jest tak lubiany i który dostarczył podstawy do tych wykładów, które w ten sposób, wszystkie zostały wykonane w prawdziwy sposób Channel 9: Zostały one nagrane w jednym z zajęć z Erik robi genialne artykulowanie pracy, kontekstowe, rozszerzając podstawy i bycie, cóż, Erik, jeden z naszych ulubionych geniuszy, wszystko w czasie rzeczywistym.
W rozdziale 13, Równanie rozumowanie (a także ujawnianie, dlaczego Erik mówi "uhm" i "wiesz" tak często), wielki finał, dr Meijer zagłębia się w przejrzystość referentialną i jest w stanie zastąpić równości we wszystkich kontekstach.
W pewnym sensie czystość związana z językami funkcjonalnymi, takimi jak Haskell, ułatwia wyrażanie i implementowanie rozumowania równania. W Haskell nasz stary przyjaciel "=" oznacza "jest równy w definicji". Ale co robi równanie rozumowanie
średnia? Oczywiste jest, że logika propozycja jest zbyt słaba dla wielu aplikacji i że logika równania jest pierwszym krokiem w kierunku bardziej zaawansowanego systemu*. Czy to prawda? Dr Meijer, proszę wyjaśnić.
Dostrajanie. Cieszyć się.
Rozdział 1rozdział 2rozdział 3rozdział 4 rozdział 5rozdział 6rozdział 7rozdział 8rozdział 9rozdział 10rozdział 11rozdział 12rozdział 13
Chcesz przesłać opinię? Prześlij problem tutaj.