Philip Wadler and Erik Meijer: On Programming Language Theory and Practice

  Рет қаралды 24,634

schonfinkeled

schonfinkeled

Күн бұрын

Пікірлер: 6
@aoeu256
@aoeu256 5 жыл бұрын
For the best thing to become more widespread you need to have Haskell IDEs that can do substitution rules (like macroexpand-1 in Lisp) so that you can actually learn from code and quickly see whats going on, and it should help you do the substition rules in reverse to help compress your code. (Sort of like a good linter).
@hogancz2
@hogancz2 12 жыл бұрын
I like their opinions.
@adoumba
@adoumba 11 жыл бұрын
What's in the gust's of things... Master this an you own the world. forget about P(something) this is what you need.
@LongliveSnak2e
@LongliveSnak2e 13 жыл бұрын
Go Phil.
@BryonLape
@BryonLape 2 жыл бұрын
11 years on and the industry has made it all worse.
@koredeaderele1666
@koredeaderele1666 5 жыл бұрын
more so computer pihlosophers than they are computer scientists
Simon Peyton Jones - Haskell is useless
6:23
bunidanoable
Рет қаралды 370 М.
Category Theory for the Working Hacker by Philip Wadler
50:52
Lambda World
Рет қаралды 93 М.
Trick-or-Treating in a Rush. Part 2
00:37
Daniel LaBelle
Рет қаралды 44 МЛН
Кто круче, как думаешь?
00:44
МЯТНАЯ ФАНТА
Рет қаралды 2,8 МЛН
бабл ти гель для душа // Eva mash
01:00
EVA mash
Рет қаралды 8 МЛН
Увеличили моцареллу для @Lorenzo.bagnati
00:48
Кушать Хочу
Рет қаралды 2 МЛН
One Hacker Way Rational alternative of Agile -  Erik Meijer
45:59
Sabbir Ahmed
Рет қаралды 67 М.
"Propositions as Types" by Philip Wadler
42:43
Strange Loop Conference
Рет қаралды 130 М.
React 2014 : Erik Meijer  - What does it mean to be Reactive?
46:39
React Conference
Рет қаралды 87 М.
Functional Programming & Haskell - Computerphile
9:19
Computerphile
Рет қаралды 671 М.
"Categories for the Working Hacker" by Philip Wadler
41:40
Strange Loop Conference
Рет қаралды 66 М.
Philip Wadler  - Propositions as Types (Lambda Days 2016)
56:58
Erlang Solutions
Рет қаралды 19 М.
KotlinConf 2017 - My Life as a Tech Transfer Monad by Erik Meijer
1:01:07
Trick-or-Treating in a Rush. Part 2
00:37
Daniel LaBelle
Рет қаралды 44 МЛН