typeprof
sorbet
Our great sponsors
typeprof | sorbet | |
---|---|---|
5 | 53 | |
709 | 3,525 | |
1.1% | 0.5% | |
8.6 | 9.9 | |
3 days ago | 3 days ago | |
Ruby | Ruby | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
typeprof
- Почему я программирую на Ruby
- TypeProf: A type analysis tool for Ruby code based on abstract interpretation
-
Ruby 3.1.0 Preview 1 released with new experimental JIT
Good to see IDE support for TypeProf type hints[1]. I've been doing a lot of work in statically typed languages lately. Ruby has been moving towards static types for a while, but the lack of IDE support has always been the dealbreaker for me to pick up Ruby again.
[1] https://github.com/ruby/typeprof/blob/master/doc/ide.md
-
rbs collection was released!
rbs collection feature integrates this repository and tools use RBS, such as rbs command, Steep, and TypeProf.
sorbet
-
The Design Principles of the Elixir Type System
Not part of the official language spec, but Ruby has Sorbet, from a company who employs Ruby core contributors and helped with the recently released JIT additions to the language, amount countless other contributions over the last couple decades.
https://sorbet.org/
- Почему я программирую на Ruby
-
Bringing more sweetness to ruby with sorbet types 🍦
First let's introduce the tool: Sorbet is a gem developed by Stripe that aims to bring type notation syntax and type checking support for the Ruby ecosystem by utilizing the "Gradual typing" philosophy, it also provide type generation from YARD comments via the tapioca gem, allowing to grow alongside the already built Ruby codebase.
-
An Introduction to Metaprogramming in Ruby
We have hundreds of thousands of lines of ruby code spanning many services / monoliths. Even now I find it somewhat annoying to open a controller / component that is basically an empty class def but somehow executes a bunch of complex stuff via mixins, monkey patches etc, and you have to figure out how.
We are turning to https://sorbet.org/ to reign in the madness. I'm keen to know if others are doing the same, and how they are finding it (pros and cons)
- A few words on Ruby's type annotations state
-
Is Ruby on Rails still in demand?I see very few companies using it.Is it used in big tech companies like Google,Amazon,Facebook,Microsoft?
According to https://sorbet.org/ , the vast majority of code at Stripe is written in ruby.
-
¿Que lenguaje de programación consideran que no está saturado?
Caso de Stripe, que tuvo que inventar Sorbet para tener type checking en ruby.
- Building GitHub with Ruby on Rails
-
RJIT a New JIT for Ruby
> I guess what I'm asking is: do you see a future where there is more explicit control afforded to people who want to pick their own tradeoffs without resorting to writing everything performance-sensitive in extensions written in C/Rust/whatever?
An approach exists already in the present, and it's Stripe's Sorbet AOT compiler (https://github.com/sorbet/sorbet/tree/master/compiler).
-
Has Ruby actually increased the speed significantly?
That's incorrect. You may be thinking of Stripe, and AFAICT it's not very actively developed anymore: https://github.com/sorbet/sorbet/commits/master/compiler
What are some alternatives?
steep - Static type checker for Ruby
solargraph - A Ruby language server.
rbs - Type Signature for Ruby
vscode-solargraph - A Visual Studio Code extension for Solargraph.
gem_rbs_collection - A collection of RBS for gems.
rubykaigi-2021
rubocop - A Ruby static code analyzer and formatter, based on the community Ruby style guide.
yjit - Optimizing JIT compiler built inside CRuby
noclip.website - A digital museum of video game levels
error_highlight - The gem enhances Exception#message by adding a short explanation where the exception is raised
tapioca - The swiss army knife of RBI generation