5 DecaBit
@decabit.bsky.social
Doesn’t mypy solve a lot of type issues in python?
September 8, 2025 at 7:53 AM
Doesn’t mypy solve a lot of type issues in python?
Reposted by 5 DecaBit
I had to tell my AI something like:
You are an expert Rust developer who is forced to write typescript. You wish you could use Ocaml or Rescript, but you can't. Write TS as if it was actually a strongly typed language. You never use the "any" type or do type casting.
And it got better!
You are an expert Rust developer who is forced to write typescript. You wish you could use Ocaml or Rescript, but you can't. Write TS as if it was actually a strongly typed language. You never use the "any" type or do type casting.
And it got better!
September 4, 2025 at 1:04 AM
I had to tell my AI something like:
You are an expert Rust developer who is forced to write typescript. You wish you could use Ocaml or Rescript, but you can't. Write TS as if it was actually a strongly typed language. You never use the "any" type or do type casting.
And it got better!
You are an expert Rust developer who is forced to write typescript. You wish you could use Ocaml or Rescript, but you can't. Write TS as if it was actually a strongly typed language. You never use the "any" type or do type casting.
And it got better!
Reposted by 5 DecaBit
github.com/leostera/min... is super fun to use and contribute to!
GitHub - leostera/minttea: A fun little TUI framework for OCaml
A fun little TUI framework for OCaml. Contribute to leostera/minttea development by creating an account on GitHub.
github.com
September 4, 2025 at 11:58 AM
github.com/leostera/min... is super fun to use and contribute to!