Logs: liberachat/#haskell
| 2026-04-22 16:26:44 | <gentauro> | c_wraith: hmmmm, the syntax is very similar then |
| 2026-04-22 16:27:10 | <gentauro> | however, I don't think YAML has `if-statements` |
| 2026-04-22 16:27:45 | × | vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-22 16:27:48 | <c_wraith> | Think of it the other way around. YAML has a *ton* of syntactic constructs that cabal doesn't support. |
| 2026-04-22 16:27:48 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2026-04-22 16:28:31 | <c_wraith> | If you try to treat it as YAML, you'll quickly discover it's not even close |
| 2026-04-22 16:32:06 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-04-22 16:33:56 | → | Square2 joins (~Square@user/square) |
| 2026-04-22 16:34:04 | × | Square3 quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-04-22 16:34:18 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 16:34:30 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 2026-04-22 16:34:49 | → | Googulator joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 16:35:18 | <EvanR> | has anyone ever heard of a FRP + cybernetics blog post or article or something |
| 2026-04-22 16:38:02 | → | vgtw joins (~vgtw@user/vgtw) |
| 2026-04-22 16:38:06 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-04-22 16:38:26 | → | EvanR joins (~EvanR@user/evanr) |
| 2026-04-22 16:40:45 | <gentauro> | EvanR: that sound like something Elon Musk would do … |
| 2026-04-22 16:41:02 | × | bggd quits (~bgg@user/bggd) (Quit: std::move) |
| 2026-04-22 16:41:10 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-04-22 16:41:11 | × | tromp quits (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 16:45:12 | → | confusedalex_ joins (~confuseda@user/confusedalex) |
| 2026-04-22 16:45:57 | × | confusedalex quits (~confuseda@user/confusedalex) (Ping timeout: 244 seconds) |
| 2026-04-22 16:45:57 | confusedalex_ | is now known as confusedalex |
| 2026-04-22 16:46:24 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-22 16:52:35 | × | tnt1 quits (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-22 16:52:57 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-22 17:07:50 | → | tromp joins (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 17:08:28 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-22 17:19:19 | × | tromp quits (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 17:20:42 | → | ephapticpulse joins (~user@user/ephapticpulse) |
| 2026-04-22 17:27:33 | → | tromp joins (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 17:31:03 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2026-04-22 17:37:11 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 268 seconds) |
| 2026-04-22 17:44:04 | × | rabbull quits (~rabbull@user/rabbull) (Quit: Ping timeout (120 seconds)) |
| 2026-04-22 17:44:17 | → | rabbull joins (~rabbull@user/rabbull) |
| 2026-04-22 17:50:25 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 17:50:50 | <monochrom> | (Belated) If one wants to ban bottoms, the only two currently widely deployed ways are System F (eg Dhall) and dependent type theory (eg Agda, Lean). |
| 2026-04-22 17:51:32 | <monochrom> | To be sure, I would be happy if someone found a third way much more ergonomic than those two. |
| 2026-04-22 17:52:06 | <monochrom> | For now, IMO banning bottoms is just a lot of high-horse unpragmatic talk. |
| 2026-04-22 17:52:49 | <monochrom> | (unless the talker actually advocates going all out for those two) |
| 2026-04-22 17:53:51 | <int-e> | monochrom: if it can implement the Ackermann function, is it really terminating ;) |
| 2026-04-22 17:54:23 | <monochrom> | Yeah my thesis supervisor is like "termination is uninformative" because of that. |
| 2026-04-22 17:56:07 | → | ft joins (~ft@p508db287.dip0.t-ipconnect.de) |
| 2026-04-22 18:01:22 | <monochrom> | When I took a compiler course, I submitted as a test case the Ackermann function! (The prof gave bonus marks for supporting recursion.) |
| 2026-04-22 18:02:35 | <monochrom> | (When I took a compiler course and submitted its toy compiler project) |
| 2026-04-22 18:20:46 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-22 18:25:09 | × | Digit quits (~user@user/digit) (Ping timeout: 244 seconds) |
| 2026-04-22 18:29:24 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-04-22 18:30:03 | ski | . o O ( "Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking" by Baltasar Trancón y Widemann in 2018-09-17 at <https://arxiv.org/abs/1602.05010> ) |
| 2026-04-22 18:34:34 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-22 18:35:39 | <gentauro> | monochrom: can you ban `bottom` with Liquid Haskell comments? |
| 2026-04-22 18:36:03 | <monochrom> | I guess yes. |
| 2026-04-22 18:36:32 | <monochrom> | But I have a feeling that Liquid Haskell is even less widely used than Lean. |
| 2026-04-22 18:38:38 | <gentauro> | I tried to use it, couldn't make it build (nightly though) |
| 2026-04-22 18:38:44 | <gentauro> | must try again I guess |
| 2026-04-22 18:41:25 | <monochrom> | Personally I just fight bottom mistakes with test cases. This is more powerful in Haskell than in many other languages. Due to parametricity, if a sufficiently polymorphic function terminates for one test, then it terminates for a large generality. |
| 2026-04-22 18:43:47 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-22 18:52:53 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a809:4899:76b6:a7ce) |
| 2026-04-22 18:52:53 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a809:4899:76b6:a7ce) (Changing host) |
| 2026-04-22 18:52:53 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-22 19:03:03 | → | lewisbrown joins (~user@15.218.2.231) |
| 2026-04-22 19:03:52 | × | vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-22 19:22:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 19:27:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-22 19:32:42 | × | lewisbrown quits (~user@15.218.2.231) (Changing host) |
| 2026-04-22 19:32:42 | → | lewisbrown joins (~user@user/lewisbrown) |
| 2026-04-22 19:37:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 19:44:13 | × | Square2 quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 2026-04-22 19:44:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 19:55:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 19:58:24 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-22 19:58:42 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-04-22 20:00:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-22 20:01:14 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-04-22 20:09:42 | ← | lewisbrown parts (~user@user/lewisbrown) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-22 20:10:43 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-04-22 20:11:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 20:14:09 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-22 20:16:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-22 20:20:16 | × | slomp quits (~slomp@47-158-199-90.lsan.ca.frontiernet.net) (Ping timeout: 244 seconds) |
| 2026-04-22 20:22:47 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 20:23:05 | → | Googulator joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 20:27:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 20:27:56 | → | slomp joins (~slomp@47-158-199-90.lsan.ca.frontiernet.net) |
| 2026-04-22 20:28:57 | <EvanR> | monochrom, also HTML has no bottoms |
| 2026-04-22 20:29:04 | <EvanR> | it's widely deployed |
| 2026-04-22 20:29:45 | <EvanR> | though I now see my old suggestion to add "functions" to HTML would then need some dhall sauce or lean sauce to not ruin that |
| 2026-04-22 20:30:27 | <EvanR> | or homotopy type theory sauce |
| 2026-04-22 20:30:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-22 20:30:57 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-04-22 20:32:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 20:43:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 20:46:06 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 2026-04-22 20:48:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-22 20:49:21 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-22 20:51:28 | → | digitteknohippie joins (~user@user/digit) |
| 2026-04-22 20:54:05 | → | tok joins (~user@user/tok) |
| 2026-04-22 20:54:46 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 20:54:47 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 20:55:00 | → | Googulator joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
All times are in UTC.