Newest at the top
2025-01-22 12:12:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
2025-01-22 12:11:17 +0100 | <hellwolf> | | However, Clean deals with mutable state and input/output (I/O) through a uniqueness type system, in contrast to Haskell's use of monads. |
2025-01-22 12:11:09 +0100 | agent314 | (~quassel@208.131.130.116) (Ping timeout: 260 seconds) |
2025-01-22 12:11:01 +0100 | agent314_ | (~quassel@208.131.130.89) agent314 |
2025-01-22 12:08:47 +0100 | <geekosaur> | Clean uses uniqueness types instead |
2025-01-22 12:08:37 +0100 | <geekosaur> | they said "IO monad" |
2025-01-22 12:08:32 +0100 | <homo> | I don't recall clean having IO monad |
2025-01-22 12:08:03 +0100 | <merijn> | kuribas: Clean? |
2025-01-22 12:07:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-01-22 12:07:12 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 246 seconds) |
2025-01-22 12:05:32 +0100 | <homo> | kuribas try working with communities that use haxe and guile, you'll understand what I mean by pretty syntax |
2025-01-22 12:04:19 +0100 | <kuribas> | I wouldn't call haskell "pretty syntax". |
2025-01-22 12:03:57 +0100 | <kuribas> | there idris2 with optional lazyness. |
2025-01-22 12:03:50 +0100 | agent314 | (~quassel@208.131.130.116) agent314 |
2025-01-22 12:03:39 +0100 | agent314 | (~quassel@208.131.130.89) (Ping timeout: 265 seconds) |
2025-01-22 12:03:00 +0100 | <homo> | I'll say it more completely: lazy statically-typed with IO monad and pretty syntax, combination of which cannot be found in other languages |
2025-01-22 12:02:59 +0100 | <geekosaur> | curry |
2025-01-22 12:01:48 +0100 | <kuribas> | homo: "lazy statically-typed", are there other than haskell? |
2025-01-22 12:01:23 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-01-22 11:58:55 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 264 seconds) |
2025-01-22 11:58:29 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-01-22 11:58:10 +0100 | <homo> | hellwolf I'm focused on something more realistic than bootstrapping ghc and porting ghc to different platform (whether it is processor instuction set or operating system), bootstrapping haskell on different platform doesn't imply bootstrapping ghc, I don't intend to sound like ghc's stakeholder, rather I respect their lack of interest by not working with them |
2025-01-22 11:57:44 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2025-01-22 11:50:46 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-01-22 11:47:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
2025-01-22 11:44:41 +0100 | chele | (~chele@user/chele) chele |
2025-01-22 11:43:49 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2025-01-22 11:42:59 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-01-22 11:42:58 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
2025-01-22 11:41:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:55d6:5b69:524c:1857) |
2025-01-22 11:40:52 +0100 | hellwolf | retiring from this thread, I guess I got lost somewhere |
2025-01-22 11:40:21 +0100 | <hellwolf> | huh, why plan9 was brought up. |
2025-01-22 11:39:28 +0100 | <homo> | kuribas 1. for clean bootstrap something other than ghc must be able to convert ghc language into c language, 2. practically plan9 is so different that you'll need to rewrite generated c code by hand |
2025-01-22 11:38:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
2025-01-22 11:37:04 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-01-22 11:36:54 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-22 11:36:38 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
2025-01-22 11:36:29 +0100 | <homo> | just to port microhs to plan9 I'll still have to rewrite combinator virtual machine to align with plan9, and on top of that I'll need to get rid of all posix and ffi dependencies in haskell code |
2025-01-22 11:35:51 +0100 | <merijn> | kuribas: Only kinda |
2025-01-22 11:35:00 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-01-22 11:34:24 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-01-22 11:34:20 +0100 | <homo> | merijn and practically microhs "not being haskell" is irrelevant if all I want is to have compiler for lazy statically-typed functional programming language on plan9, even if ghc was on plan9 I would unlikely be able to build more than 1% of packages on stackage, because plan9 is neither posix nor microsoft windows |
2025-01-22 11:34:18 +0100 | <kuribas> | Can you not compile ghc to C, and bootstrap from there? |
2025-01-22 11:34:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-22 11:30:33 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 252 seconds) |
2025-01-22 11:30:24 +0100 | tnt2 | tnt1 |
2025-01-22 11:30:23 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
2025-01-22 11:29:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-01-22 11:29:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-22 11:27:51 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |