Newest at the top
2024-04-25 16:43:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-25 16:40:14 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-04-25 16:39:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-25 16:12:45 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-04-25 16:12:26 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-25 16:11:33 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-04-25 16:11:01 +0200 | TheOneWhoFuncts | (~Thunderbi@104.28.233.85) (Quit: TheOneWhoFuncts) |
2024-04-25 16:10:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:78b5:44c3:11b7:3511) |
2024-04-25 16:09:37 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
2024-04-25 16:07:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-25 16:01:58 +0200 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) |
2024-04-25 16:01:50 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
2024-04-25 16:01:30 +0200 | akegalj | (~akegalj@78-1-50-53.adsl.net.t-com.hr) |
2024-04-25 16:00:55 +0200 | TheOneWhoFuncts | (~Thunderbi@104.28.233.85) |
2024-04-25 15:54:24 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-25 15:48:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:78b5:44c3:11b7:3511) (Ping timeout: 255 seconds) |
2024-04-25 15:42:28 +0200 | <tomsmeding> | (DataKinds is a feature that you absolutely _cannot miss_ if you want to do dependently-typed-ish stuff in haskell) |
2024-04-25 15:38:59 +0200 | yin | (~yin@user/zero) |
2024-04-25 15:33:43 +0200 | <haskellbridge> | <irregularsphere> thanks (man, you know everything) |
2024-04-25 15:32:59 +0200 | <ncf> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/data_kinds.html |
2024-04-25 15:32:03 +0200 | <haskellbridge> | <irregularsphere> is there a haskell feature/system that can create new kinds? |
2024-04-25 15:31:23 +0200 | danza | (~francesco@151.19.233.234) (Ping timeout: 260 seconds) |
2024-04-25 15:20:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-04-25 15:19:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-04-25 15:10:13 +0200 | zetef | (~quassel@93.122.248.176) (Remote host closed the connection) |
2024-04-25 15:02:03 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |
2024-04-25 15:00:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:78b5:44c3:11b7:3511) |
2024-04-25 15:00:11 +0200 | danza | (~francesco@151.19.233.234) |
2024-04-25 15:00:04 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 268 seconds) |
2024-04-25 14:47:13 +0200 | <tomsmeding> | when I figured out the model of how this works, I was delighted by how structured it really is |
2024-04-25 14:46:44 +0200 | <tomsmeding> | unboxed types can never be lifted (because they are not represented by a pointer, they are just the value itself), hence the liftedness distinction applies to boxed types only |
2024-04-25 14:46:11 +0200 | <tomsmeding> | with -XUnliftedDatatypes you can define your own unlifted data types https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/primitives.html#extension-UnliftedD… |
2024-04-25 14:46:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-25 14:45:06 +0200 | <tomsmeding> | boxed types can be unlifted; this means that _|_ is not an element of that type |
2024-04-25 14:44:24 +0200 | <tomsmeding> | lifted values are those that can be bottom (i.e. that are "lazy") |
2024-04-25 14:44:14 +0200 | <tomsmeding> | boxed values are those that are represented by a pointer to a heap location |
2024-04-25 14:43:34 +0200 | <tomsmeding> | (which is something different from "unlifted", which is what I said before) |
2024-04-25 14:43:21 +0200 | <tomsmeding> | Int# is unboxed |
2024-04-25 14:43:15 +0200 | <yahb2> | type Int# :: TYPE 'IntRep ; data Int# ; -- Defined in ‘GHC.Prim’ |
2024-04-25 14:43:15 +0200 | <tomsmeding> | % :i Int# |
2024-04-25 14:42:47 +0200 | <tomsmeding> | https://hackage.haskell.org/package/base-4.19.1.0/docs/GHC-Exts.html#t:RuntimeRep |
2024-04-25 14:42:18 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
2024-04-25 14:40:17 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) (Ping timeout: 256 seconds) |
2024-04-25 14:34:56 +0200 | zetef | (~quassel@93.122.248.176) |
2024-04-25 14:32:50 +0200 | danza | (~francesco@151.37.242.9) (Ping timeout: 256 seconds) |
2024-04-25 14:31:47 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-25 14:31:04 +0200 | jco | (~jco@90-230-146-75-no600.tbcn.telia.com) () |
2024-04-25 14:30:55 +0200 | jco | (~jco@90-230-146-75-no600.tbcn.telia.com) |
2024-04-25 14:28:15 +0200 | <lyxia> | it's different |
2024-04-25 14:19:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |