0xd34df00d 13.12.2011 07:07 Azoth_primary

ВНЕЗАПНО если думать о multiparam type classes не как о, собственно, тайпклассах, а как о наборе отношений, то все становится легче и понятнее. То есть, некоторая функция f для T t1 t2 — это тупо утверждение, что если соотношение, определяемое функцией (ее сигнатурой и вообще семантикой) выполняется для данных t1 и t2, то они — T.

haskell, math, неговно
#ohtign
re 4 comments !recommend ~bookmark Ssubscribe
1. nya 13.12.2011 07:14 Home

тебя из ментовки уже выпустили?

#ohtign/1
rereply
2. 0xd34df00d → nya /1 13.12.2011 07:14 Azoth_primary

Нет, пишу на хаскеле из КПЗ с холодильника.

#ohtign/2
rereply
3. nya → 0xd34df00d /2 13.12.2011 07:15 Home

вау

#ohtign/3
rereply
4. DZhon → 0xd34df00d /2 13.12.2011 07:15

Хаскельпетушок закукарекал^W^W вот оно как нынче культурно!

#ohtign/4
rereply
Do you really want to delete ?