Vivien Rindisbacher

Former Athlete ... Software Engineer … Avid Rust User 🦀 … Coq Proof Assistant Prover ? … Types are better

[Vivien Rindisbacher @staticlifetime]

@sabine_s_ @emil_priver Tbh - it’s still better than uncaught exception :)

[Julia Turcotti @JTurcotti]

There are so many ways we're still trying to get industry-scale static analysis "right" even for simple bugs like null pointers. NilAway is another attempt to try, using a lot of cheap constraint solving. Contributing to this project was amazing and you should check it out.

[ThePrimeagen @ThePrimeagen]

Dear @OpenAI

I would make a great candidate for CEO of OpenAI 501 3(c).

- i am currently a CEO of a multi-billion dollar company
- i have a mustache most men only dream about
- i can bench my weight

get your people in contact with my people, we will make it happen

[Will Crichton @tonofcrates]

Also, one last brag: I have *impeccable* taste in programming languages. In 2018, I was teaching in my PL course:

- OCaml
- Rust
- WebAssembly
- Lean

Five years later, I'm running 4/4 in terms of "languages people are excited to use in 2023".

[ThePrimeagen @ThePrimeagen]

genuinely no idea why i find this so funny

[Vivien Rindisbacher @staticlifetime]

@bloberenober Could you explain what you’d like Rust’s type system to have in the future (based on TS)? And how that effects building an ORM? Genuinely curious.

[James Ward @JamesWard]

Trying out some random developer tool shouldn’t require any of these:
- npm install -g
- curl blah | bash
- system python, ruby, java, etc
- brew install
- write access to .bashrc

[Vivien Rindisbacher @staticlifetime]

Narrowing types to whatever the user would like… 😂😂

https://t.co/qPfoT6heX8

[Vivien Rindisbacher @staticlifetime]

@paul_snively Those of us using languages with much stronger type systems have a deep appreciation for types. Type systems are just a set of rules that model the operational semantics of the language. Progress and preservation tie the typing judgments and operational semantics of a language.

[Vivien Rindisbacher @staticlifetime]

@paul_snively I think that people who think of languages in a way that is in direct conflict with your description are coming from a place where they believe types are a hindrance because they are using less than ideal type systems. It is difficult to express what they want with types.

[Vivien Rindisbacher @staticlifetime]

@sabine_s_ @codydroux Rail recursion is just tail recursion without types

[Dillon Mulroy @dillon_mulroy]

Dune just spit the wildest error message out at me. Poetry.

[tom ッ @tom_antok]

Developer's time is expensive

[Vivien Rindisbacher @staticlifetime]

@sabine_s_ This is such a great take! Functional programming is awesome and it’s so powerful, but there are times when a different approach is better.

[Vivien Rindisbacher @staticlifetime]

Question for #Ocaml enthusiasts - do you do any imperative programming or do you try to stick to a pure functional style?

[Vivien Rindisbacher @staticlifetime]

@sabine_s_ Thx sm! Every program I’ve ever written in OCaml has been a compiler or type checker. It’s an amazing language for that sort of thing - but I never ever used anything other than recursion.

I think having a mix of functional features and imperative features is really nice.

[Vivien Rindisbacher @staticlifetime]

@sabine_s_ Does the stdlib use loops or recursion for iter and map in the array module? Seems like you could do both... Is there a reason to pick one over the other?

[Vivien Rindisbacher @staticlifetime]

@sabine_s_ Why not iter or map or some other higher order function for arrays?

[Vivien Rindisbacher @staticlifetime]

@sabine_s_ So, you’d recurse over a tree, but loop on over array? Would you recurse over a list?

[Vivien Rindisbacher @staticlifetime]

@sabine_s_ Does that include for & while loops or do you try to stay away from those?