2024-05-14 00:09:04 +0200 | sadome | (~sadome@user/sadome) |
2024-05-14 00:09:05 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-14 00:14:15 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
2024-05-14 00:15:32 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-14 00:16:04 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-14 00:18:03 +0200 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-14 00:21:34 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-14 00:33:23 +0200 | yin | (~yin@user/zero) |
2024-05-14 00:37:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-14 00:39:09 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-14 00:43:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-05-14 00:43:45 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc37b9c7c34e6fbc03d6.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-05-14 00:44:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-14 00:51:13 +0200 | Ryan54 | (~Ryan@2601:602:8b00:b0f0:598b:fb7d:e718:eb36) (Quit: Client closed) |
2024-05-14 00:57:23 +0200 | son0p | (~ff@152.203.77.121) (Quit: Leaving) |
2024-05-14 01:08:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-05-14 01:08:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-14 01:20:27 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-05-14 01:24:28 +0200 | son0p | (~ff@152.203.77.121) |
2024-05-14 01:34:18 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-05-14 01:37:24 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-14 01:42:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-14 01:43:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-05-14 01:48:02 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-05-14 01:50:00 +0200 | yin | (~yin@user/zero) |
2024-05-14 01:56:32 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
2024-05-14 01:56:42 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-14 01:57:34 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
2024-05-14 01:58:18 +0200 | yin | (~yin@user/zero) |
2024-05-14 01:59:06 +0200 | mei | (~mei@user/mei) |
2024-05-14 02:02:55 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 272 seconds) |
2024-05-14 02:08:31 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 246 seconds) |
2024-05-14 02:09:21 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-14 02:11:05 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
2024-05-14 02:14:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-14 02:14:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-05-14 02:16:24 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-14 02:18:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-05-14 02:30:10 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
2024-05-14 02:32:03 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-14 02:34:44 +0200 | califax | (~califax@user/califx) |
2024-05-14 03:03:52 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection) |
2024-05-14 03:08:52 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
2024-05-14 03:11:15 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
2024-05-14 03:11:57 +0200 | otto_s | (~user@p5de2fd19.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-05-14 03:12:09 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-14 03:13:32 +0200 | otto_s | (~user@p5de2fc4f.dip0.t-ipconnect.de) |
2024-05-14 03:16:41 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
2024-05-14 03:23:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-05-14 03:24:41 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-05-14 03:29:36 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-14 03:32:26 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-05-14 03:34:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b7f1:8627:ae1f:1fb0) (Ping timeout: 255 seconds) |
2024-05-14 03:55:23 +0200 | phma | (phma@2001:5b0:210b:c738:d0e0:5870:ec8f:f731) (Read error: Connection reset by peer) |
2024-05-14 03:55:47 +0200 | phma | (~phma@host-67-44-208-11.hnremote.net) |
2024-05-14 03:57:25 +0200 | Square2 | (~Square4@user/square) |
2024-05-14 04:08:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-14 04:13:47 +0200 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 256 seconds) |
2024-05-14 04:15:33 +0200 | td_ | (~td@i53870907.versanet.de) |
2024-05-14 04:18:04 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-14 04:19:41 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-14 04:23:59 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
2024-05-14 04:25:48 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-14 04:36:23 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
2024-05-14 04:42:24 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-14 05:19:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-05-14 05:19:33 +0200 | danza | (~francesco@151.57.214.17) |
2024-05-14 05:19:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-14 05:31:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-05-14 05:42:27 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-14 05:54:05 +0200 | mei | (~mei@user/mei) (Ping timeout: 240 seconds) |
2024-05-14 05:55:20 +0200 | mei | (~mei@user/mei) |
2024-05-14 05:55:44 +0200 | yin | (~yin@user/zero) |
2024-05-14 05:55:47 +0200 | aforemny_ | (~aforemny@i59F516F1.versanet.de) |
2024-05-14 05:56:22 +0200 | aforemny | (~aforemny@i59F516F4.versanet.de) (Ping timeout: 246 seconds) |
2024-05-14 06:00:56 +0200 | rekahsoft | (~rekahsoft@184.148.6.204) (Ping timeout: 256 seconds) |
2024-05-14 06:04:48 +0200 | yin | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-05-14 06:05:35 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2024-05-14 06:06:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2024-05-14 06:06:26 +0200 | yin | (~yin@user/zero) |
2024-05-14 06:08:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-14 06:16:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-05-14 06:21:18 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-14 06:22:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-05-14 06:23:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-14 06:37:46 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 256 seconds) |
2024-05-14 06:39:49 +0200 | <cheater> | i feel like haskell would be better if arguments were non-positional, i.e. you could supply them in any order |
2024-05-14 06:40:14 +0200 | <cheater> | rarely do functions have the same type multiple times, and when they do it's usually like a binary or ternary function and then you can explicitly order them with a tuple |
2024-05-14 06:40:39 +0200 | <danza> | make a product type for that? |
2024-05-14 06:41:56 +0200 | <cheater> | idk what you're saying |
2024-05-14 06:42:23 +0200 | <cheater> | if you look at type sigs, f :: A -> B -> C is basically a tuple. the only reason it's not exactly the same thing as (A, B, C) is currying. |
2024-05-14 06:44:17 +0200 | <cheater> | so what if we had a type constructor that's like (->) but binds less tightly than (->) and doesn't care about order. say (&). You could write f :: X & A -> B -> C & Y & Z -> Out, and then you could go like f a b c x y z, or f a x b y c z, or f x y z a b c |
2024-05-14 06:44:29 +0200 | <cheater> | whatever's useful |
2024-05-14 06:46:16 +0200 | <danza> | other languages that support out-of-order arguments end up with a syntax similar to { arg = val } like one would easily achieve with a product type |
2024-05-14 07:00:59 +0200 | <cheater> | like what languages are you thinking of |
2024-05-14 07:09:14 +0200 | <glguy> | cheater: that would only make sense in a vary narrow subset of Haskell |
2024-05-14 07:09:31 +0200 | <cheater> | why |
2024-05-14 07:09:34 +0200 | <glguy> | > id succ 10 |
2024-05-14 07:09:35 +0200 | <lambdabot> | 11 |
2024-05-14 07:09:37 +0200 | <glguy> | :t id |
2024-05-14 07:09:38 +0200 | <lambdabot> | a -> a |
2024-05-14 07:10:00 +0200 | <glguy> | You need to know the order of application to even attempt to type-check an expression |
2024-05-14 07:10:08 +0200 | <cheater> | id only has one argument |
2024-05-14 07:10:08 +0200 | <glguy> | function in haskell *only* have one argument |
2024-05-14 07:10:18 +0200 | <glguy> | but that doesn't mean you can't apply the result as a function |
2024-05-14 07:10:21 +0200 | <cheater> | ok ok |
2024-05-14 07:10:29 +0200 | <cheater> | i see where you're coming from |
2024-05-14 07:10:29 +0200 | <glguy> | all functions have one argument; no functions have two |
2024-05-14 07:10:34 +0200 | <cheater> | but i don't think that's an issue |
2024-05-14 07:10:38 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-14 07:11:31 +0200 | michalz | (~michalz@185.246.207.193) |
2024-05-14 07:11:59 +0200 | <glguy> | beyond it simply not working with the way types in Haskell work, it'd be a complete disaster for readability |
2024-05-14 07:12:17 +0200 | <glguy> | now to know what: f x y means, you have to work out the types of f, x, and y before you can know which thing is which |
2024-05-14 07:12:30 +0200 | <cheater> | idk that it would be, people say haskell's syntax is a complete disaster for readability too |
2024-05-14 07:12:42 +0200 | <cheater> | yeah you know that one usually when reading code |
2024-05-14 07:12:51 +0200 | <cheater> | if you lose track of that then your code is too messy anyways |
2024-05-14 07:12:55 +0200 | <glguy> | no, that's not a common take on people who've actually used it |
2024-05-14 07:13:03 +0200 | mei | (~mei@user/mei) |
2024-05-14 07:13:34 +0200 | remmie | (ianremsen@tilde.team) |
2024-05-14 07:13:53 +0200 | <cheater> | have you used the language i'm describing? |
2024-05-14 07:15:20 +0200 | <glguy> | I would avoid using such a language, but I don't think it exists |
2024-05-14 07:15:37 +0200 | <cheater> | so you're basically the "haskell is unreadable" person |
2024-05-14 07:16:28 +0200 | <glguy> | oh, no |
2024-05-14 07:20:40 +0200 | <danza> | "haskell's syntax is a complete disaster" haha nice joke |
2024-05-14 07:21:18 +0200 | <danza> | "... for readability" that is also a good one |
2024-05-14 07:22:03 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc51e96b24be77fae744.dip0.t-ipconnect.de) |