Logs: liberachat/#haskell
| 2026-01-23 21:28:41 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-23 21:28:52 | <EvanR> | a consensus about lisp sounds ominous AF |
| 2026-01-23 21:28:54 | <monochrom> | Someone wrote a "Liskell" for Lisp syntax but Haskell semantics. :) |
| 2026-01-23 21:29:08 | → | haritz joins (~hrtz@140.228.70.141) |
| 2026-01-23 21:29:08 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 2026-01-23 21:29:08 | → | haritz joins (~hrtz@user/haritz) |
| 2026-01-23 21:31:29 | <EvanR> | I'm fascinated by the one or two APLs implemented in haskell |
| 2026-01-23 21:31:52 | <EvanR> | because of how much it can be decomplected |
| 2026-01-23 21:32:14 | <EvanR> | (not that they ended up optimized in any way) |
| 2026-01-23 21:36:19 | jmcantrell_ | is now known as jmcantrell |
| 2026-01-23 21:41:57 | <haskellbridge> | <sm> did you see that APL video I linked EvanR ? |
| 2026-01-23 21:42:12 | <EvanR> | I'm not sure |
| 2026-01-23 21:43:59 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-23 21:46:03 | <haskellbridge> | <sm> ah, it was in the matrix Haskell room. "random: this talk on APL teaching and style (https://youtu.be/9xCJ3BCIudI) was really interesting. Contrasts (and similarities) with Haskell came up a few times." |
| 2026-01-23 21:54:54 | → | acidjnk joins (~acidjnk@p200300d6e71719732cd814db2eedd90f.dip0.t-ipconnect.de) |
| 2026-01-23 21:55:13 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds) |
| 2026-01-23 22:01:35 | <gentauro> | oh Dialog, Swedish company that was purchased by SimCorp iirc |
| 2026-01-23 22:01:54 | <gentauro> | I guess now SimCorp "owns" APL |
| 2026-01-23 22:01:55 | <gentauro> | :( |
| 2026-01-23 22:12:12 | → | Googulator joins (~Googulato@2a01-036d-0106-030a-3891-da7f-f3f3-f997.pool6.digikabel.hu) |
| 2026-01-23 22:14:49 | × | Psychotic1 quits (~Psychotic@2600:1007:b0a4:acff:921e:44c6:4ad9:edda) (Quit: Leaving) |
| 2026-01-23 22:15:14 | → | Psychotic1 joins (~Psychotic@2600:1007:b0a4:acff:921e:44c6:4ad9:edda) |
| 2026-01-23 22:16:09 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 2026-01-23 22:25:21 | × | Psychotic1 quits (~Psychotic@2600:1007:b0a4:acff:921e:44c6:4ad9:edda) (Remote host closed the connection) |
| 2026-01-23 22:40:01 | <haskellbridge> | <Liamzee> is it better or worse than for is a function in Haskell, vs being a macro in Lisp or syntax in a traditional language? |
| 2026-01-23 22:40:38 | <geekosaur> | does it have to be one or the other? |
| 2026-01-23 22:40:48 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-01-23 22:41:15 | → | Gravifer joins (~Gravifer@user/Gravifer) |
| 2026-01-23 22:41:26 | <haskellbridge> | <Liamzee> well, i was wondering if for/for_ being functions in Haskell were advantages, HOF zoo has the issue that you'd actually need to know what the HOFs used are |
| 2026-01-23 22:41:38 | <geekosaur> | Haskell's laziness lets you define some things that must be built-in control structures in other languages as functions. But the same can be said of Tcl and Ruby, in their own ways |
| 2026-01-23 22:42:03 | × | Gravifer quits (~Gravifer@user/Gravifer) (Client Quit) |
| 2026-01-23 22:42:15 | <haskellbridge> | <Liamzee> i mean any language with strong macros can define custom control structures |
| 2026-01-23 22:42:15 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-01-23 22:42:23 | → | Gravifer joins (~Gravifer@user/Gravifer) |
| 2026-01-23 22:42:31 | <haskellbridge> | <Liamzee> well, runtime macros |
| 2026-01-23 22:43:09 | <geekosaur> | what I was getting at is that I consider them just different mechanisms. each may have advantages in some situations and disadvantages in others |
| 2026-01-23 22:43:55 | <monochrom> | Haskell does not have a good macro story, so lazy function is usually better in Haskell. (Try implementing "for" as a TH macro, then try using it.) |
| 2026-01-23 22:44:29 | <monochrom> | Conversely, Lisp doesn't have a good laziness story, so macro is better! |
| 2026-01-23 22:45:02 | <monochrom> | And like geekosaur said, there is also a symmetric difference. |
| 2026-01-23 22:46:24 | <haskellbridge> | <Liamzee> i guess macros vs functions is more of a smaller difference, macros tend to be untyped, functions tend to be typed |
| 2026-01-23 22:46:35 | <monochrom> | What I don't like about Lisp/Scheme macros is that if you write so much as "(f x)" then I have no idea what's its evaluation order because I can't remember whether f is a function or a macro. |
| 2026-01-23 22:46:38 | <haskellbridge> | <Liamzee> the real question is whether hof zoo is a key advantage |
| 2026-01-23 22:47:04 | <monochrom> | (Sure, I can look up the docs. Now add the empirical fact that programmers don't write docs.) |
| 2026-01-23 22:47:30 | <geekosaur> | functions aren't typed in scheme, amnd as monochrom says, there's no way to tell just from looking at code using it whether it's even a function |
| 2026-01-23 22:47:51 | <haskellbridge> | <Liamzee> i love my traverse abuse, turning control flow into data is fun |
| 2026-01-23 22:47:54 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-23 22:48:19 | <geekosaur> | and macros can be typed (see typed TH, granting that TH is not very usable as macro systems go) |
| 2026-01-23 22:49:43 | <haskellbridge> | <Liamzee> but i guess the real point is that there's no real advantage to let (@) = (,) in traverse (uncurry when) [ cond @ action...] |
| 2026-01-23 22:54:05 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2026-01-23 23:00:41 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-23 23:05:49 | × | Gravifer quits (~Gravifer@user/Gravifer) (Ping timeout: 272 seconds) |
| 2026-01-23 23:08:14 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2026-01-23 23:10:34 | → | Googulator63 joins (~Googulato@2a01-036d-0106-030a-3891-da7f-f3f3-f997.pool6.digikabel.hu) |
| 2026-01-23 23:10:34 | × | Googulator quits (~Googulato@2a01-036d-0106-030a-3891-da7f-f3f3-f997.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-23 23:14:28 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2026-01-23 23:15:59 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2026-01-23 23:30:59 | → | tydes joins (~tydes@user/ttydes) |
| 2026-01-23 23:31:39 | × | timide_ quits (~timide@user/timide) (Quit: WeeChat 4.7.2) |
| 2026-01-23 23:31:43 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2026-01-23 23:42:55 | → | Inline joins (~User@2001-4dd7-bc56-0-9df6-8597-3530-1076.ipv6dyn.netcologne.de) |
| 2026-01-23 23:51:21 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2026-01-23 23:51:21 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-23 23:57:11 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-24 00:06:34 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2026-01-24 00:07:52 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-01-24 00:23:36 | <Leary> | chromoblob: The `LFP`/`GFP` section is written so as to highlight their strong duality; to better understand other aspects you can "simplify" the code by hand. Starting from `ListF` the rest is supposed to be readily understood as-written, but familiarity with the underlying concept of recursion schemes would certainly help. |
| 2026-01-24 00:40:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-24 00:50:54 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-01-24 01:03:22 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-24 01:03:34 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-24 01:08:23 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2026-01-24 01:11:34 | × | emmanuelux quits (~em@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-24 01:16:14 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-24 01:19:42 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-01-24 01:22:11 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-24 01:22:38 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-01-24 01:31:03 | → | Henson joins (~kvirc@192-0-202-2.cpe.teksavvy.com) |
| 2026-01-24 01:31:58 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-24 01:33:18 | <Henson> | I'm trying to use haskell-language-server with VSCode on NixOS. It worked prior to me breaking my executable down into various modules, and it still partially works. However it has become unable to do the "find all references" and "go to definition" tasks properly. Even with functions that are within the same module it's only able to locate some but not others. Does anybody have any thoughts? |
| 2026-01-24 01:38:00 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-24 01:41:08 | × | trickard quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2026-01-24 01:41:25 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-24 01:42:42 | → | omidmash0 joins (~omidmash@user/omidmash) |
| 2026-01-24 01:43:55 | × | emmanuelux quits (~em@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-24 01:44:25 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2026-01-24 01:44:25 | omidmash0 | is now known as omidmash |
| 2026-01-24 01:45:23 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-24 02:00:01 | trickard_ | is now known as trickard |
| 2026-01-24 02:00:02 | trickard | is now known as 040AAOF9Y |
| 2026-01-24 02:10:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-24 02:23:57 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2026-01-24 02:44:32 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2026-01-24 02:57:27 | × | spew quits (~spew@user/spew) (Read error: Connection reset by peer) |
| 2026-01-24 02:57:43 | → | spew joins (~spew@user/spew) |
| 2026-01-24 03:11:13 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-01-24 03:20:25 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-24 03:21:11 | × | 040AAOF9Y quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-24 03:21:23 | → | trickard joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-24 03:28:36 | × | Katarushisu6 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2026-01-24 03:28:54 | → | Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
All times are in UTC.