Logs: freenode/#haskell
| 2021-03-04 18:21:48 | × | malumore quits (~malumore@151.62.127.36) (Quit: Leaving) |
| 2021-03-04 18:23:01 | × | malumore_ quits (~malumore@151.62.127.36) (Quit: Leaving) |
| 2021-03-04 18:23:23 | → | malumore joins (~malumore@151.62.127.36) |
| 2021-03-04 18:23:39 | → | statusfailed joins (~statusfai@statusfailed.com) |
| 2021-03-04 18:23:48 | dcoutts_ | is now known as dcoutts |
| 2021-03-04 18:24:06 | → | crobbins joins (~crobbins@2600:1700:48eb:8490:9416:7f26:bb22:cc55) |
| 2021-03-04 18:24:15 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:dc3c) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-03-04 18:28:46 | <psutcliffe> | what's the syntax for referring to something you matched? like this:(Foo x y) this = (Foo x y) |
| 2021-03-04 18:28:52 | <psutcliffe> | not able to google it |
| 2021-03-04 18:28:57 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-04 18:29:04 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:dc3c) |
| 2021-03-04 18:29:12 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708) |
| 2021-03-04 18:29:21 | <monochrom> | this@(Foo x y) |
| 2021-03-04 18:29:22 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-04 18:29:34 | <psutcliffe> | @ sign, ok thanks |
| 2021-03-04 18:30:04 | <geekosaur> | "as-pattern" |
| 2021-03-04 18:30:42 | <monochrom> | In SML, it's "this as (Foo x y)". Haskell did s/as/@/ |
| 2021-03-04 18:31:08 | <psutcliffe> | thanks :) |
| 2021-03-04 18:32:07 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-04 18:32:12 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-04 18:32:22 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-04 18:32:40 | → | kiweun joins (~kiweun@dsl-173-206-6-91.tor.primus.ca) |
| 2021-03-04 18:32:51 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 256 seconds) |
| 2021-03-04 18:33:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708) (Ping timeout: 240 seconds) |
| 2021-03-04 18:33:52 | × | gitgood quits (~gitgood@82-132-225-188.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-04 18:33:58 | → | cheater joins (~user@unaffiliated/cheater) |
| 2021-03-04 18:36:13 | × | ADG1089 quits (~adg1089@171.76.172.3) (Ping timeout: 276 seconds) |
| 2021-03-04 18:39:33 | × | kiweun quits (~kiweun@dsl-173-206-6-91.tor.primus.ca) (Remote host closed the connection) |
| 2021-03-04 18:40:59 | × | Forkk quits (forkk@2600:3c00::f03c:91ff:fe84:de4d) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-03-04 18:43:17 | → | Forkk joins (forkk@2600:3c00::f03c:91ff:fe84:de4d) |
| 2021-03-04 18:43:38 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708) |
| 2021-03-04 18:48:14 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-04 18:48:25 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-04 18:49:13 | × | quackrabbit quits (~aeline@129-2-180-100.wireless.umd.edu) (Ping timeout: 245 seconds) |
| 2021-03-04 18:53:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-04 18:54:51 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 265 seconds) |
| 2021-03-04 18:58:55 | → | Boomerang joins (~Boomerang@2a05:f6c7:2179:0:64:db14:2c3a:3ba3) |
| 2021-03-04 18:59:53 | × | chisui quits (58829809@88.130.152.9) (Quit: Connection closed) |
| 2021-03-04 18:59:59 | × | raichoo quits (~raichoo@dslb-092-073-221-030.092.073.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-03-04 19:01:46 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-03-04 19:02:16 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 2021-03-04 19:03:27 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds) |
| 2021-03-04 19:03:30 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-03-04 19:03:56 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds) |
| 2021-03-04 19:06:07 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Quit: Connection closed) |
| 2021-03-04 19:06:23 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2021-03-04 19:07:16 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-03-04 19:08:11 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-04 19:13:19 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-04 19:16:22 | × | bobiusbillius quits (~bobiusbil@host109-153-130-34.range109-153.btcentralplus.com) (Read error: Connection reset by peer) |
| 2021-03-04 19:16:38 | → | bobiusbillius joins (~bobiusbil@2a00:23c7:9909:5b01:1037:bcdb:7c3:6458) |
| 2021-03-04 19:18:10 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-04 19:18:32 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 265 seconds) |
| 2021-03-04 19:20:54 | × | mayleesia quits (4d0b2c7f@dynamic-077-011-044-127.77.11.pool.telefonica.de) (Quit: Connection closed) |
| 2021-03-04 19:22:49 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:4bed:da7a:2692:1300) (Ping timeout: 272 seconds) |
| 2021-03-04 19:25:00 | <d34df00d> | monochrom: just in case you were wondering, I rewrote my yesterday strings mangling with ST, and it's 20 times faster. |
| 2021-03-04 19:25:18 | <d34df00d> | Ended up with this abomination: |
| 2021-03-04 19:25:21 | <d34df00d> | https://bpaste.net/SJAQ |
| 2021-03-04 19:25:32 | <d34df00d> | (V is Data.Vector.Unboxed) |
| 2021-03-04 19:27:22 | <d34df00d> | Now I desperately need to rewrite this in C++ to see how fast can I get this to be in a language whose performance model I understand better. |
| 2021-03-04 19:29:07 | <monochrom> | This one should be easy in C or C++. Easier in C. Too much infrastructure in C++. |
| 2021-03-04 19:30:33 | <d34df00d> | but muh templates |
| 2021-03-04 19:30:49 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-03-04 19:31:37 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-04 19:34:53 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:73f8:36f6:d6d6:24a) |
| 2021-03-04 19:35:58 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-03-04 19:39:41 | → | Nahra joins (~Nahra@unaffiliated/nahra) |
| 2021-03-04 19:43:49 | <rednaZ[m]> | I have written a sentence that is too long. Would anyone here enjoy showing me how to split this up? |
| 2021-03-04 19:43:55 | <rednaZ[m]> | Library authors should allow library users to access unsafe functions explicitly because the library author should assume that, using these unsafe functions, with discipline safe code can be written that achieves something that could not have been achieved with the safe functions only, even if the library author cannot see an opportunity for that themselves. |
| 2021-03-04 19:45:03 | <koz_> | Library authors should allow users to access unsafe functions explicitly. The author should assume that, with discipline, we can achieve something otherwise not possible (or efficient) with these unsafe functions. |
| 2021-03-04 19:46:39 | × | knupfer quits (~Thunderbi@mue-88-130-61-019.dsl.tropolys.de) (Remote host closed the connection) |
| 2021-03-04 19:47:24 | <tomsmeding> | With discipline, library users can [often?] combine unsafe functions [interfaces?] into safe code that accomplishes things that could not have been achieved with safe library functions only. Therefore, library authors should expose such [internal?] unsafe functions for use by library users. |
| 2021-03-04 19:48:10 | <tomsmeding> | oh, your ", even if the library author ... themselves." can go instead of my final "." rednaZ[m] |
| 2021-03-04 19:48:30 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 265 seconds) |
| 2021-03-04 19:49:14 | <monochrom> | This may evolve into a telephone game. >:) |
| 2021-03-04 19:49:29 | <maerwald> | too much english for me, I find all versions confusing |
| 2021-03-04 19:49:34 | <dmj`> | library (ab)users |
| 2021-03-04 19:49:51 | → | ransom joins (~c4264035@undergraduate-jvossen-9690.mines.edu) |
| 2021-03-04 19:49:54 | <tomsmeding> | maerwald: I challenge you to read a research paper |
| 2021-03-04 19:50:10 | <maerwald> | "a"? |
| 2021-03-04 19:50:18 | <tomsmeding> | okay fair the really good ones are very readable |
| 2021-03-04 19:50:27 | <tomsmeding> | an average one, then :p |
| 2021-03-04 19:50:43 | <d34df00d> | Read this one: https://cdn.paperpile.com/blog/img/lander-1966-700x394.png?v=38 |
| 2021-03-04 19:51:01 | <monochrom> | Read a Bird paper for fewer words, more formulas. |
| 2021-03-04 19:51:13 | <monochrom> | A formula is worth a thousand pictures. |
| 2021-03-04 19:51:27 | <maerwald> | oh yes, I want to read pictures |
| 2021-03-04 19:51:39 | <d34df00d> | Neural nets to the rescue! |
| 2021-03-04 19:51:46 | <maerwald> | rednaZ[m]: can you draw pictures instead? |
| 2021-03-04 19:51:53 | → | cheater joins (~user@unaffiliated/cheater) |
| 2021-03-04 19:52:01 | <rednaZ[m]> | xD |
| 2021-03-04 19:52:05 | <d34df00d> | Draw a commutative diagram of users and libraries. |
| 2021-03-04 19:52:16 | <koz_> | Category theory for UX. |
| 2021-03-04 19:52:30 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 246 seconds) |
| 2021-03-04 19:52:51 | <rednaZ[m]> | I can replace all identifiers and operators in my code with unicode characters. Does that make my code count as a picture? |
| 2021-03-04 19:53:04 | <tomsmeding> | 👍 |
| 2021-03-04 19:53:04 | <maerwald> | rednaZ[m]: https://hackage.haskell.org/package/streamly-0.7.2 basically does what you are saying in exposing those things via Streamly.Internal.XXX |
| 2021-03-04 19:53:05 | <d34df00d> | Nope, but you can pretend you're doing smart things in agda. |
| 2021-03-04 19:53:16 | <monochrom> | Most unicode characters are not pictures. |
| 2021-03-04 19:53:30 | <tomsmeding> | 🖼 |
| 2021-03-04 19:53:36 | <monochrom> | Most unicode characters are, in fact, CJK. |
All times are in UTC.