Mypy does not warn when breaking the abstract methods type specification in subtype's method [closed]

After running mypy against the above code, mypy does not warn anything. However, I think it should warn about type signature of AppleJuiceFactorty.__call__ method, because AppleJuiceFactory inherits from JuiceFactory[Apple, AppleJuice] therefore FluitT and FruitJuiceT are narrowed down to Apple and AppleJuice respectively.

Could you tell me what's the problem? And is it in my side or mypy side?

from abc import ABC, abstractmethod
from typing import Generic, TypeVar, Type

class Fruit: pass
class Apple(Fruit): pass
class Orange(Fruit): pass
FruitT = TypeVar('FruitT', bound=Fruit)

class FruitJuice: pass
class AppleJuice(FruitJuice): pass
class OrangeJuice(FruitJuice): pass
FruitJuiceT = TypeVar('FruitJuiceT', bound=FruitJuice)

JuiceFactoryT = TypeVar('JuiceFactoryT', bound='JuiceFactory')
class JuiceFactory(ABC, Generic[FruitT, FruitJuiceT]):
    @abstractmethod
    def __cal__(self, inp: FruitT) -> FruitJuiceT: pass

class AppleJuiceFactorty(JuiceFactory[Apple, AppleJuice]):
    def __call__(self, inp: Orange) -> OrangeJuice:
        return OrangeJuice()

source https://stackoverflow.com/questions/71982278/mypy-does-not-warn-when-breaking-the-abstract-methods-type-specification-in-subt

Comments

Why is my reports service not connecting?

I am trying to pull some data from a Postgres database using Node.js and node-postures but I can't figure out why my service isn't connecting. my routes/index.js file: const express = require('express'); const router = express.Router(); const ordersCountController = require('../controllers/ordersCountController'); const ordersController = require('../controllers/ordersController'); const weeklyReportsController = require('../controllers/weeklyReportsController'); router.get('/orders_count', ordersCountController); router.get('/orders', ordersController); router.get('/weekly_reports', weeklyReportsController); module.exports = router; My controllers/weeklyReportsController.js file: const weeklyReportsService = require('../services/weeklyReportsService'); const weeklyReportsController = async (req, res) => { try { const data = await weeklyReportsService; res.json({data}) console...

How to show number of registered users in Laravel based on usertype?

i'm trying to display data from the database in the admin dashboard i used this: <?php use Illuminate\Support\Facades\DB; $users = DB::table('users')->count(); echo $users; ?> and i have successfully get the correct data from the database but what if i want to display a specific data for example in this user table there is "usertype" that specify if the user is normal user or admin i want to user the same code above but to display a specific usertype i tried this: <?php use Illuminate\Support\Facades\DB; $users = DB::table('users')->count()->WHERE usertype =admin; echo $users; ?> but it didn't work, what am i doing wrong? source https://stackoverflow.com/questions/68199726/how-to-show-number-of-registered-users-in-laravel-based-on-usertype

The number of nodes and edges I calculated manually and by a method provided by networkx library dont match

I am trying to analyse a graph using networkx library in Python. I have implemented a function that returns the nodes and edges of that graph. After that I counted the number of nodes and edges by implementing the len() function for nodes and edges, which gave me 17 for both nodes and edges. However, when I used the method graph.number_of_nodes() of networkx library it gave me 53. My code: import pandas as pd import networkx as nx import matplotlib.pyplot as plt header_list = ["a","b","w"] E =pd.read_csv("aves-barn-swallow-contact-network.edges",sep=" ",header= None,names=header_list) # print(E.head()) # prints first few rows of the csv file G = nx.from_pandas_edgelist(E,"a","b",["w"]) nx.draw(G) plt.show() class GraphAnalyse: #finding nodes and edges def nodeEdge(self,Graph): nodes = Graph.nodes() edges = Graph.edges() ...

StacksPedia

Search This Blog