Logs: freenode/#haskell
| 2021-03-07 19:10:43 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-07 19:11:42 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) |
| 2021-03-07 19:12:29 | × | mirrorbird quits (~dwsjeid91@m83-187-177-242.cust.tele2.se) (Remote host closed the connection) |
| 2021-03-07 19:12:51 | → | mirrorbird joins (~dwsjeid91@2a00:801:42b:7529:141c:bbbc:ad74:9e2c) |
| 2021-03-07 19:13:25 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-03-07 19:13:35 | <zebrag> | (At least it puts a pin on the question, if not on anything else.) |
| 2021-03-07 19:14:11 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-07 19:15:40 | <geekosaur> | also Haskell is not a set, nor a category in the presence of bottom, as I understand it; but there's a proof that it can often be treated as a category out there |
| 2021-03-07 19:18:49 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
| 2021-03-07 19:20:35 | <maralorn> | I mean there are categories with bottom which Haskell is very close, too. |
| 2021-03-07 19:20:37 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-03-07 19:20:39 | <maralorn> | Scott domains, I think. |
| 2021-03-07 19:21:57 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-07 19:24:32 | → | pfurla_ joins (~pfurla@5.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-03-07 19:26:10 | → | fendor joins (~fendor@178.115.130.22.wireless.dyn.drei.com) |
| 2021-03-07 19:26:48 | × | kini quits (~kini@unaffiliated/kini) (Quit: bye) |
| 2021-03-07 19:27:38 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2021-03-07 19:28:56 | → | gitgoood joins (~gitgood@82-132-218-5.dab.02.net) |
| 2021-03-07 19:29:27 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-07 19:30:46 | j | is now known as jess |
| 2021-03-07 19:31:50 | × | gitgood quits (~gitgood@82-132-217-191.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-07 19:32:35 | Guest24956 | is now known as zmv |
| 2021-03-07 19:33:09 | zmv | is now known as notzmv |
| 2021-03-07 19:33:12 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-03-07 19:35:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-07 19:35:39 | × | pfurla_ quits (~pfurla@5.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 260 seconds) |
| 2021-03-07 19:36:01 | → | jneira joins (5127aded@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.237) |
| 2021-03-07 19:37:36 | → | kini joins (~kini@unaffiliated/kini) |
| 2021-03-07 19:47:53 | × | kuribas quits (~user@ptr-25vy0i8agngd0s4hmr1.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-03-07 19:48:16 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-07 19:51:22 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 19:52:51 | <mikoto-chan> | minoru_shiraeesh: How do I use the @ in that case? |
| 2021-03-07 19:53:12 | <mikoto-chan> | Seems like an advanced feature I shouldn't be using though o.o |
| 2021-03-07 19:55:51 | <monochrom> | They probably misunderstood your question, too. |
| 2021-03-07 19:55:52 | <carbolymer> | is there any difference If I run `stToIO` inside `mapM` function multiple times, or just once `stToIO $ mapM func collection` ? |
| 2021-03-07 19:57:37 | <mikoto-chan> | monochrom: Was that meant for me? I just figured out how it works after talking with the compiler :) |
| 2021-03-07 19:57:45 | <monochrom> | Yes. |
| 2021-03-07 19:59:48 | <mikoto-chan> | Let me send the source code in that case |
| 2021-03-07 20:00:19 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-03-07 20:01:34 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-07 20:01:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-07 20:03:29 | <mikoto-chan> | https://hatebin.com/arsqzzdqbb |
| 2021-03-07 20:03:32 | <mikoto-chan> | Here you go |
| 2021-03-07 20:04:22 | <monochrom> | Yikes. That works but is an abuse of show. |
| 2021-03-07 20:04:55 | <monochrom> | We would rather: isCar (Car _ _) = True; isCar _ = False |
| 2021-03-07 20:05:09 | <mikoto-chan> | Oops. Forgot pattern matching. |
| 2021-03-07 20:05:37 | <monochrom> | If you saw other people writing "isCar Car{} = True", the "{}" is about "record syntax". |
| 2021-03-07 20:05:40 | <d34df00d> | How would you name a module containing `newtype`s to be used with DerivingVia to derive instances of a certain class? |
| 2021-03-07 20:05:49 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 276 seconds) |
| 2021-03-07 20:06:20 | × | ADG1089__ quits (~aditya@122.163.167.99) (Remote host closed the connection) |
| 2021-03-07 20:07:18 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-03-07 20:10:29 | × | bobiusbillius quits (~bobiusbil@2a02:c7d:51c4:7000:1167:87c5:c3c8:7dfb) (Ping timeout: 265 seconds) |
| 2021-03-07 20:11:38 | <minoru_shiraeesh> | mikoto-chan: I think I missed the original question and misunderstood the last question, so never mind |
| 2021-03-07 20:12:05 | <mikoto-chan> | monochrom: So record syntax is an alternative way to do pattern matching? |
| 2021-03-07 20:12:29 | × | lawid quits (~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) (Quit: lawid) |
| 2021-03-07 20:12:36 | <monochrom> | No. Record syntax lets you pretend you can use a record system. |
| 2021-03-07 20:13:05 | <monochrom> | I think you're better off either looking up "record syntax" or ignoring it. It is a story of its own. |
| 2021-03-07 20:14:09 | <mikoto-chan> | monochrom: I found this goldmine called https://devtut.github.io/haskell while looking that up, seems to be a compilation of all Stackoverflow documentation |
| 2021-03-07 20:14:41 | → | lawid joins (~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) |
| 2021-03-07 20:15:13 | <monochrom> | I have very low expectation of stackoverflow. |
| 2021-03-07 20:15:37 | <monochrom> | To be sure, "consciously curated from stackoverflow" can be much better than raw stackoverflow. |
| 2021-03-07 20:16:41 | <monochrom> | I have seen my students consulting stackoverflow and getting wrong answers. |
| 2021-03-07 20:16:48 | <minoru_shiraeesh> | there's no stackoverflow in haskell |
| 2021-03-07 20:16:59 | <minoru_shiraeesh> | haskell doesn't use stack |
| 2021-03-07 20:17:28 | <monochrom> | Gosh, that is so wrong on multiple levels. |
| 2021-03-07 20:17:32 | <mikoto-chan> | minoru_shiraeesh: there's only ghc user_guide.pdf and index.html ;) |
| 2021-03-07 20:17:47 | <mikoto-chan> | monochrom: you teach haskell? That's cool. |
| 2021-03-07 20:17:53 | <monochrom> | For starters, at the meta level, we're talking about stackoverflow.com. Sheesh. |
| 2021-03-07 20:19:02 | → | bobiusbillius joins (~bobiusbil@2a02:c7d:51c4:7000:1167:87c5:c3c8:7dfb) |
| 2021-03-07 20:19:44 | <minoru_shiraeesh> | just kidding |
| 2021-03-07 20:20:06 | <minoru_shiraeesh> | intentionally misinterpreting is fun sometimes |
| 2021-03-07 20:20:56 | <mikoto-chan> | monochrom: Any idea how I can construct getManu? Using record syntax will require me to rewrite all my data functions if I'm not wrong |
| 2021-03-07 20:21:37 | <monochrom> | getManu (Car m _) = m |
| 2021-03-07 20:21:42 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-07 20:21:48 | <monochrom> | And I don't know what you want for the Plane case. |
| 2021-03-07 20:21:54 | <mikoto-chan> | Do you happen to be called Christopher Allen? |
| 2021-03-07 20:22:02 | <monochrom> | No. |
| 2021-03-07 20:22:26 | <mikoto-chan> | He made a lot of references to Freenode in his book ... I wonder if he still hangs around here |
| 2021-03-07 20:22:30 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-07 20:22:51 | <monochrom> | But these isFoo and getters have very little value. |
| 2021-03-07 20:23:52 | <geekosaur> | not any more he doesn't |
| 2021-03-07 20:24:42 | <monochrom> | Suppose you're tasked with "find the price of a given vehicle. for cars, use the price field; for planes, it's 100000". |
| 2021-03-07 20:24:52 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-07 20:25:01 | <mikoto-chan> | Yes? |
| 2021-03-07 20:25:06 | <monochrom> | You are not going to literally write "if isCar v then getPrice v else 100000" |
| 2021-03-07 20:25:35 | <mikoto-chan> | Yeah sorry I picked the book up after a 3 month break bad idea |
| 2021-03-07 20:25:41 | <monochrom> | You are going to write: f (Car _ p) = p; f (Plane _) = Price 100000 |
| 2021-03-07 20:26:06 | <mikoto-chan> | Pattern matching is a hidden gem isn't it |
| 2021-03-07 20:26:38 | <monochrom> | http://www.vex.net/~trebla/haskell/crossroad.xhtml |
| 2021-03-07 20:27:14 | <mikoto-chan> | Thanks! |
| 2021-03-07 20:27:22 | <mikoto-chan> | Is that your site? |
| 2021-03-07 20:27:39 | <monochrom> | Yes. |
| 2021-03-07 20:28:09 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 264 seconds) |
| 2021-03-07 20:28:39 | <mikoto-chan> | Is the backend done with Haskell? Really thrilled to build a site with a Haskell backend somewhere in the near future |
| 2021-03-07 20:29:04 | <monochrom> | No. Plain html. |
| 2021-03-07 20:29:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-07 20:30:18 | × | Tario quits (~Tario@201.192.165.173) (Remote host closed the connection) |
| 2021-03-07 20:30:18 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 20:32:02 | <MarcelineVQ> | you maverick rogue |
| 2021-03-07 20:32:44 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 265 seconds) |
All times are in UTC.