Logs: liberachat/#haskell
| 2021-06-01 07:46:41 | <dminuoso> | Yet another haskell bot |
| 2021-06-01 07:46:55 | <albet70> | :) |
| 2021-06-01 07:47:04 | <dminuoso> | yahb exposes ghci directly, while lambdabot is way more special and multi purpose |
| 2021-06-01 07:47:21 | <dminuoso> | lambdabot has stuff like @pl |
| 2021-06-01 07:47:40 | <albet70> | and hoogle bot? |
| 2021-06-01 07:47:52 | <dminuoso> | Mmm, I think lambdabot can hoogle |
| 2021-06-01 07:47:56 | <dminuoso> | @hoogle a -> a |
| 2021-06-01 07:47:56 | <lambdabot> | Prelude id :: a -> a |
| 2021-06-01 07:47:56 | <lambdabot> | Data.Function id :: a -> a |
| 2021-06-01 07:47:56 | <lambdabot> | GHC.Base breakpoint :: a -> a |
| 2021-06-01 07:48:03 | <albet70> | ok |
| 2021-06-01 07:48:19 | → | schuelermine joins (~anselmsch@user/schuelermine) |
| 2021-06-01 07:48:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 07:49:07 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-01 07:52:04 | × | Athas quits (athas@2a01:7c8:aaac:1cf:7de4:bc5c:7241:d6d9) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-01 07:52:14 | → | Athas joins (athas@sigkill.dk) |
| 2021-06-01 07:52:40 | × | Flonk quits (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Quit: Ping timeout (120 seconds)) |
| 2021-06-01 07:53:06 | → | Flonk joins (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) |
| 2021-06-01 07:54:32 | → | shryke joins (~shryke@190.43.6.93.rev.sfr.net) |
| 2021-06-01 07:56:02 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-01 07:56:21 | → | shryke_ joins (~shryke@91.103.43.254) |
| 2021-06-01 07:56:39 | → | bfrk joins (~Thunderbi@200116b84593d400e083e41adfb91d63.dip.versatel-1u1.de) |
| 2021-06-01 07:58:01 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-06-01 07:58:05 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-01 07:58:45 | → | brandonh joins (~brandonh@151.44.69.241) |
| 2021-06-01 07:59:06 | × | shryke quits (~shryke@190.43.6.93.rev.sfr.net) (Ping timeout: 264 seconds) |
| 2021-06-01 07:59:35 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-01 08:03:27 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-01 08:05:04 | → | dhil joins (~dhil@195.213.192.85) |
| 2021-06-01 08:07:28 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-06-01 08:07:36 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-06-01 08:08:11 | × | beka quits (~beka@104.193.170-254.PUBLIC.monkeybrains.net) (Ping timeout: 252 seconds) |
| 2021-06-01 08:08:35 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-06-01 08:08:42 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-01 08:08:58 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-01 08:10:07 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds) |
| 2021-06-01 08:12:30 | → | ikex joins (~ash@user/ikex) |
| 2021-06-01 08:13:56 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-01 08:16:54 | × | azeem quits (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Remote host closed the connection) |
| 2021-06-01 08:17:03 | → | azeem joins (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-06-01 08:19:49 | × | guest0123 quits (~aaron@2601:602:a080:fa0:21da:7ddc:2cc6:a10c) (Ping timeout: 272 seconds) |
| 2021-06-01 08:21:23 | × | thiross quits (~user@173.242.113.143.16clouds.com) (Ping timeout: 252 seconds) |
| 2021-06-01 08:21:37 | → | thiross joins (~user@173.242.113.143.16clouds.com) |
| 2021-06-01 08:23:51 | → | fendor_ joins (~fendor@178.165.178.245.wireless.dyn.drei.com) |
| 2021-06-01 08:25:23 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-06-01 08:26:42 | × | fendor quits (~fendor@178.115.56.93.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2021-06-01 08:27:54 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-01 08:33:22 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-06-01 08:35:05 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 264 seconds) |
| 2021-06-01 08:36:23 | fendor_ | is now known as fendor |
| 2021-06-01 08:36:46 | × | xff0x_ quits (~xff0x@2001:1a81:52ca:4f00:5ed9:a747:2841:c1b7) (Ping timeout: 264 seconds) |
| 2021-06-01 08:37:30 | → | xff0x_ joins (~xff0x@2001:1a81:52ca:4f00:158d:7c0b:fd80:1302) |
| 2021-06-01 08:37:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2021-06-01 08:39:51 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-01 08:40:41 | × | schuelermine quits (~anselmsch@user/schuelermine) (Quit: WeeChat 3.1) |
| 2021-06-01 08:43:14 | <Taneb> | I dislike Yesod-style pervasive quasiquotes :( |
| 2021-06-01 08:45:02 | <Hecate> | Taneb: I managed to avoid persistent, working with Yesod |
| 2021-06-01 08:45:11 | <Hecate> | but uh, the route declaration still resists :< |
| 2021-06-01 08:46:24 | × | Guest6538 quits (~Guest65@2400:8902::f03c:92ff:fe60:98d8) (Quit: Client closed) |
| 2021-06-01 08:47:08 | <albet70> | I use scotty |
| 2021-06-01 08:47:14 | <albet70> | it's more easy to ise |
| 2021-06-01 08:47:16 | <albet70> | ise |
| 2021-06-01 08:50:05 | × | azeem quits (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-01 08:52:14 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-06-01 08:53:49 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 272 seconds) |
| 2021-06-01 08:56:06 | → | wanagnuj joins (~wanagnuj@101.95.97.158) |
| 2021-06-01 08:56:26 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-01 08:57:25 | → | kuribas joins (~user@ptr-25vy0i96apm5u45pamz.18120a2.ip6.access.telenet.be) |
| 2021-06-01 08:58:38 | <merijn> | Friends don't let friends use persistent >.> |
| 2021-06-01 08:59:29 | <kuribas> | merijn: why not? |
| 2021-06-01 09:00:57 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Remote host closed the connection) |
| 2021-06-01 09:00:59 | <merijn> | The API is incredibly hard to use safely/correctly, it makes it incredibly tedious to do non-trivial operations and in general (in the long run) just seems to produce more work than it saves |
| 2021-06-01 09:01:33 | <merijn> | Oh, also easy to leak resources |
| 2021-06-01 09:01:38 | → | matsurago joins (~matsurago@nttkyo1723091.tkyo.nt.ngn.ppp.infoweb.ne.jp) |
| 2021-06-01 09:01:59 | <merijn> | Because it was designed for an older version of conduit (that guaranteed prompt finalisation), but conduit no longer does that |
| 2021-06-01 09:02:17 | → | azeem joins (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-06-01 09:02:41 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 264 seconds) |
| 2021-06-01 09:03:10 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-06-01 09:03:31 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-06-01 09:03:53 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 264 seconds) |
| 2021-06-01 09:04:14 | <Taneb> | Sadly I am stuck with persistent |
| 2021-06-01 09:04:37 | <boxscape> | % type A :: forall a -> (Allowed a ~ True) => Type; data A a = A a deriving Show |
| 2021-06-01 09:04:37 | <yahb> | boxscape: ; <interactive>:14:45: error:; Ambiguous occurrence `Type'; It could refer to; either `Language.Haskell.TH.Type', imported from `Language.Haskell.TH' (and originally defined in `Language.Haskell.TH.Syntax'); or `Data.Kind.Type', imported from `Data.Kind' (and originally defined in `GHC.Types') |
| 2021-06-01 09:04:42 | <Taneb> | My objection is quasiquotes mean I have to learn another, poorly documented, language, to do anythiing |
| 2021-06-01 09:04:43 | <boxscape> | err |
| 2021-06-01 09:04:57 | <boxscape> | % type family Allowed a where Allowed Int = True; Allowed _ = False |
| 2021-06-01 09:04:57 | <yahb> | boxscape: |
| 2021-06-01 09:04:58 | <boxscape> | % type A :: forall a -> (Allowed a ~ True) => *; data A a = A a deriving Show |
| 2021-06-01 09:04:58 | <yahb> | boxscape: |
| 2021-06-01 09:05:02 | <boxscape> | % A "not allowed" |
| 2021-06-01 09:05:02 | <yahb> | boxscape: A "not allowed" |
| 2021-06-01 09:05:09 | <boxscape> | this does not seem like it should work? |
| 2021-06-01 09:05:09 | → | dunj3 joins (~dunj3@2001:16b8:3059:9800:5856:7ab4:1dd8:26ae) |
| 2021-06-01 09:06:27 | <merijn> | Taneb: Same |
| 2021-06-01 09:07:02 | <merijn> | Taneb: But the fact that I have a considerable amount of commits in persistent to keep my own stuff working is why I can't recommend others get started with it :p |
| 2021-06-01 09:07:31 | <merijn> | My advice would be: Just use SQL >.> |
| 2021-06-01 09:09:18 | <tdammers> | SQL is a pretty reasonable DSL for SQL |
| 2021-06-01 09:09:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-01 09:10:33 | <merijn> | SQL also really scratches my "purely functional language with a basis in math" itch :p |
| 2021-06-01 09:10:51 | <nshepperd> | boxscape: i don't think class constraints in kinds work, or mean anything |
All times are in UTC.