A Fluid, PolyMorphic,and shapeless Types Package that activates radically flexiblity and simplicity in your programs
You can install the package using pip
pip install shapelessHere's a simple example of how to use the Poly class:
from shapeless import Poly
# Create a Poly object with an integer
p = Poly(10)
# Determine the type of the data
print(p.determine()) # <class 'int'>
# Shift the data to a string
print(p.shift(str)) # '10'
# Validate that the data is a string
print(p.validate(str)) # TrueYou can also use Poly as a type hint in your functions:
from shapeless import Poly
def my_func(a: Poly):
print(type(a))
# Create a Poly object with a string
p = Poly('10')
# Pass the Poly object to my_func
my_func(p) # <class '__main__.Poly'>With the shapeless decorator you can wrap entire classes and transform all their variables into the Poly type!
from shapeless import shapeless
@shapeless
class SimpleClass:
def __init__(self, x, y):
self.x = x
self.y = y
def add(self):
return self.x + self.y
sc = SimpleClass(1, 2)
print(sc.add()) # prints 3Fluid is like the shapeless decorator but for classes, just wrap it around your function to transform all the variables to the Poly shapeless type.
from shapeless import fluid
@fluid
def add(a, b):
return a.data + b.data
print(add(1, 2))
print(add("hello", 'world'))- The
liquiddecorator acts likedataclassbut makes all the types thePolytype!
from shapeless import liquid
#define the liquid decorator
@liquid
class MyClass:
x = 1
y = "hello"
def run(self):
print(type(self.x))
obj = MyClass()
print(type(obj.x))
print(type(obj.y))
obj.run()Shapeless is a powerful tool for creating fluid programs because it allows developers to handle data types dynamically and polymorphically. This means that the same class or function can handle different types of data, making the program more flexible and versatile.
Shapeless also provides thread safety, which is crucial for multi-threaded applications. This ensures that the data remains consistent and prevents race conditions.
Furthermore, Shapeless provides logging, type aliasing, type annotation, type extension, and serialization and deserialization features. These features make it easier to write, debug, and understand the code, and they allow developers to create more complex and flexible data structures.
In conclusion, Shapeless is a powerful tool for creating fluid programs that can handle a wide range of data types and that are safe, flexible, and easy to understand.
-
Dynamic Type Handling 🔄: Poly and Shapeless allow developers to handle data types dynamically. This means that the type of data can be determined, selected, shifted, validated, aliased, annotated, extended, serialized, and deserialized on the fly.
-
Thread Safety 🔒: Both Poly and Shapeless provide thread safety, which is crucial for multi-threaded applications. This ensures that the data remains consistent and prevents race conditions.
-
Logging 📝: With the verbose option, all operations can be logged. This is useful for debugging and understanding the flow of data and operations in the program.
-
Polymorphism 🐾: Poly and Shapeless make it easy to create polymorphic classes and functions. This means that the same class or function can handle different types of data, making the program more flexible and versatile.
-
Type Aliasing 🏷️: Poly allows developers to add aliases for types. This can make the code more readable and easier to understand.
-
Type Annotation 🖊️: Poly provides a method to annotate the data with a type. This can be useful for static type checking and for making the code more self-explanatory.
-
Type Extension 🧩: With Poly, the type of the data can be extended with a new type. This allows developers to create more complex and flexible data structures.
-
Serialization and Deserialization 💾: Poly provides methods to serialize and deserialize the data. This is useful for saving and loading data, and for sending and receiving data over a network.
In today's world, programming languages are often divided into statically-typed and dynamically-typed. While statically-typed languages provide type safety and performance benefits, they often lack the flexibility and simplicity that dynamically-typed languages offer. This has led to a growing demand for tools that can bring the benefits of both worlds together.
We believe the future of programming lies in the ability to handle types in a fluid and flexible manner, without sacrificing the benefits of static typing. However, achieving this is not easy. It requires a deep understanding of both static and dynamic typing, as well as the ability to create a tool that is easy to use, performant, and thread-safe.
Many have tried to solve this problem, but none have succeeded. The challenge lies in creating a tool that is both powerful and simple to use. It requires a radical new approach, one that is not constrained by the traditional boundaries of static and dynamic typing.
That's where Poly comes in. Our secret is our deep understanding of the problems with static types. As creators of multi-modality and fluid intelligences with no defined shape, we have the unique insight and expertise needed to solve this problem. We have created a tool that allows you to handle dynamic types in a flexible and thread-safe manner, without sacrificing the benefits of static typing.
We are confident that Poly is the best solution to this problem. With our unique approach and deep expertise, we are perfectly positioned to bring this vision to life. Join us on this journey and experience the future of programming today.
MIT