Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 362 363 364 365 366 367 368 369 370 371 372 .. 5022
— 502,152 events total
2020-10-02 07:25:15 → HaskellY_ joins (~vivekrama@49.207.204.165)
2020-10-02 07:27:07 × revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-02 07:27:09 × HaskellYogi quits (~vivekrama@49.207.197.215) (Ping timeout: 256 seconds)
2020-10-02 07:28:15 → revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-02 07:29:13 → p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2020-10-02 07:29:37 × HaskellY_ quits (~vivekrama@49.207.204.165) (Ping timeout: 258 seconds)
2020-10-02 07:30:14 → tbreslein joins (~tbreslein@2a02:8108:140:44f8::901)
2020-10-02 07:30:43 → HaskellYogi joins (~vivekrama@49.207.204.165)
2020-10-02 07:31:04 → thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de)
2020-10-02 07:31:06 × thir quits (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-02 07:31:08 × xwvvvvwx quits (~xwvvvvwx@185.213.155.160) (Ping timeout: 256 seconds)
2020-10-02 07:31:13 → thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de)
2020-10-02 07:34:15 → mav1 joins (~mav@i59F456E0.versanet.de)
2020-10-02 07:34:43 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 260 seconds)
2020-10-02 07:35:18 × HaskellYogi quits (~vivekrama@49.207.204.165) (Ping timeout: 260 seconds)
2020-10-02 07:36:23 → HaskellYogi joins (~vivekrama@49.207.204.165)
2020-10-02 07:36:29 → John20 joins (~John@82.46.59.122)
2020-10-02 07:39:25 × mav1 quits (~mav@i59F456E0.versanet.de) (Ping timeout: 246 seconds)
2020-10-02 07:41:08 × HaskellYogi quits (~vivekrama@49.207.204.165) (Ping timeout: 260 seconds)
2020-10-02 07:41:16 → Tops2 joins (~Tobias@dyndsl-095-033-090-070.ewe-ip-backbone.de)
2020-10-02 07:41:58 → HaskellYogi joins (~vivekrama@49.207.204.165)
2020-10-02 07:43:50 → chaosmasttter joins (~chaosmast@p200300c4a711ea011d677dd0bd985d37.dip0.t-ipconnect.de)
2020-10-02 07:45:20 → mmohammadi9812 joins (~mmohammad@2.178.202.133)
2020-10-02 07:46:46 × HaskellYogi quits (~vivekrama@49.207.204.165) (Ping timeout: 256 seconds)
2020-10-02 07:47:41 → HaskellYogi joins (~vivekrama@49.207.204.165)
2020-10-02 07:48:26 → Tops21 joins (~Tobias@dyndsl-095-033-022-004.ewe-ip-backbone.de)
2020-10-02 07:48:43 × shatriff quits (~vitaliish@haunt.prize.volia.net) (Ping timeout: 260 seconds)
2020-10-02 07:49:13 → shatriff joins (~vitaliish@haunt.prize.volia.net)
2020-10-02 07:50:14 → jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-02 07:50:14 × jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-02 07:50:14 → jle` joins (~mstksg@unaffiliated/mstksg)
2020-10-02 07:50:37 × Tops2 quits (~Tobias@dyndsl-095-033-090-070.ewe-ip-backbone.de) (Ping timeout: 264 seconds)
2020-10-02 07:51:45 × HaskellYogi quits (~vivekrama@49.207.204.165) (Ping timeout: 240 seconds)
2020-10-02 07:53:09 → HaskellYogi joins (~vivekrama@49.207.204.165)
2020-10-02 07:55:25 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 264 seconds)
2020-10-02 07:56:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-02 07:56:43 <Xnuk> Why do Haskellers prefer naming type variables with just a single character like: `type Over p f s t a b = p a (f b) -> s -> f t`?
2020-10-02 07:57:19 → jedws joins (~jedws@121.209.139.222)
2020-10-02 07:57:49 × HaskellYogi quits (~vivekrama@49.207.204.165) (Ping timeout: 264 seconds)
2020-10-02 07:58:07 <opqdonut> heh that one could definitely use some better names
2020-10-02 07:58:36 <opqdonut> most type signatures only have 1 or 2 type variables, and the meanings of the variables are so abstract that it's hard to find good names
2020-10-02 07:58:45 <opqdonut> :t const -- for example here
2020-10-02 07:58:47 <lambdabot> a -> b -> a
2020-10-02 07:59:12 <opqdonut> there are also some conventions like f for functor and m for monad
2020-10-02 07:59:37 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 264 seconds)
2020-10-02 07:59:37 <opqdonut> it's also a cultural thing, people see one-letter type variables so they use them, not necessarily weighing the benefits
2020-10-02 08:00:58 <opqdonut> wanting to fit a type signature on one line might be an additional reason for short type variable names
2020-10-02 08:01:31 × Turmfalke quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-02 08:01:54 <lortabac> I have the impression that the same convention exists in other languages too, ex. List<T>, except that in Haskell we use type variables more often so it's probably more confusing
2020-10-02 08:02:07 <opqdonut> :t traverse
2020-10-02 08:02:09 <lambdabot> (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
2020-10-02 08:02:29 <opqdonut> "traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)" is almost 80 chars already
2020-10-02 08:02:31 <dminuoso> Xnuk: Imagine reading that particular type synonym if these were words 3-5 characters long
2020-10-02 08:02:42 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 256 seconds)
2020-10-02 08:03:05 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-10-02 08:03:13 × taurux quits (~taurux@net-188-216-115-55.cust.vodafonedsl.it) (Ping timeout: 264 seconds)
2020-10-02 08:03:28 → abram joins (8b00731d@139.0.115.29)
2020-10-02 08:03:36 → taurux joins (~taurux@net-93-146-109-129.cust.vodafonedsl.it)
2020-10-02 08:04:54 → fendor joins (~fendor@91.141.2.239.wireless.dyn.drei.com)
2020-10-02 08:04:54 → aveltras joins (uid364989@gateway/web/irccloud.com/x-decqiotcaxthssop)
2020-10-02 08:05:10 <Xnuk> dminuoso: It would be more clear reading than pfstab, isn't it?
2020-10-02 08:05:40 × digia quits (~digia@unaffiliated/digia) (Quit: Beep Boop...)
2020-10-02 08:05:47 × chaosmasttter quits (~chaosmast@p200300c4a711ea011d677dd0bd985d37.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-02 08:07:50 × taurux quits (~taurux@net-93-146-109-129.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2020-10-02 08:07:50 → osa1 joins (~osa1@haskell/developer/osa1)
2020-10-02 08:07:55 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-10-02 08:08:02 → tito_04 joins (~taurux@net-93-146-31-52.cust.vodafonedsl.it)
2020-10-02 08:08:42 × abram quits (8b00731d@139.0.115.29) (Remote host closed the connection)
2020-10-02 08:11:03 ← osa1 parts (~osa1@haskell/developer/osa1) ()
2020-10-02 08:12:22 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-02 08:12:38 × jespada quits (~jespada@90.254.246.48) (Ping timeout: 260 seconds)
2020-10-02 08:13:08 → digia joins (~digia@unaffiliated/digia)
2020-10-02 08:14:18 → shafox joins (~shafox@106.51.234.111)
2020-10-02 08:14:46 <dminuoso> Xnuk: Doubtfully
2020-10-02 08:15:01 → jespada joins (~jespada@90.254.246.48)
2020-10-02 08:15:07 × coot quits (~coot@37.30.49.34.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2020-10-02 08:15:17 <dminuoso> It would require actively reading, with this you can just build up a mental mind model
2020-10-02 08:15:26 <dminuoso> And pretty much grok it with a first look
2020-10-02 08:15:40 → coot joins (~coot@37.30.49.34.nat.umts.dynamic.t-mobile.pl)
2020-10-02 08:15:44 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-02 08:15:54 <dminuoso> The one thing I sometimes miss, is operator variables
2020-10-02 08:16:02 <dminuoso> That is, that'd read much nicer if we could write:
2020-10-02 08:16:43 <dminuoso> type Over (~>) f s t a b = a ~> (f b) -> s -> f t
2020-10-02 08:16:50 <dminuoso> (Or something equivalent)
2020-10-02 08:17:28 <dminuoso> You used to be able to do that for certain situations
2020-10-02 08:17:54 → Neuromancer joins (~Neuromanc@unaffiliated/neuromancer)
2020-10-02 08:17:56 <dminuoso> (Maybe that needs some extra parens as well, not quite sure)
2020-10-02 08:18:07 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-02 08:18:25 → jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-02 08:18:26 × jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-02 08:18:26 → jle` joins (~mstksg@unaffiliated/mstksg)
2020-10-02 08:19:30 → cpressey joins (~cpressey@88.144.70.46)
2020-10-02 08:25:13 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-02 08:25:13 → mav1 joins (~mav@i59F456E0.versanet.de)
2020-10-02 08:25:39 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 08:26:36 → borne joins (~fritjof@200116b8644ae80007933c164a08810c.dip.versatel-1u1.de)
2020-10-02 08:27:02 × ddere quits (uid110888@gateway/web/irccloud.com/x-jyvwqhdwbvlfvtyo) (Quit: Connection closed for inactivity)
2020-10-02 08:28:07 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds)
2020-10-02 08:28:37 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-10-02 08:29:28 × tito_04 quits (~taurux@net-93-146-31-52.cust.vodafonedsl.it) (Quit: ZNC 1.7.5 - https://znc.in)
←Prev  Next→
Page 1 .. 362 363 364 365 366 367 368 369 370 371 372 .. 5022

All times are in UTC.