Minoru 19.11.2011 14:46 antaeus

А в Haskell можно как-то без монад в чистых функциях исключения обрабатывать? Делаю упражнения из «Purely Functional Data Structures», очень не хочется городить огород с Maybe в 2.3.

haskell, ?
#otfnet
re 7 comments !recommend ~bookmark Ssubscribe
1. jtootf 19.11.2011 14:59

http://blog.ezyang.com/2011/08/8-ways-to...

#otfnet/1
rereply
2. Minoru → jtootf /1 19.11.2011 16:52 antaeus

Питал надежду на то, что есть ещё что-нибудь :(

#otfnet/2
rereply
3. jtootf → Minoru /2 19.11.2011 16:57 galois

ну а как ты себе это представляешь? если есть конкретные представления, можно попробовать их реализовать — но исключения в том виде, в каком они есть сейчас, в чистых функциях невозможны

#otfnet/3
rereply
4. Minoru → jtootf /3 19.11.2011 17:28 antaeus

Хотелось чего-то в стиле SML: http://en.wikipedia.org/wiki/Standard_ML...
Кстати, вполне возможно, что в Haskell не следует применять не исключения, а что-то другое. Ты читал книгу?

#otfnet/4
rereply
5. Minoru → Minoru /4 19.11.2011 17:30 antaeus

s/не следует/мне следует/

#otfnet/5
rereply
6. jtootf → Minoru /4 19.11.2011 17:37 galois

не вижу отличия от Either. non-local exit реализуется последством монадической логики что в Maybe, что в Either. посмотрел условие, исключения тут не нужны

#otfnet/6
rereply
7. Minoru → jtootf /6 19.11.2011 18:04 antaeus

Таки я ошибался, думая, что с Maybe получится как-то слишком костыльный код — вышло не так уж плохо: http://hpaste.org/54289
Спасибо.

#otfnet/7
rereply
Do you really want to delete ?