| 12 Oct 2022 |
 k0kada (he/him) | In reply to @ckie:ckie.dev
having to look up types in my head kind of breaks my flow Yeah, I mean nowadays I like to have some kinda of typing
I just feel that most type systems are to restrictive | 19:43:30 |
 ckie (they/them) | rust takes an interesting direction with that | 19:43:45 |
| k0kada (he/him) | I actually kinda like mypy for typing Python | 19:43:45 |
| ckie (they/them) | like from that pov it's very restrictive but it seems the more restrictive it is the freer it is in another way | 19:44:02 |
| k0kada (he/him) | Or for Clojure I like spec/schema | 19:44:10 |
| ckie (they/them) | like it's more expressive because it doubles down on forcing you to use it | 19:44:23 |
| ckie (they/them) | still not there imo, but is a neat experience to have | 19:44:39 |
| k0kada (he/him) | In reply to @ckie:ckie.dev
like it's more expressive because it doubles down on forcing you to use it I don't like exactly that part, sometimes I kinda like to say "f*** the type system, let me do what O want" | 19:46:38 |
| k0kada (he/him) | * I don't like exactly that part, sometimes I kinda like to say "f*** the type system, let me do what I want" | 19:46:59 |
| ckie (they/them) | yeah sometimes i also feel like that and then i write horrible javascript for a week or two before running back to rust | 19:47:17 |
| k0kada (he/him) | In reply to @ckie:ckie.dev
yeah sometimes i also feel like that and then i write horrible javascript for a week or two before running back to rust The point is that this is controlled, for example, in only one private function | 19:47:48 |
| k0kada (he/him) | Kinda of marking the block as unsafe, you know something sketchy is happening there | 19:48:08 |
| k0kada (he/him) | So I generally just review it with more attention | 19:48:20 |
| ckie (they/them) | c and js are oddly meditative for me while im using them | 19:50:12 |
| k0kada (he/him) | Can't speak for JS | 19:50:57 |
| k0kada (he/him) | But I concur with C | 19:51:02 |
| ckie (they/them) | all the problems seem silly sometimes but they're very real like it just crashes if i try to run it no big type error | 19:51:08 |
| ckie (they/them) | then i can ask the computer to show me what it was up to! | 19:51:29 |
| ckie (they/them) | then i can find out i have to recompile mesa with debug symbols so i can figure out why vulkan bork!
(a current thing on my todo) | 19:51:58 |
| k0kada (he/him) | C is a really powerful scripting language that ends up generating assembly lol | 19:52:02 |
| k0kada (he/him) | In a actual scripting language, miss a type and you have an exception | 19:52:19 |
| k0kada (he/him) | In C, miss a type and you have something | 19:52:29 |
| k0kada (he/him) | Maybe your program work by mistake? Maybe it explodes your computer | 19:52:45 |
| k0kada (he/him) | Still, it is kinda fun depending on your state of mind | 19:53:01 |
| ckie (they/them) | yeah i guess it doesn't need your effort spread out, it's just one simple line of thinking | 19:53:02 |
| ckie (they/them) | can just wget a single-file header library and i'm good to go, relaxing | 19:53:35 |
| ckie (they/them) | fmouse was like that | 19:55:41 |
| ckie (they/them) | it was so boring to write! was great | 19:55:50 |
| k0kada (he/him) | Still, really need to learn one more systems language while I still like programming lol
| 19:56:00 |
| k0kada (he/him) | Either Rust or Zig | 19:56:07 |
