tim-group/higher-kinded-lifecycle
View on GitHub ↗ ★ 0 Scala
A demonstration of an idea about how to represent the lifecycle of entities in Scala using higher-kinded types
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2016-02-06 · latest 2023-09-22
20082026
-
Time to re-pimp my idea of doing this using a single type parameterised to reflect different states: https://github.com/tim-group/higher-kinded-lifecycle/blob/ma...
comment by twic · 2023-09-22 · in Using enums to represent state in Rust -
I proposed using it to model lifecycles of entities: https://github.com/tim-group/higher-kinded-lifecycle/blob/ma... (in this code, "idea" is a domain concept from the firm i worked for at the time - basically a recommendation to buy a…
comment by twic · 2021-02-26 · in Rust const generics MVP hits beta -
…and I had a go at solving this using a higher-kinded type for the ID and other changing fields: https://github.com/tim-group/higher-kinded-lifecycle/blob/ma... The idea is that if you say that the ID is of type 'T of String, where T is…
comment by twic · 2016-02-06 · in Diesel: A Safe, Extensible ORM and Query Builder for Rust