Stack Overflow
Stack Overflow

Questions tagged [leaky-abstraction]

A leaky abstraction is an implemented abstraction where details and limitations of the implementation leak through.

Abstractions leak due to many reasons, some of which are unforeseen platform compatibility issues, false assumptions, poor API design, and API deprecation.

References

19 questions
0
votes
1 answer

Auto implicit arg stops working when type is given a name

While writing this answer, I noticed that while this works as expected: onlyModBy5 : (n : Nat) -> {auto prf : n `modNat` 5 = 0} -> Nat onlyModBy5 n = n foo : Nat foo = onlyModBy5 25 but as soon as I give a name to the property it stops…
Cactus
  • 27,075
  • 9
  • 69
  • 149
0
votes
1 answer

ProcessingJS and PointerEvents

I’ve read the code of the last stable release of the processing.js library and, as I imagined, since the port is port of the "processing" programming language, there is no sign of support of pointer-events, which would be useful in web…
Giovanni Filardo
  • 1,012
  • 8
  • 14
0
votes
1 answer

How to return T, when I know class which is hidden behind it?

I know that T is List (or List). How should look reflection or something that allow me to return this List of string? public T Deserialize(string response) { //just example string[] words = response.Split(' '); …
Mikaèl
  • 233
  • 3
  • 13
-3
votes
1 answer

Missing template arguments before 's' C++

Well I am doing an assignment but not sure what my problem is this is my assignment Instructions You have two parts to this assignment. The parts are related, but different in their implementation. To better understand the assignment itself, it…
user5717696
  • 5
  • 2
1
2