Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17979 17980 17981 17982 17983 17984 17985
— 1,798,409 events total
2026-04-22 05:07:24 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-22 05:07:30 → peterbecich joins (~Thunderbi@71.84.33.135)
2026-04-22 05:09:15 → craunts795335385 joins (~craunts@152.32.100.66)
2026-04-22 05:10:32 → tusko joins (~uwu@user/tusko)
2026-04-22 05:11:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-22 05:21:28 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-04-22 05:22:53 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-22 05:26:58 → traxex joins (traxex@user/traxex)
2026-04-22 05:27:14 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-22 05:28:58 → ephapticpulse joins (~user@user/ephapticpulse)
2026-04-22 05:32:50 × bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-04-22 05:34:14 × ephapticpulse quits (~user@user/ephapticpulse) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2026-04-22 05:35:00 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-22 05:37:07 × Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed)
2026-04-22 05:37:21 → Googulator joins (~Googulato@84-236-65-56.pool.digikabel.hu)
2026-04-22 05:39:51 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-04-22 05:40:15 → synchromesh joins (~john@139.180.114.128)
2026-04-22 05:44:34 <gentauro> ski: I have no clue
2026-04-22 05:49:36 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-04-22 05:50:23 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-22 05:51:45 <gentauro> ski: but I would say it looks pretty cool -> https://imgur.com/a/gent-looking-cool-X49HD5E (colourblind here so, don't take my word for it)
2026-04-22 05:52:25 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
2026-04-22 05:54:57 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-22 06:05:45 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-22 06:10:39 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds)
2026-04-22 06:10:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-04-22 06:11:05 → weary-traveler joins (~user@user/user363627)
2026-04-22 06:13:40 → tromp joins (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf)
2026-04-22 06:16:00 × tusko quits (~uwu@user/tusko) (Remote host closed the connection)
2026-04-22 06:16:15 → tusko joins (~uwu@user/tusko)
2026-04-22 06:18:25 × tusko quits (~uwu@user/tusko) (Remote host closed the connection)
2026-04-22 06:18:41 → CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de)
2026-04-22 06:19:37 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
2026-04-22 06:21:09 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-22 06:21:32 → tusko joins (~uwu@user/tusko)
2026-04-22 06:25:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-22 06:26:53 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-04-22 06:27:36 → ec joins (~ec@gateway/tor-sasl/ec)
2026-04-22 06:30:49 <dminuoso> gentauro: It is quite curious how Haskell on one hand strong advertises catching bugs with a type system, and then at the same time offers bottom in so many ways, even across our standard libraries.
2026-04-22 06:31:07 <dminuoso> But perhaps the case can be made that outright crashing a program is a better behavior than being easily caught.
2026-04-22 06:31:28 <dminuoso> If one caught a bottom, without any knowledge of its provenance, how could one reasonably recover anyway
2026-04-22 06:32:45 × czan quits (~czan@user/mange) (Quit: Quittin' time!)
2026-04-22 06:36:02 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-22 06:36:32 × tromp quits (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-22 06:36:55 → Square3 joins (~Square4@user/square)
2026-04-22 06:40:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-22 06:51:35 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-22 06:52:40 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
2026-04-22 06:56:28 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-04-22 06:58:30 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-04-22 06:58:54 → ec joins (~ec@gateway/tor-sasl/ec)
2026-04-22 07:04:47 → tromp joins (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf)
2026-04-22 07:06:57 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-22 07:11:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-04-22 07:15:06 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2026-04-22 07:16:35 × ft quits (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving)
2026-04-22 07:29:33 <ski> gentauro : hm, i meant that your `Show' instance ought to be a separate function, named something different, leaving `Show' to be composable with other `Show' instances (try `show' on a `Maybe SelectGraphicRendition', a `Map String SelectGraphicRendition', or a `[SelectGraphicRendition]', e.g.), so you can use `Show' for debugging
2026-04-22 07:30:52 <ski> gentauro : is "Λ-gent" relating to lambda calculus, in some way ?
2026-04-22 07:32:00 <ski> (maybe the upper case lambda refers to System F ? or perhaps some linear algebra, or maybe some other theory ?)
2026-04-22 07:32:45 <ski> gentauro : is the response to the `/help' command, at the prompt, in faint weight ?
2026-04-22 07:34:22 → misterfish joins (~misterfis@046044172198.static.ipv4.heldenvannu.net)
2026-04-22 07:45:09 × emmanuelux quits (~em@user/emmanuelux) (Quit: bye)
2026-04-22 07:47:26 → __monty__ joins (~toonn@user/toonn)
2026-04-22 08:02:22 → merijn joins (~merijn@77.242.116.146)
2026-04-22 08:03:14 <gentauro> ski: the inital lambda term was `^` (SHIFT+6). Cos of the capital lambda. I never understood why we left doing that for: `\ _ -> …` (Haskell, Elm); `fun _ -> …` (OCaml, F#); `function _ -> …` (ML, F#) :-\
2026-04-22 08:03:31 gentauro `^x.x` looks SO MUCH better :(
2026-04-22 08:04:05 <merijn> Much more annoying to type though
2026-04-22 08:04:28 <gentauro> ski: `Λ-mode>` is bold, input text is "regular" and ouput is "fainted"
2026-04-22 08:05:08 <gentauro> merijn: yeah, but so are Emacs shortkeys. You tend to get used to them ;)
2026-04-22 08:05:40 <gentauro> I will take `^` over `fun …` and `function _` anyday
2026-04-22 08:12:15 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-04-22 08:30:49 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-04-22 08:32:45 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
2026-04-22 08:36:11 → arandombit joins (~arandombi@user/arandombit)
2026-04-22 08:38:10 <[exa]> dminuoso: tbh the bottoms follow the pretty good practice of "if you don't know, crash it loudly"
2026-04-22 08:38:21 → tnt1 joins (~Thunderbi@user/tnt1)
2026-04-22 08:38:35 <[exa]> at least I didn't spot one that wouldn't behave so
2026-04-22 08:39:52 <[exa]> gentauro: what would you use the \ for btw
2026-04-22 08:41:23 <haskellbridge> <Liamzee> monochrom: the question is more, given foo = undefined being extremely cheap, whether Haskell is more given to this type of top down architecting
2026-04-22 08:41:32 <haskellbridge> <Liamzee> i mean it's basically various forms of TyDD anyways
2026-04-22 08:45:02 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2026-04-22 08:51:39 <merijn> Liamzee: better use typed holes via "foo = _" then you not only get a crash, but also a line number AND a type
2026-04-22 08:53:15 <merijn> *and* a warning *and* a way to turn any you forgot into compile time errors :p
2026-04-22 08:53:36 <gentauro> [exa]: funny enough, the .NET (with C#) don't anything at all :o: `Select(x => …);`
2026-04-22 08:55:51 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-04-22 09:03:14 × CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2026-04-22 09:09:04 × tristanC quits (~tristanC@user/tristanc) (Ping timeout: 276 seconds)
2026-04-22 09:10:24 → tristanC joins (~tristanC@2602:61:712f:b700:a215:c067:33c4:f43e)
2026-04-22 09:10:24 × tristanC quits (~tristanC@2602:61:712f:b700:a215:c067:33c4:f43e) (Changing host)
2026-04-22 09:10:24 → tristanC joins (~tristanC@user/tristanc)
2026-04-22 09:15:58 → acidjnk_new joins (~acidjnk@p200300d6e700e575659a3cc58dc6913c.dip0.t-ipconnect.de)
2026-04-22 09:18:27 → terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2)
2026-04-22 09:20:50 → CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de)
2026-04-22 09:22:05 <ski> gentauro : mhm, i see. fwiw, `function _ -> ...' is also OCaml, but not SML (which uses `fn _ => ...')
2026-04-22 09:22:57 × terrorjack quits (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat)
2026-04-22 09:23:53 <ski> (you said "ML", which is (nowadays) an umbrella term for all of SML,OCaml,F# (you could also mention Alice ML if you want, and MetaML,MetaOCaml, and the original Caml))
2026-04-22 09:23:54 → terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2)
2026-04-22 09:26:18 walt is now known as ggVGc
2026-04-22 09:26:50 × misterfish quits (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds)
2026-04-22 09:29:10 → davl_ joins (~davl@207.154.228.18)
←Prev  Next→
Page 1 .. 17979 17980 17981 17982 17983 17984 17985

All times are in UTC.