This time, they're really excited about boxed function pointers or whatever but I'm all OMG THEY'VE FINALLY STABILISED RANGE::CONTAINShttps://twitter.com/rustlang/status/1131658946111000576 …
-
Show this thread
-
Also still no sign of higher kinded types.
2 replies 0 retweets 11 likesShow this thread -
-
Replying to @mountain_ghosts @bodil
bonus points: implement a haskell compiler in the rust type system
4 replies 0 retweets 7 likes -
Replying to @mountain_ghosts @bodil
I mean. It's turing complete so https://sdleffler.github.io/RustTypeSystemTuringComplete/ …
2 replies 0 retweets 1 like -
Replying to @mgattozzi @mountain_ghosts
I've sent the type checker into an infinite loop often enough to have gathered that much already.
I was thinking more liek I'm going to need type level I/O like Shen has at a minimum.2 replies 0 retweets 4 likes -
-
Replying to @mountain_ghosts @bodil
Well if you consider build scripts as letting you have I/O...
1 reply 0 retweets 0 likes
Did someone say "compile-time IO"?https://github.com/rust-rfcs/const-eval/issues/25 …
-
-
Type level I/O! And I've been dreaming about being able to use const fns at the type level for some time…
1 reply 0 retweets 3 likes -
Who wants to make some bad decisions today?
2 replies 0 retweets 1 like - 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.