/prog/ - Arrows — World4ch

Name: Anonymous 2007-03-20 10:20 ID:qsHt9v4B

ITT we try to figure out how the fuck arrows are useful for making highly interactive apps.

Name: Anonymous 2007-03-20 10:30 ID:SXK84s/P

ITT I don't even grok the fullness of monads yet, so arrows are just gonna make me go 'guh?'

Name: Anonymous 2007-03-20 10:33 ID:qsHt9v4B

ITT we try anyway.

Name: Anonymous 2007-03-20 11:44 ID:RZ6uAxsq

what is arrow.

Name: Anonymous 2007-03-20 11:51 ID:NxzAZdt5

----------------->

Name: Anonymous 2007-03-20 12:07 ID:RZ6uAxsq

>>5
And how this halp me write code

Name: Anonymous 2007-03-20 12:08 ID:RZ6uAxsq

All i want is a tab and a standard ASICI tekeyboard

Name: Anonymous 2007-03-20 12:09 ID:RZ6uAxsq

to write like



int    0x80

Name: Anonymous 2007-03-20 12:18 ID:D5DTwrDI

If I knew how to implement monads using arrows, I'd tell you how awesome they are.

Name: Anonymous 2007-03-20 13:31 ID:qsHt9v4B



class Arrow a where

    arr :: (b -> c) -> a b c

    pure :: (b -> c) -> a b c

    (>>>) :: a b c -> a c d -> a b d

    first :: a b c -> a (b, d) (c, d)

Name: Anonymous 2007-03-20 13:47 ID:NxzAZdt5

>>8
WHY DO YO FUCKING...... DO THAT

Name: Anonymous 2007-03-20 16:23 ID:D5DTwrDI

>>10
txh ;) i see the lite ;()))( :pppp

Name: Anonymous 2007-03-21 4:08 ID:P3UKdqFy

Does anyone have a pirated version of "Generalising Monads to Arrows", by John Hughes? I want the latest version, specifically.

Name: Anonymous 2007-03-21 12:39 ID:5/vAsWzw

OMAE MONAD

Name: Anonymous 2007-03-21 14:33 ID:BLxefjWd

BITCHES DONT KNOW ABOUT MY FREYD CATEGORIES

Name: Anonymous 2007-03-21 15:38 ID:w7TRNBia

One word, the forced arrow of code. Thread over.

Name: Anonymous 2007-03-22 6:12 ID:axgV3ipq

Does anyone have a pirated version of "Generalising Monads to Arrows", by John Hughes? I want the latest version, specifically.
I've had John Hughes as a lecturer. He had a beer can in a fanny-pack. True story.

Name: Anonymous 2009-01-14 13:44

Discuss

Name: 2010-10-22 22:07

Name: Anonymous 2010-12-09 11:27

Name: Sgt.KabuD꺄kiman黐 2012-05-28 23:33

Bringing /prog/ back to its people
All work and no play makes Jack a dull boy
All work and no play makes Jack a dull boy
All work and no play makes Jack a dull boy
All work and no play makes Jack a dull boy
All work and no play makes Jack a dull boy
All work and no play makes Jack a dull boy
All work and no play makes Jack a dull boy
All work and no play makes Jack a dull boy
All work and no play makes Jack a dull boy

Name: Anonymous 2013-08-31 23:18

　　　　　　　　　____　　　　　______
　　　　　　　　//￣ヽ､─-//､￣l |　　　ｰ┼‐
　　　　　　／〈〈　　､｀〈_ｋ　　ヽ| |　　　 (_|　　/´「ヽ.　￣' 　 |　￣'
　　　　　/　　､｀ゝ-r'^ｰ'yへ｀､,._!/､　　　ノ　　し'　ﾉ　､____ 　ﾚ､___
　　　　i　､ｒ'､_,.-'"´,￣ ,　｀"'ヽ,ﾍ>
　　　　　'r,ｨ´ / /__i_,ﾊ　ﾊ,__ i　ﾊ　i　　　　　　　　　　十　ヽ　_」　__
　　　　〈ｲレﾍｲ -─ レ'　--ﾍﾉﾊﾉ　　　　　　　　　 /　|　　 /|´　|
　　　　　 Y´　| | " 　,. -‐┐ " |ソ　　／〉　　　　　　　 (ﾌヽ　　| 　ﾚ
　　　　　　ゝ､ |.ﾊ　 i 　　 |　,.ｲ〈　／　/_つ
　　　　　　　ﾉヽ|,r＞'ｰ‐r´ｨ´￣｀Y　,　　-､ヽ　　/´　　_　　⌒
　　　　　　〈/´ ,.イ/}>＜{/　　　､し⌒'='^ｰ'´　　　､／　　　　__　　　ヽ　　　⌒ヽ
　　　　　　}>,＜{ |7::::::::::|7､_　　ｨ〈ｲ｀￣/||　　　　 /ヽ　　　 /＼＼　　　｀×
　　　　　　〈ﾉ /　|l:::::r'"|l　 /￣ヽ､l|::::::/ ||　　　　　　　　　〈＼ //＼＼　　　ヽ
　　　　　　　/　　l|:::::ゝﾄ|　〈|　　　ヽ､二/　　ヽ/　　　　/ ＼＼ // ＼＼　　　､
　　　　　　rく　 ,ｲ|::::::::::l |　ハ　　　　￣　　　　/＼　　　/　.// ＼＼ // ＼>　　T
　　　　　「へﾍ,7 ||___:::::| |　　 'ヽ､　　　　　　 /　　　〈＼//　// ＼＼　//　　　　　)
　　　　 //　,ｨ7´||　oヽ;| |　　　',　｀'ｰr､　　十　　　/ ＼＼ //　// ＼>
　　　 ./　／./　 |ﾄ､____!| |　',　　ヽ､ _Y 〉　　十　　　/　.//＼＼ // 　//　　　十
　　　/／,.rく　/ ||o 　ノ| |　ヽ　　　>､「　　　　　　〈＼//　//＼＼　//
　　（フ´ 　ヽｲ､_,|lﾆ二__|」__r､_〉-iイノ　　　　　　 / ＼＼ //　//＼ >　　　　 i　ﾉ
　　　　　　　ﾄ-'7｀'ｰ'^'ｰﾍ_ｒ'-|´￣　　　　　ゝ　　＼// ＼＼ // 　//　　　　ﾒ
　　　.....:::::::::::!二!::::::::::::::::::::'二!:::::::.....　　　　　　......:::::＼//＼＼　//
　　　　　　　　　　　　　　　　　　　　　　　　　　　　::::::::::::＼//＼ >　　　メ
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　::::::::::::＼//:::::....

Name: Anonymous 2013-09-01 0:49

　　　　　　　　 ,. -──=- ､_
　　　　　　　r'´､　　　 ___,.）　i｀ヽ､「7へ
　　　　　,.!＞_,.へ-‐-ｒゝ､__ノ　く>'_,,..-〉
　　　　　L>'r_,.-''｀ー'ｰ-'ー､ﾍ_イ____!ﾝiヽ
　　　　　｀Y´ /.,　,　ﾊ　､　.　ヽヽ､へ_ﾚ'
　　　　　　 i　 i ﾚ_Lｨ/ Lﾊ､!__i､i　ヽﾊ／
　　　　　　レ!ﾍ_iT_;ｊ｀　　´T_;j'Lﾊ_.! |
　　　　　　　　 ! !"　　　　　　"ﾊ. /| !
　　　　 ______　! iヽ､　　‐　 _,..ｲ　! //
　　　くヽ.:::::::｀ヽ､ヽ｀:ﾆ:r=''7/　／ｲ
　　　　ヽヽ.::::::::::[>k7''⌒ヽイ<}､ン´
　　　　　　>､ヽ::::::::::/　　ヽiﾑ　ﾄ!
　　　　　　!　｀ﾌ､::::/　　　!ヽ./ i
　　　　　　rゝイ´ﾝ　　　　/ 　/ﾝ'
　　　　　　く/　　i'　　　 ./　,〈´
　　　　,.-‐-ゝ､.,_____,.／　　 ',
　　　 /ヽ.,rイ／}><{´　　　　　!
　　　 ! ヽ「/ｲ　　　　　 ,.:　ハ､

Name: Anonymous 2013-09-01 2:21

　　　　　　　　　　　　　　　　　　,.-‐､.　 ,.-‐､　　　, "￣ヽ.
　　　　.　　。　　　　　　　　　　 /　／ / 　／　　　i　　　　 i
　　　　　　　　　　　* 　　　　　 |　/____|　/　　　　　ヽ､.,__,ノ
　　　　　　　　゜　　　　　　　　,.''-'　　└'｀ヽ.　　　　　。
　　　　　　　．　　　　　　　　/ 　　　　 / ﾊ　　　　　　　　　.
　　　　　　.....　　　　　　　　.i　　　　　ﾚ'k'　　　　　　*
....::::::::::::: 　___r､　　　　　　|　i　　　　 | |,!　　　　__,,..-‐ｒｒ'^ｰ-､
:::::::::::::::::　ヽ､___7´`'ｰ- ､..,___|　|　　　　i　|ﾍ-‐''"´:::::::::::::::| |__,,.ノ
:::::::::::::::::::::: 　 └- ､::;;;_::::::::::|　|　　i 　 |　|:::::__;;;;:::: --─┘'
:: :: :: :: :: :: :: :: :: ::　　　￣ `'|　|　　|.　 |　|Y´　　　:: :: :: :: :: :: :: ::
:　:　:　:　:　:　:　:　:　:　　　　| /|　ﾊ　 | /::|　　:　:　:　:　:　:　:　:
　　　　　　　　　　　　　　　ﾚ' 7V::::ヽ/::::::::|　　　　､ヽ川 l | 川 l |
　　　　　　　　　　　　　　　　くｧ-r─r--､」　　　　ミ
　　　　　　　　　　　　　　　／　 /　　i　　',　　　　三　　戻　早
　　　　　　　　　　　　　／　　/　　　l　　 i　　　 .Ξ　　っ　く
　　　　　　　　　　　　　ヽ､ｒ-'､.,______」____,.」　　　三　　て　地
　　　　　　　　　　　　　　　/ 　./｀￣|　　|　　　　 Ξ　　こ　球
　　　　　　　　　　　　　　 /　 /　　 |　　|　　　　　三.　い　に
　　　　　　　　　　　　　 ,'　 /　　　 |　　|　　　　　Ξ　　! !
　　　　　　　　　　　　　/､__/　　　　|___,.|　　　　　彡
　　　　　　　　　　　　,ｲ'ｰ‐'!　　　　iｰ-‐i　　　　　　ﾝ川 l | 川 l |
　　　　　　　　　　　 l::::::::/i　　　　 |:::::::::i〉
---─ｧ=ﾆﾆ二"´￣￣￣￣￣￣￣￣￣￣｀`二ﾆﾆ=ｧ‐---

Arrows

1 Name: Anonymous 2007-03-20 10:20 ID:qsHt9v4B

2 Name: Anonymous 2007-03-20 10:30 ID:SXK84s/P

3 Name: Anonymous 2007-03-20 10:33 ID:qsHt9v4B

4 Name: Anonymous 2007-03-20 11:44 ID:RZ6uAxsq

5 Name: Anonymous 2007-03-20 11:51 ID:NxzAZdt5

6 Name: Anonymous 2007-03-20 12:07 ID:RZ6uAxsq

7 Name: Anonymous 2007-03-20 12:08 ID:RZ6uAxsq

8 Name: Anonymous 2007-03-20 12:09 ID:RZ6uAxsq

9 Name: Anonymous 2007-03-20 12:18 ID:D5DTwrDI

10 Name: Anonymous 2007-03-20 13:31 ID:qsHt9v4B

11 Name: Anonymous 2007-03-20 13:47 ID:NxzAZdt5

12 Name: Anonymous 2007-03-20 16:23 ID:D5DTwrDI

13 Name: Anonymous 2007-03-21 4:08 ID:P3UKdqFy

14 Name: Anonymous 2007-03-21 12:39 ID:5/vAsWzw

15 Name: Anonymous 2007-03-21 14:33 ID:BLxefjWd

16 Name: Anonymous 2007-03-21 15:38 ID:w7TRNBia

17 Name: Anonymous 2007-03-22 6:12 ID:axgV3ipq

18 Name: Anonymous 2009-01-14 13:44

20 Name: ​​​​​​​​​​ 2010-10-22 22:07

22 Name: Anonymous 2010-12-09 11:27

24 Name: Sgt.KabuD꺄kiman黐 2012-05-28 23:33

25 Name: Anonymous 2013-08-31 23:18

26 Name: Anonymous 2013-09-01 0:49

27 Name: Anonymous 2013-09-01 2:21