Problem Consider the following C#/C interop scenario: public static extern IntPtr lua_newstate(); public static extern void lua_close(IntPtr state); IntPtr luaState […]
Tag: type-safety
Area under curve
Problem The following code is a solution to a Hackerrank problem in Haskell. Given a list of polynomial coeficients a […]
Functions that build a path to the model and command files for some tests
Problem I’m currently working in a model-based testing tool. I’m writing some integration tests for it, which require two kind […]
A type for prime numbers
Problem I have recently discovered that in type theory there is a concept of a “predicate type” which is a […]
Type creator service & framework
Problem I needed a mechanism for creating types dynamicaly from strings and bytes etc. I tried really hard to use […]
RSA wrapper python
Problem #!/usr/bin/env python3 ”’ Asymmetric criptography of chat messages. ”’ #TODO: implement perfect foreward secrecy #Because of forward secrecy an […]
Function that checks if array only contains elements of a specific type
Problem The function checks whether an array is of a specific type (only contains elements of that type), the types […]
Designing a Variable Set
Problem In my application, I need to allow the user to store variables. Variables can only be of specific types, […]
Type converter framework (v2)
Problem This is the second version of my type converter framework. The the previous one can be found here: Type […]
Revisited IsTypeSafe method implementation for “type-safe” List
Problem Following up on List<T> implementation for VB6/VBA, I’d like some thoughts about the revisited IsTypeSafe function, below. The previous […]