Logs: liberachat/#haskell
| 2021-08-19 13:26:43 | <merijn> | defaults? |
| 2021-08-19 13:26:54 | <kuribas> | data-default-class is from 2016, and doesn't support many types, like Text, Map, etc... |
| 2021-08-19 13:27:18 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b950070172e7c3c578523.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-19 13:27:19 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-19 13:27:19 | <merijn> | That's because it's a dumb class |
| 2021-08-19 13:27:28 | <kuribas> | perhaps, but it's useful :) |
| 2021-08-19 13:27:42 | <merijn> | Disagree :p |
| 2021-08-19 13:27:51 | <kuribas> | well, it's useful for me. |
| 2021-08-19 13:28:02 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-19 13:28:07 | <merijn> | I doubt you'll find anything better, tbh |
| 2021-08-19 13:28:10 | <kuribas> | for example, I need to insert a record into the database, where some fields are ignored. |
| 2021-08-19 13:28:29 | <kuribas> | I want to just fill them with defaults, rather than having to write a value for each. |
| 2021-08-19 13:29:00 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-08-19 13:29:12 | <merijn> | I mean, you can accomplish that by just defining a partially applied record that you update or a pattern synonym too? |
| 2021-08-19 13:29:19 | <merijn> | How does the default class help? |
| 2021-08-19 13:29:33 | <kuribas> | not at all |
| 2021-08-19 13:30:15 | <kuribas> | I cannot insert a partially applied record into the database. |
| 2021-08-19 13:30:39 | <merijn> | I mean, just fill the default and update that during parsing |
| 2021-08-19 13:30:48 | <kuribas> | by hand? |
| 2021-08-19 13:31:30 | <merijn> | As opposed to? |
| 2021-08-19 13:31:59 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-19 13:32:06 | <kuribas> | using Generic |
| 2021-08-19 13:32:08 | <kuribas> | Generics |
| 2021-08-19 13:32:47 | <merijn> | I don't really see how Generics would help? You need to specify what the defaults are somehow |
| 2021-08-19 13:34:42 | <kuribas> | merijn: it derives them. |
| 2021-08-19 13:34:45 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-19 13:35:00 | <kuribas> | For example data Foo = Foo Int String => def = Foo 0 "" |
| 2021-08-19 13:35:04 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-19 13:35:19 | → | Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) |
| 2021-08-19 13:35:32 | <merijn> | And all your defaults happen to exactly match the default values for all types? |
| 2021-08-19 13:35:42 | <kuribas> | I don't really care what goes there. |
| 2021-08-19 13:36:02 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-19 13:36:03 | × | pmk quits (~user@2a02:587:941a:35d9:8f9c:6cb6:67dc:f5e3) (Remote host closed the connection) |
| 2021-08-19 13:36:07 | <kuribas> | They should be ignored anyway. |
| 2021-08-19 13:36:13 | → | Guest23 joins (~Guest23@5.44.169.233) |
| 2021-08-19 13:36:35 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-19 13:37:00 | → | chomwitt joins (~chomwitt@ppp-94-67-193-240.home.otenet.gr) |
| 2021-08-19 13:37:08 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-19 13:37:31 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-19 13:40:09 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-19 13:44:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-19 13:46:10 | × | blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-08-19 13:48:33 | → | blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2021-08-19 13:48:48 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-08-19 13:54:10 | → | Guest666 joins (~Guest666@5.44.169.233) |
| 2021-08-19 13:54:17 | ← | Guest666 parts (~Guest666@5.44.169.233) () |
| 2021-08-19 13:57:10 | ← | Guest23 parts (~Guest23@5.44.169.233) () |
| 2021-08-19 13:58:00 | → | Obo joins (~roberto@78.77.166.185) |
| 2021-08-19 13:58:03 | × | Obo quits (~roberto@78.77.166.185) (Client Quit) |
| 2021-08-19 13:58:31 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 252 seconds) |
| 2021-08-19 14:00:28 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-19 14:02:26 | glider_ | is now known as glider |
| 2021-08-19 14:02:28 | × | jiribenes quits (~jiribenes@rosa.jiribenes.com) (Remote host closed the connection) |
| 2021-08-19 14:03:12 | → | jiribenes joins (~jiribenes@rosa.jiribenes.com) |
| 2021-08-19 14:03:28 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-19 14:05:13 | → | venue joins (~venue@user/venue) |
| 2021-08-19 14:05:49 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-19 14:07:05 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-19 14:08:10 | × | keutoi quits (~keutoi@157.48.212.99) (Ping timeout: 240 seconds) |
| 2021-08-19 14:08:10 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-19 14:09:02 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-19 14:10:18 | → | keutoi joins (~keutoi@106.208.52.146) |
| 2021-08-19 14:12:32 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-19 14:13:22 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-08-19 14:18:58 | × | lortabac quits (~lortabac@62.98.47.131) (Quit: WeeChat 2.8) |
| 2021-08-19 14:19:59 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-19 14:20:22 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-08-19 14:20:22 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-19 14:22:40 | × | keutoi quits (~keutoi@106.208.52.146) (Ping timeout: 240 seconds) |
| 2021-08-19 14:23:04 | × | timCF quits (~timCF@m91-129-108-244.cust.tele2.ee) (Quit: leaving) |
| 2021-08-19 14:23:15 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-19 14:24:43 | → | keutoi joins (~keutoi@157.47.62.21) |
| 2021-08-19 14:26:27 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-19 14:28:27 | × | polyphem quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Ping timeout: 245 seconds) |
| 2021-08-19 14:29:19 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-19 14:30:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-19 14:36:23 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-19 14:39:46 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2021-08-19 14:40:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-19 14:41:26 | → | tommd joins (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-08-19 14:42:10 | → | rovert joins (uid389732@id-389732.tooting.irccloud.com) |
| 2021-08-19 14:42:31 | × | keutoi quits (~keutoi@157.47.62.21) (Ping timeout: 252 seconds) |
| 2021-08-19 14:42:36 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-19 14:44:11 | → | keutoi joins (~keutoi@106.208.52.146) |
| 2021-08-19 14:45:25 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-19 14:48:15 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-19 14:50:06 | → | enoq joins (~enoq@2a05:1141:1f5:5600:eb83:919c:c248:eabe) |
| 2021-08-19 14:50:28 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 268 seconds) |
| 2021-08-19 14:50:40 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-08-19 14:51:21 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-19 14:52:57 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-19 14:54:53 | × | jespada quits (~jespada@90.254.247.46) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-19 14:56:17 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-19 14:56:18 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-19 14:56:33 | × | Neuromancer quits (~Neuromanc@user/neuromancer) (Ping timeout: 248 seconds) |
| 2021-08-19 14:57:52 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-19 14:58:48 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-08-19 14:58:50 | → | d0ku joins (~d0ku@178.43.198.70.ipv4.supernova.orange.pl) |
| 2021-08-19 15:00:40 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds) |
| 2021-08-19 15:02:19 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
All times are in UTC.