Newest at the top
| 2025-05-23 23:21:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-23 23:18:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 23:18:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 23:12:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 23:12:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 23:12:13 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 2025-05-23 23:06:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 23:06:26 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-05-23 23:06:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 23:04:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-23 23:00:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 23:00:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 22:57:45 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-05-23 22:55:16 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2025-05-23 22:54:37 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-23 22:54:14 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-05-23 22:53:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-23 22:53:54 +0200 | <int-e> | it's a doomed project |
| 2025-05-23 22:53:46 +0200 | <EvanR> | c source visualizer |
| 2025-05-23 22:53:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 22:53:25 +0200 | <EvanR> | ideally by reading in the doom source and doing something ridiculous with it |
| 2025-05-23 22:53:09 +0200 | <EvanR> | getting around to that I swear |
| 2025-05-23 22:53:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 22:50:59 +0200 | <haskellbridge> | <sm> ah yes, and to write a doom clone |
| 2025-05-23 22:50:52 +0200 | <c_wraith> | autogenerating code is a specific case where the source code isn't written |
| 2025-05-23 22:50:19 +0200 | <sprout> | to write amusing type bombs! |
| 2025-05-23 22:49:52 +0200 | <EvanR> | just a dern minute, compiling and autogenerating code is the same thing |
| 2025-05-23 22:49:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-23 22:48:38 +0200 | <EvanR> | to be faster* |
| 2025-05-23 22:48:32 +0200 | <EvanR> | compiling a program faster isn't one of them, auto generating code isn't one of them |
| 2025-05-23 22:48:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 22:48:16 +0200 | <EvanR> | certain things are faster mentally than using "a system", like feynmann vs the abacus salesman |
| 2025-05-23 22:48:12 +0200 | <haskellbridge> | <sm> and to help us trust AI's stuff.. |
| 2025-05-23 22:48:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 22:48:00 +0200 | <c_wraith> | which is something that can only happen if the compiler tracks types |
| 2025-05-23 22:47:40 +0200 | <c_wraith> | though in Haskell specifically, the type class system can be used to *generate* code based on types |
| 2025-05-23 22:47:38 +0200 | <haskellbridge> | <sm> to help AI do stuff.. |
| 2025-05-23 22:47:11 +0200 | <EvanR> | very quickly |
| 2025-05-23 22:47:05 +0200 | <EvanR> | though you could mentally know already all the stuff the IDE tells you, but you can't mentally auto complete stuff |
| 2025-05-23 22:46:52 +0200 | <c_wraith> | most of the things the type system does aren't impossible without it. They're just easier with it |
| 2025-05-23 22:46:39 +0200 | <EvanR> | ok that's another one |
| 2025-05-23 22:46:31 +0200 | <haskellbridge> | <sm> to help IDEs assist the developer |
| 2025-05-23 22:46:20 +0200 | <EvanR> | that last one is the one you can't get away with doing mentally without a type system |
| 2025-05-23 22:46:12 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-05-23 22:43:44 +0200 | <haskellbridge> | <sm> to help the compiler produce efficient programs |
| 2025-05-23 22:43:24 +0200 | <haskellbridge> | <sm> to help write correct programs; to help with thinking and design; to help provide clear APIs |
| 2025-05-23 22:43:22 +0200 | <c_wraith> | at another level, it's to aid the programmer in expressing their logic by limiting incorrect programs |
| 2025-05-23 22:43:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-23 22:42:49 +0200 | <c_wraith> | At another level, it's to prevent programs that confuse values of different classifications |
| 2025-05-23 22:42:33 +0200 | <c_wraith> | at one level, the purpose is to classify values. |