Logs: liberachat/#haskell
| 2026-03-27 09:33:41 | <geekosaur> | ping spammer 😦 |
| 2026-03-27 09:34:27 | <geekosaur> | ghci originally used gnu readline, but between macs whose "readline" is bsd editline and windows (no got) haskeline was written as a replacement |
| 2026-03-27 09:39:33 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:e66f:4e17:5c81:b836) |
| 2026-03-27 09:39:33 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:e66f:4e17:5c81:b836) (Changing host) |
| 2026-03-27 09:39:33 | → | bggd joins (~bgg@user/bggd) |
| 2026-03-27 09:43:40 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2026-03-27 09:47:17 | → | craunts795335385 joins (~craunts@152.32.99.2) |
| 2026-03-27 09:57:38 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-03-27 10:16:11 | <mesaoptimizer> | geekosaur: you are just jealous that they didn't ping you |
| 2026-03-27 10:16:55 | <mesaoptimizer> | I think nobody uses windows vanilla anymore for any dev work -- everyone uses WSL (ubuntu) |
| 2026-03-27 10:18:58 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-27 10:20:14 | → | img joins (~img@user/img) |
| 2026-03-27 10:21:44 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-27 10:23:50 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-27 10:26:42 | → | acidjnk_new joins (~acidjnk@p200300d6e700e51639eff014b2e91b93.dip0.t-ipconnect.de) |
| 2026-03-27 10:29:42 | <tomsmeding> | never say nobody |
| 2026-03-27 10:30:19 | <tomsmeding> | I know a university here that requires (bachelor = undergraduate) students to have windows because they decided to do the bachelor program in C# |
| 2026-03-27 10:30:25 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e592d8ec8b385b3dd828.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-03-27 10:30:59 | <tomsmeding> | resulting in annoyances with the courses that do not do C# |
| 2026-03-27 10:39:50 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-27 10:43:32 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-27 10:54:40 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-27 10:56:11 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-27 10:57:27 | <haskellbridge> | <magic_rb> And also annoyances with people that value their freedom. Id switch unis. Which one is this? |
| 2026-03-27 10:57:32 | <haskellbridge> | <magic_rb> Which uni can i make fun of |
| 2026-03-27 11:01:10 | <mesaoptimizer> | tomsmeding: by WSL I meant that your host OS is Windows, and it runs ubuntu as a VM with almost native support for hardware and file system access: https://en.wikipedia.org/wiki/Windows_Subsystem_for_Linux |
| 2026-03-27 11:02:44 | → | marinelli joins (~weechat@brrr.fr) |
| 2026-03-27 11:07:31 | × | puke quits (~puke@user/puke) (Ping timeout: 264 seconds) |
| 2026-03-27 11:15:00 | <probie> | tomsmeding: you can write (and run) C# without using Windows; it hasn't been "Windows only" for the past 10 years |
| 2026-03-27 11:19:46 | <__monty__> | Mono definitely was a bit of a second class citizen. Don't know how convenient it is now. |
| 2026-03-27 11:19:50 | → | czan joins (~czan@user/mange) |
| 2026-03-27 11:22:10 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-03-27 11:27:19 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2026-03-27 11:29:23 | <probie> | I wasn't referring to Mono, I was referring to Microsoft adding Linux support to .NET |
| 2026-03-27 11:30:28 | <__monty__> | Wasn't that done through Mono? |
| 2026-03-27 11:32:58 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-03-27 11:33:32 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 245 seconds) |
| 2026-03-27 11:35:03 | <probie> | Mono was a FOSS implementation of .NET done because .NET was originally proprietary. Since 2016 however, .NET is released under an open source license, and coinciding with that first open sourcing release; Microsoft added Linux support |
| 2026-03-27 11:37:51 | → | weary-traveler joins (~user@user/user363627) |
| 2026-03-27 11:38:18 | <Maxdamantus> | Though I don't seem to see any .NET or PowerShell or something in debian. |
| 2026-03-27 11:38:24 | <__monty__> | I thought that basically was Mono, because they acquired Xamarin. |
| 2026-03-27 11:38:54 | <Maxdamantus> | There's still mono in Debian. |
| 2026-03-27 11:42:24 | <Maxdamantus> | Seems to be in alpine. |
| 2026-03-27 11:42:42 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 248 seconds) |
| 2026-03-27 11:43:16 | <Maxdamantus> | $ docker run --rm -it alpine sh -c 'apk add powershell && pwsh' |
| 2026-03-27 11:43:42 | <Maxdamantus> | dotnet included in the installed packages. |
| 2026-03-27 11:47:17 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-27 11:47:37 | → | kronicmage joins (~kronicmag@high-fructose-corn-syrup.csclub.uwaterloo.ca) |
| 2026-03-27 11:48:41 | → | weary-traveler joins (~user@user/user363627) |
| 2026-03-27 11:49:34 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 2026-03-27 11:52:28 | ← | wbrawner parts (~wbrawner@129.146.105.153) () |
| 2026-03-27 11:53:52 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-03-27 11:54:59 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-03-27 11:57:53 | × | kronicmage quits (~kronicmag@high-fructose-corn-syrup.csclub.uwaterloo.ca) (Quit: WeeChat 4.6.3) |
| 2026-03-27 11:59:46 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 248 seconds) |
| 2026-03-27 12:01:32 | → | dutchie joins (~dutchie@user/dutchie) |
| 2026-03-27 12:05:07 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds) |
| 2026-03-27 12:06:55 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 12:27:19 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-03-27 12:27:19 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-03-27 12:27:19 | → | haritz joins (~hrtz@user/haritz) |
| 2026-03-27 12:27:54 | <gentauro> | tomsmeding: are they teaching Windows Forms? |
| 2026-03-27 12:28:31 | <gentauro> | basic .NET (C#) programming can easily be taught with `dotnet` (as in `core`) which runs on most OS/devices |
| 2026-03-27 12:31:08 | gentauro | `"They start with functional programming, so imperative and so object-oriented. With F# you can better show the differences between the approaches. Otherwise it could drown in different syntax and type systems between the languages," explains associate professor and study leader Torben Mogensen from the Department of Computer Science at the University of Copenhagen to Version2`. Source: |
| 2026-03-27 12:31:14 | gentauro | https://www.version2.dk/artikel/funktionelle-sprog-er-tilbage-efter-aars-automatisk-brug-af-objektorientet-programmering (Danish) |
| 2026-03-27 12:31:24 | <gentauro> | it's a good approach to teach the diff paradigms and not get lost in translation |
| 2026-03-27 12:31:32 | gentauro | Athas are you guys still doing this at DIKU? |
| 2026-03-27 12:33:29 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2026-03-27 12:34:01 | → | dutchie joins (~dutchie@user/dutchie) |
| 2026-03-27 12:46:10 | → | xff0x joins (~xff0x@2405:6580:b080:900:695e:e47a:827e:b9ce) |
| 2026-03-27 12:48:10 | → | danz58683 joins (~danza@user/danza) |
| 2026-03-27 12:49:24 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-03-27 12:51:58 | <L29Ah> | lost my precious ghci history when power ran out |
| 2026-03-27 12:52:20 | <L29Ah> | apparently ghci only saves history when exiting :( |
| 2026-03-27 12:54:50 | <mesaoptimizer> | L29Ah: try https://github.com/DataHaskell/sabela if it fits your needs, I've been quite enthuasiastic about it |
| 2026-03-27 12:55:42 | <mesaoptimizer> | One downside with GHCi and sabela is that they don't have HLS integration but that's a problem anyway if you don't use actual Haskell files, I believe |
| 2026-03-27 12:55:47 | → | Guest62t joins (~Guest62t@p200300ca8f33c7004094c99c1bc7419e.dip0.t-ipconnect.de) |
| 2026-03-27 12:56:18 | <probie> | gentauro: The Australian National University teaches some Haskell, and then moves to Java. Based on my experience tutoring the relevant courses, there's not a huge amount of friction generated by the change in syntax and type systems. This seems a bit like a "premature optimisation" |
| 2026-03-27 12:57:15 | <mesaoptimizer> | 'how to torture university students' |
| 2026-03-27 12:57:21 | <L29Ah> | https://github.com/haskell/haskeline/issues/5 :_( |
| 2026-03-27 12:59:05 | <mesaoptimizer> | perhaps you could optimize the pain. what is the optimal first language and second language to make uni students use, such that you can traumatize them with the second? |
| 2026-03-27 13:01:06 | × | st_aldini quits (~Betterbir@2605:a601:a07c:7426:a9c5:df0c:3e0f:b451) (Ping timeout: 248 seconds) |
| 2026-03-27 13:01:15 | → | euphores joins (~SASL_euph@user/euphores) |
| 2026-03-27 13:02:06 | <mesaoptimizer> | I considered Agda and then assembler, but assembler does have a coherent semantics in terms of the user facing ISA so that wouldn't count |
| 2026-03-27 13:02:43 | <mesaoptimizer> | I think yaml files / kubernetes / system admin would be maximally painful as a second course |
| 2026-03-27 13:05:03 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-27 13:05:29 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-03-27 13:05:51 | → | polykernel joins (~polykerne@user/polykernel) |
| 2026-03-27 13:07:16 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2026-03-27 13:08:42 | × | czan quits (~czan@user/mange) (Quit: Zzz...) |
| 2026-03-27 13:10:10 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 248 seconds) |
| 2026-03-27 13:10:10 | polykernel_ | is now known as polykernel |
| 2026-03-27 13:20:42 | <Athas> | L29Ah: PRs welcome! |
| 2026-03-27 13:21:22 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.2) |
| 2026-03-27 13:24:17 | <L29Ah> | Athas: https://github.com/haskell/haskeline/pull/148 |
| 2026-03-27 13:28:46 | <Athas> | Oh, there's a stale one. Does it still work? |
| 2026-03-27 13:31:55 | <L29Ah> | Athas: i don't know, i don't want to rebuild my entire haskell ecosystem to check if it works because it modifies a bundled ghc library |
| 2026-03-27 13:35:53 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-27 13:40:31 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 2026-03-27 13:56:07 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
All times are in UTC.