Comments (4)
I agree, it looks like the sig for IO is incomplete. _Reader
, _Writer
, _Rewindable
should probably be IO::_Read
, IO::_Write
and IO::_Rewind
. _ToIO
should be global; if it is much used, maybe io
(like string
vs String
) could be used?
from rbs.
PS: there is already a _Writeable
interface.
from rbs.
I would probably not make it rely on the IO names pace, as buffer type structures such as StringIO or Tempfile aren't IOs, however these interfaces can be applied to it.
from rbs.
Thank you for pointing out the bad types of IO
methods. (Would you mind opening a PR to fix them?)
Technically it's unnecessary to define a set of common interfaces beforehand, while I know it would be useful. Because the relationship between interfaces and classes/modules are detected implicitly, without any declaration, having API specific and possibly duplicated interfaces works fine.
So, the steps I assume are:
- Define local interfaces for
IO
methods. - Use the interface in
IO
method definitions. - Promote it if we find they are useful for other methods too.
from rbs.
Related Issues (20)
- rbs/test: stack level too deep when calling super from prepend HOT 1
- "singleton(class with this mixin)" is not supported
- [RBS::Test] Cannot call `super` in block
- How to deal with gems with integrations
- Incorrrect signatures for ruby 3.3.0
- Type signature failures in net-http
- support * in tuples HOT 3
- Position of RBS::Location should be byte length HOT 3
- `rbs collection install` fails with parse error HOT 8
- Identify and skip `development` dependencies
- Support type narrowing HOT 2
- Cannot call `super` in block
- Test for project integration HOT 1
- Test for project integration
- %a{pure} does not seem to work for attr_reader HOT 3
- inline type narrowing HOT 1
- Array(T | Array[T]) not well handled HOT 2
- Method overload narrowing
- Windows build is failing HOT 9
- calling #each on obj typed with record yields |bot, bot| types HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from rbs.