Logs: freenode/#haskell
| 2021-05-16 16:12:36 | × | ddellacosta quits (~ddellacos@86.106.143.228) (Ping timeout: 252 seconds) |
| 2021-05-16 16:12:50 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-16 16:12:51 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds) |
| 2021-05-16 16:15:07 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:c2b0:caa:38f9:fe49) |
| 2021-05-16 16:15:35 | × | zgrep quits (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (Ping timeout: 250 seconds) |
| 2021-05-16 16:16:34 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-05-16 16:18:28 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 2021-05-16 16:18:34 | → | dcoutts__ joins (~dcoutts@unaffiliated/dcoutts) |
| 2021-05-16 16:18:56 | × | dcoutts quits (~dcoutts@unaffiliated/dcoutts) (Remote host closed the connection) |
| 2021-05-16 16:18:56 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-05-16 16:18:57 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-16 16:18:57 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Read error: Connection reset by peer) |
| 2021-05-16 16:19:04 | → | kristijonas_ joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-16 16:19:08 | → | zgrep joins (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 2021-05-16 16:20:15 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-16 16:20:38 | × | mawk quits (mawk@serveur.io) (Ping timeout: 265 seconds) |
| 2021-05-16 16:20:56 | → | mawk joins (mawk@serveur.io) |
| 2021-05-16 16:21:07 | × | kiprasz quits (~kipras@re199n846.sritis.lt) (Ping timeout: 265 seconds) |
| 2021-05-16 16:21:28 | × | jess quits (jess@freenode/staff/jess) () |
| 2021-05-16 16:21:35 | → | kipras`away joins (~kipras@92.61.39.34) |
| 2021-05-16 16:21:48 | → | jess joins (jess@freenode/staff/jess) |
| 2021-05-16 16:22:32 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Remote host closed the connection) |
| 2021-05-16 16:23:12 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-16 16:23:15 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Read error: Connection reset by peer) |
| 2021-05-16 16:23:26 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-16 16:23:31 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-16 16:23:33 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Read error: Connection timed out) |
| 2021-05-16 16:23:37 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Remote host closed the connection) |
| 2021-05-16 16:23:58 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 2021-05-16 16:26:40 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-16 16:26:51 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-05-16 16:29:10 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-16 16:29:23 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-hodotngawpspamdv) (Quit: Connection closed for inactivity) |
| 2021-05-16 16:31:18 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2021-05-16 16:33:16 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-16 16:33:45 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-16 16:34:25 | <charukiewicz> | maerwald[m]: No SQL isn't completely type safe, especially not SQLite that OP was using, which is untyped and only has "type affinity", which the SQLite docs describe as "The type affinity of a column is the recommended type for data stored in that column." https://www.sqlite.org/datatype3.html |
| 2021-05-16 16:36:09 | <charukiewicz> | Moreover, even if you are using a SQL database with good typing (PostgreSQL), if you're writing raw SQL, your queries probably aren't statically checked. That's the value of using a pair of libraries like Persistent+Esqueleto - defining your database models in Haskell and then writing queries against them that are checked by Haskell's type system |
| 2021-05-16 16:36:25 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-16 16:36:45 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 2021-05-16 16:37:29 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-05-16 16:39:40 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 268 seconds) |
| 2021-05-16 16:44:00 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 2021-05-16 16:44:58 | → | LKoen joins (~LKoen@2a01cb0407597a00994eae699d6833c6.ipv6.abo.wanadoo.fr) |
| 2021-05-16 16:45:46 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:a998:e20e:aef2:c048) |
| 2021-05-16 16:46:17 | <geekosaur> | and strictly speaking SQL types don't quite align with common programming language types, so there's always some room for potential mismatch (less with strings [but is its string a ByteString, a Text, or something else e.g. localized?], more with numbers) |
| 2021-05-16 16:46:40 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-16 16:47:57 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-05-16 16:48:41 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Ping timeout: 240 seconds) |
| 2021-05-16 16:49:08 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2021-05-16 16:50:49 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 2021-05-16 16:50:50 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-16 16:50:53 | × | Schrostfutz quits (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-05-16 16:51:56 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:a998:e20e:aef2:c048) () |
| 2021-05-16 16:52:19 | → | reaverb joins (~reaverb@071-008-105-088.res.spectrum.com) |
| 2021-05-16 16:54:46 | → | a6a45081-2b83 joins (~aditya@171.76.17.86) |
| 2021-05-16 16:55:28 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-16 16:55:45 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-16 16:58:15 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-16 16:58:35 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-16 17:00:11 | × | chris__ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-05-16 17:00:41 | amosbird_ | is now known as amosbird |
| 2021-05-16 17:00:42 | → | mysterybear joins (333457a3@51.52.87.163) |
| 2021-05-16 17:01:05 | → | juri_ joins (~juri@178.63.35.222) |
| 2021-05-16 17:03:20 | <mysterybear> | Hey I'm trying to find an old paper |
| 2021-05-16 17:03:24 | <mysterybear> | it has a tree-drawing exercise in it |
| 2021-05-16 17:03:32 | <mysterybear> | I could've sworn it was about polymorphism :\ |
| 2021-05-16 17:03:40 | <mysterybear> | I can no longer find it... does this ring a bell for anybody? |
| 2021-05-16 17:07:41 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds) |
| 2021-05-16 17:08:19 | <mysterybear> | ah I found it |
| 2021-05-16 17:08:23 | <mysterybear> | https://web.cecs.pdx.edu/~mpj/pubs/springschool95.pdf mark p. jones |
| 2021-05-16 17:09:23 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 2021-05-16 17:10:54 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2021-05-16 17:14:47 | <hpc> | the classic asked-and-answered - doesn't matter how long you wait to ask the question, as soon as you ask you find the answer 5 minutes later |
| 2021-05-16 17:20:38 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-16 17:22:39 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-vunmjolaodtynkaq) |
| 2021-05-16 17:23:13 | × | reaverb quits (~reaverb@071-008-105-088.res.spectrum.com) (Quit: Leaving) |
| 2021-05-16 17:24:59 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-05-16 17:25:04 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 2021-05-16 17:25:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-16 17:25:53 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
| 2021-05-16 17:26:12 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-05-16 17:27:11 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1) |
| 2021-05-16 17:28:11 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-16 17:28:52 | → | blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2021-05-16 17:29:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) |
| 2021-05-16 17:30:08 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-05-16 17:30:36 | <blankhart> | is "type case" a synonym for GADTs? |
| 2021-05-16 17:31:34 | <blankhart> | looking at https://github.com/gelisam/klister/blob/71c71e6ab768e7e6b43e9402bc127423cd6e562b/src/Evaluator.hs#L297 |
| 2021-05-16 17:31:41 | <electricityZZZZ> | so i am writing a recursive function in haskell, and when i make the return value [] + myVal the program terminates, but if the return value is myVal + [], it does not terminate. |
| 2021-05-16 17:32:08 | <maerwald> | charukiewicz: you can easily mess up in persistent as well, when you write your manual PersistField instances |
| 2021-05-16 17:32:31 | <Rembane> | electricityZZZZ: Do you have more code than that available? |
| 2021-05-16 17:32:42 | <electricityZZZZ> | correction: [] ++ myVal terminates, whereas myVal ++ [] does not. i recognize totality in programming (and feel more comfortable using it), but since i am using haskell to get out of my comfort zone, what is this property where the ordering is significant for termination |
| 2021-05-16 17:32:44 | <maerwald> | I found it mostly to be unnecessary chore. DB queries should have 100% test coverage |
| 2021-05-16 17:32:49 | <Uniaika> | electricityZZZZ: first, "+" is not appropriate, it's a numerical operator. Second, due to commutativity, they are fundamentally the same results |
| 2021-05-16 17:32:56 | <electricityZZZZ> | yeah that was a typo |
| 2021-05-16 17:33:00 | <Uniaika> | ok cool |
| 2021-05-16 17:33:33 | <Uniaika> | maerwald: my opinion as well, which is why I'm sticking with https://github.com/tchoutri/pg-entity |
| 2021-05-16 17:33:41 | <charukiewicz> | maerwald: true, but in several years of using Persistent I have seldom found the need to write my own instances. The one time I've done so recently is to map custom PostgreSQL enum types to Haskell types |
| 2021-05-16 17:34:35 | × | vchlup quits (~vchlup@nat.brnet.cz) (Ping timeout: 265 seconds) |
All times are in UTC.