0xd34df00d — Похоже, «осилить» является монадой. ...

0xd34df00d 25.03.2012 15:27 Azoth_primary

Похоже, «осилить» является монадой. Есть действие, а можно осилить действие.
Кроме того, определен join для осиления — если я осилил осилить A, то я осилил A. Как раз m (m a) → m a

/b/, math, haskell

Recommended by:

@pooq: моча съела говно

and @Rayslava, @lHooFool, @17eyes, @octocat, @Katenok

#osgftz

8 comments

recommend

bookmark

tree plain

1. Rayslava 25.03.2012 15:28 AHHE

Почему /b/? Вполне разумная мысль.

#osgftz/1

2. 0xd34df00d → Rayslava /1 25.03.2012 15:28 Azoth_primary

Как будто одно другому мешает.

#osgftz/2

3. lukish 03.04.2012 18:49

Инжектирование — это осиливание?
Фэйл — это неосиливание?

Судя по всему бинд тоже есть.
Если осилить a (m a) и знать то, как с а осилить b (a → m b), что можно осилить b (m b)
!

#osgftz/3

4. 0xd34df00d → lukish /3 03.04.2012 19:38 Azoth_primary

Бинд выражается через джоин же. Спасибо, что показал это на частном случае.

#osgftz/4

5. lukish → 0xd34df00d /4 03.04.2012 19:42 BitlBee

Нет, джоин через бинд. join x = x >>= id

#osgftz/5

6. 0xd34df00d → lukish /5 03.04.2012 19:47 Azoth_primary

Они эквивалентны и спокойно выражаются один через другой.

#osgftz/6

7. lukish → 0xd34df00d /6 03.04.2012 20:01

Тогда покажи как выразить бинд через джоин без фмапа.