Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
deniok
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
light
deniok
Entries tagged with ржунимагу
ЖЖ
Oct
.
15th
,
2011
10:55 am
За что люблю ЖЖ, так это за тихую чистую радость, которую он дарит. Сегодня с утра пришла на почту нотификакия следующего содержания:
Hi
deni_ok
,
deni_ok
's birthday is coming up on October 17!
You can:
Post to wish them a happy birthday
Send them a virtual gift
Gift them with a paid account
Yes, I can.
Прекрасное
May
.
8th
,
2009
10:51 pm
Я лежу под столом, читая "A Brief, Incomplete, and Mostly Wrong History of Programming Languages"
1970 - Niklaus Wirth creates Pascal, a procedural language. Critics immediately denounce Pascal because it uses "x := x + y" syntax instead of the more familiar C-like "x = x + y". This criticism happens in spite of the fact that C has not yet been invented.
1972 - Dennis Ritchie invents a powerful gun that shoots both forward and backward simultaneously. Not satisfied with the number of deaths and permanent maimings from that invention he invents C and Unix.
...
1990 - A committee formed by Simon Peyton-Jones, Paul Hudak, Philip Wadler, Ashton Kutcher, and People for the Ethical Treatment of Animals creates Haskell, a pure, non-strict, functional language. Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that "a monad is a monoid in the category of endofunctors, what's the problem?"
Profile
deniok
Recent Entries
Archive
Reading
Tags
Memories
Profile
February
2022
S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
Syndicate
Most Popular Tags
agda
-
15 uses
bananas in space
-
3 uses
coq
-
7 uses
cs club
-
3 uses
curry-howard
-
2 uses
dependent types
-
7 uses
epigram
-
3 uses
formal proofs
-
2 uses
fp
-
72 uses
fprog
-
44 uses
free theorems
-
3 uses
ghc
-
9 uses
haskell
-
78 uses
lambda calculus
-
16 uses
language design
-
2 uses
logic
-
2 uses
repost
-
3 uses
spbhug
-
5 uses
type theory
-
13 uses
typed lambda
-
8 uses
wikipedia
-
2 uses
zipper
-
2 uses
википедия
-
2 uses
вопрос
-
2 uses
выборы
-
8 uses
высшая школа
-
2 uses
жж
-
4 uses
задачка
-
5 uses
здорово
-
4 uses
идиоты
-
2 uses
клипы
-
2 uses
красота
-
3 uses
математика
-
3 uses
наблюдения за природой
-
2 uses
образование
-
2 uses
перевод
-
2 uses
петербург
-
2 uses
пиар
-
2 uses
политика
-
10 uses
рабочее
-
3 uses
ржунимагу
-
2 uses
сборник задач и упражнений по матлогике
-
2 uses
сборник задач и упражнений по хаскелю
-
25 uses
смешно
-
7 uses
теория категорий
-
2 uses
тесты
-
2 uses
фальсификации
-
3 uses
черногория
-
2 uses
языки программирования
-
2 uses
яхта
-
2 uses
Page Summary
ЖЖ
Прекрасное
Style Credit
Style:
Cloudy Days
for
Ciel
by
carisma_sensei
Expand Cut Tags
No cut tags
Page generated Jun. 9th, 2025 10:00 am
Powered by
Dreamwidth Studios