AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / user-11930602

kesarling He-Him's questions

Martin Hope
kesarling
Asked: 2025-04-28 09:14:20 +0800 CST

Como faço para mover um objeto Sender de uma referência mutável para um Vector de tuplas de Strings e Objetos Sender?

  • 4

Esta não é uma solução para o meu problema. A resposta sugerida substitui os valores por Nones. Eu literalmente preciso que o tamanho do meu vetor seja reduzido.

MRE:

use tokio::sync::mpsc;

#[tokio::main]
async fn main() {

    // Pits the singers against each other...
    // Please do not get confused by the type of the sender used in here.
    // This still will showcase the same problem.
    fn pit(singers: &mut Vec<(String, mpsc::Sender<String>)>) {
        use rand::Rng;
        let mut rng = rand::thread_rng();
        let i1 = rng.gen_range(0..singers.len());
        let i2 = rng.gen_range(0..singers.len());
        // This will add dunsel "singers" to the vector who will get
        // pitted against one another. The actual code makes sure that
        // there are at least 2 singers in queue. What is does not do - 
        // and neither should it - is check if they are dummy objects.
        // Rust did not like me using singers[i1].take().unwrap() and
        // complained about iterators not being implemented for Sender?
        let (dunsel, _) = mpsc::channel::<String>(1);
        let s1 = std::mem::replace(&mut singers[i1], (String::new(), dunsel.clone()));
        let s2 = std::mem::replace(&mut singers[i2], (String::new(), dunsel.clone()));
        // returns s1, s2... not needed for MRE
    }

    let mut v = vec![];
    let (tx, _) = mpsc::channel::<String>(256); // receiver is not needed for MRE
    for name in vec!["name1".to_string(), "name2".to_string(), "name3".to_string()] {
        // In the actual code, the singer clients are sent this tx
        // and they send their transmitter channels via this tx, which
        // is then pushed to the vector. Here, it just accepts `String`s
        // So, tx is of the type mpsc::Sender<mpsc::Sender<String>>!!
        v.push((name.clone(), tx.clone()));
    }
    tokio::spawn(async move {
        let mut v = v;
        pit(&mut v); 
    });
}
rust
  • 1 respostas
  • 52 Views
Martin Hope
kesarling
Asked: 2025-02-11 05:00:42 +0800 CST

Como posso garantir ao compilador Rust que uma determinada variável será inicializada em um loop for?

  • 6

Esta questão está relacionada à pergunta feita aqui: Como declarar uma variável, mas não atribuí-la?

Meu problema é um pouco diferente. MRE:

let var: MyGenericType;
for value in vec_of_values_of_my_generic_type {
    // one of the values is mathematically guaranteed to meet this condition because the vector is special
    if <value meets a certain condition> {
        var = value;
    }
}

<use var>

Erro:

error[E0381]: used binding `var` is possibly-uninitialized
   --> example/src/lib.rs:127:23
    |
120 |             let var: MyGenericType;
    |                 -- binding declared here but left uninitialized
...
123 |                     var = value;
    |                     -- binding initialized here in some conditions
...
127 |             foo(var);
    |                       ^^ `var` used here but it is possibly-uninitialized

Como posso corrigir isso?

rust
  • 3 respostas
  • 61 Views
Martin Hope
kesarling
Asked: 2024-12-04 07:24:22 +0800 CST

Por que printf não funciona com ccall em haskell?

  • 6

ERM:

{-# LANGUAGE ForeignFunctionInterface #-}

import GHC.Ptr
import Foreign
import Foreign.C
import Control.Monad

foreign import ccall unsafe "fibonacci.c fib" c_fib :: Int -> Int

example :: IO ()
example =
    print (c_fib 5)     

main = example

fibonacci.c

int fib(const int n) {
    if (n == 1) {
        printf("here");
        return 1;
    }
    else {
        return n*fib(n-1);
    }
}

resultado:

120 // does not print "here"

O que está acontecendo?

haskell
  • 1 respostas
  • 16 Views
Martin Hope
kesarling
Asked: 2024-12-04 05:29:19 +0800 CST

Como eu tornaria GHC.Ptr uma instância de Monad?

  • 6

Isto é o que tenho até agora:

instance Monad Ptr where
    return = pure
    (>>=) (Ptr t) f = f t 

O erro que está sendo gerado é:

    • Couldn't match a lifted type with an unlifted type
      When matching types
        a :: *
        GHC.Prim.Addr# :: TYPE 'GHC.Types.AddrRep
    • In the first argument of ‘f’, namely ‘t’
      In the expression: f t
      In an equation for ‘>>=’: (>>=) (Ptr t) f = f t
    • Relevant bindings include
        f :: a -> Ptr b (bound at RegionalMemory.hs:16:19)
        (>>=) :: Ptr a -> (a -> Ptr b) -> Ptr b
          (bound at RegionalMemory.hs:16:5)
   |
16 |     (>>=) (Ptr t) f = f t
   |                         ^

Não entendi bem esse erro. O que estou fazendo errado aqui?

pointers
  • 1 respostas
  • 27 Views
Martin Hope
kesarling
Asked: 2024-11-03 13:37:40 +0800 CST

Tracei as continuações corretamente?

  • 5

Estou aprendendo o conceito de continuações . Achei que uma boa ideia seria traçar o código fatorial típico quando escrito com a forma de continuação. Quero saber se meu entendimento está correto.

Código:

fact :: Integer -> (Integer -> Integer) -> Integer
fact 0 k = k 1
fact n k = fact $ n-1 (\v -> k (n*v))

-- call: fact 5 id
-- answer: 120

Foi assim que eu rastreei o código (acho que ser capaz de rastreá-lo é fundamental para entender como as continuações funcionam):

fact 5 id --> 
fact 4 (\v -> id (5*v)) --> 
fact 3 (\v -> (\v -> id (5*v)) (4*v)) --> 
fact 2 (\v -> (\v -> (\v -> id (5*v)) (4*v)) (3*v)) --> 
fact 1 (\v -> (\v -> (\v -> (\v -> id (5*v)) (4*v)) (3*v))) (2*v)) --> 
fact 0 (\v -> (\v -> (\v -> (\v -> (\v -> id (5*v)) (4*v)) (3*v))) (2*v)) (1*v)) --> 
(\v -> (\v -> (\v -> (\v -> (\v -> id (5*v)) (4*v)) (3*v))) (2*v)) (1*v)) 1

É assim que deveria ser traçado ou estou com os fundamentos errados?

PS: Entendo que os vs são um pouco confusos, mas estou supondo que o interior vesteja sombreando o exterior v?

haskell
  • 1 respostas
  • 34 Views
Martin Hope
kesarling
Asked: 2024-09-25 05:31:48 +0800 CST

Como sobrecarrego um determinado operador em Haskell para aceitar tipos diferentes em cada lado?

  • 5

ERM:

class Foo s where
    myCons :: Char -> s -> s
    myCons c xs = <my definition of however I wish to interpret this>

instance (Eq, Show) Foo where
    (:) x y = x `myCons` y

Erro:

Pattern bindings (except simple variables) not allowed in instance declaration:
      (:) x y = x `myCons` y

O que estou fazendo errado?

O que eu quero fazer:

fooFromList :: [Int] -> Foo
fooFromList [] = Foo []
fooFromList (x:xs) = let x' = (convertDigitToChar x) in x':(fooFromList xs)
list
  • 2 respostas
  • 54 Views
Martin Hope
kesarling
Asked: 2024-06-25 03:39:58 +0800 CST

Como o operador de seta em haskell faz sentido em funções que utilizam mais de um parâmetro?

  • 6

Para sua informação: segundo dia em Haskell

MRE (o que a função faz, não importa):

foo :: Int -> Int -> Int
foo x y
        | x == y = x + y
        | x < y = x
        | x > y = y

Isto é o que reuni sobre o ->operador (?) até agora:

  1. É associativo à direita
  2. É usado na declaração do tipo de função para denotar o tipo de parâmetros de função, bem como seu tipo de retorno

Agora dê uma olhada na seguinte declaração de tipo de função:
foo :: Int -> Int
Isto declara (qual é a palavra apropriada?) uma função chamada fooque recebe an Inte retorna an Int.

Porém, a declaração: foo :: Int -> Int -> Intdeclares(?) que fooleva 2 Ints e retorna an Intquando é o mesmo que dizer foo :: Int -> (Int -> Int)which é uma função que recebe an Inte retorna uma função que recebe an Inte retorna an Int.

Como isso faz sentido? Não deveria ser algo parecido com Int,Int -> Int?

PS: O livro que estou usando: Pensando Funcionalmente com Haskell, de Richard Bird.

haskell
  • 1 respostas
  • 50 Views
Martin Hope
kesarling He-Him
Asked: 2024-05-24 01:54:42 +0800 CST

Usando zip em conjunto com zipWith em Haskell

  • 7

Atualmente estou aprendendo Haskell e estou preso ao seguinte enigma. O que há de errado com a seguinte construção?:

zip [1,2,3] [4,5,6]
Result: [(1,4),(2,5),(3,6)]

zipWith (+) [1,2,3] [4,5,6]
Result: [5,7,9]

zipWith (zip) [1,2,3] [4,5,6]
          OR
zipWith zip [1,2,3] [4,5,6]

Result: <interactive>:22:1: error:
    • No instance for (Num [()]) arising from a use of ‘it’
    • In the first argument of ‘print’, namely ‘it’
      In a stmt of an interactive GHCi command: print it

Expected Result: [(1,4),(2,5),(3,6)]

o que estou perdendo?

haskell
  • 1 respostas
  • 40 Views
Martin Hope
kesarling He-Him
Asked: 2024-03-30 04:58:57 +0800 CST

Como eu modificaria uma variável externa dentro de uma compreensão de lista?

  • 4

Código Python:

i: int = 1
table: list = [[i, bit, None, None] for bit in h]

Comportamento esperado: iprecisa ser incrementado em 1 por iteração.

Pseudo-código:

i: int = 1
table: list = [[i++, bit, None, None] for bit in h]
python
  • 3 respostas
  • 52 Views
Martin Hope
kesarling He-Him
Asked: 2023-11-05 05:27:43 +0800 CST

Pode haver threads zumbis em um programa Java?

  • 5

Considere o seguinte código:

public... main( String[] args ) // yeah yeah, I'm too lazy to type it out
    new ThreadExample().start(); // the run function just prints out "this is run"
}

Agora, pode acontecer que no momento em que a chamada para iniciar seja feita, o escalonador volte para o bloco principal e o bloco principal termine. O que acontecerá com o thread que o método start criou? Ainda há um thread não-daemon em execução (aquele que criamos), o que significa que o programa deve continuar a execução ou pode se tornar um thread zumbi (ainda não entendo completamente o que isso implica...). O que poderia acontecer (ou o que se passa por “poderia” na ausência de sincronização)?


Editar:

Esta pergunta é melhor reformulada como: "O que exatamente a chamada do método start() faz?"
Mais informações podem ser encontradas em: Por que chamamos o método Thread.start()?

java
  • 2 respostas
  • 101 Views
Martin Hope
kesarling He-Him
Asked: 2023-10-09 05:24:17 +0800 CST

Como comparar duas instanciações genéricas diferentes de uma classe em Java?

  • 5

MRE porque bem, tarefa... suspiro

Este é o problema em que estou preso:
considere a seguinte classe:

class MyClass<T extends Comparable<T>> implements Comparable<MyClass<T>> {

... override the compareTo
}

Isso me permite comparar MyClass<Integer>com outro MyClass<Integer>ou mesmo MyClass<MyClass<Integer>>com outro MyClass<MyClass<Integer>>. No entanto, a atribuição exige que eu seja capaz de comparar, MyClass<MyClass<Integer>>pois MyClass<MyClass<String>>a comparação apenas usa um contador e retorna qualquer classe que tenha o contador maior como o maior dos dois.
Como eu faria para conseguir isso? Meu palpite é que o Comparador entra em ação como fica evidente aqui . No entanto, não consigo definir exatamente o que é. É tão simples quanto usar compare(Object,Object) do Comparator ou é outra coisa ?

java
  • 1 respostas
  • 41 Views
Martin Hope
kesarling He-Him
Asked: 2023-09-24 08:56:18 +0800 CST

Quais strings são aceitas pelo padrão "^[ab]?|c?$"?

  • 3

O que reuni até agora:

  1. ^ -> corresponde ao primeiro símbolo
  2. $ -> corresponde ao último símbolo
  3. [] -> conjunto de caracteres que podem estar na posição
  4. | -> o operador "OR"
  5. ? -> a condição anterior é opcional

O que eu acho que o padrão significa:
a linha deve começar com an aou a bou terminar com a cou deve ser uma string vazia. Estou tendo problemas para desenhar o DFA para o padrão. O que está me confundindo é o símbolo "opcional". Não consigo entender quais strings não serão aceitas no idioma.


Alguém pode me apontar na direção certa?

pattern-matching
  • 1 respostas
  • 17 Views

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Reformatar números, inserindo separadores em posições fixas

    • 6 respostas
  • Marko Smith

    Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não?

    • 2 respostas
  • Marko Smith

    Problema com extensão desinstalada automaticamente do VScode (tema Material)

    • 2 respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Martin Hope
    Fantastic Mr Fox Somente o tipo copiável não é aceito na implementação std::vector do MSVC 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant Encontre o próximo dia da semana usando o cronógrafo 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor O inicializador de membro do construtor pode incluir a inicialização de outro membro? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul O C++20 mudou para permitir a conversão de `type(&)[N]` de matriz de limites conhecidos para `type(&)[]` de matriz de limites desconhecidos? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann Como/por que {2,3,10} e {x,3,10} com x=2 são ordenados de forma diferente? 2025-01-13 23:24:07 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve