DDraceNetwork
DDraceNetwork / off-topic
Any languages allowed
Between 2024-10-11 00:00 and 2024-10-12 00:00
1
3
Tower of god it's style is pretty unique so not everyone likes/ it - but the manga was banger and i like the story.
Frieren is a feel good anime, it's just a cozy story.
Wind Breaker is one that i personally liked, it's basically Baki in not so overpowered but fun 
1
1
1
1
1
let rec occurs : tv ref -> typ -> unit = fun tvr -> function
| TVar tvr' when tvr == tvr' -> failwith "occurs check"
| TVar ({contents = Unbound (name,l')} as tv) ->
let min_level =
(match !tvr with Unbound (_,l) -> min l l' | _ -> l') in
tv := Unbound (name,min_level)
| TVar {contents = Link ty} -> occurs tvr ty
| TArrow (t1,t2) -> occurs tvr t1; occurs tvr t2
| _ -> ()
let rec occurs : tv ref -> typ -> unit = fun tvr -> function
| TVar tvr' when tvr == tvr' -> failwith "occurs check"
| TVar ({contents = Unbound (name,l')} as tv) ->
let min_level =
(match !tvr with Unbound (_,l) -> min l l' | _ -> l') in
tv := Unbound (name,min_level)
| TVar {contents = Link ty} -> occurs tvr ty
| TArrow (t1,t2) -> occurs tvr t1; occurs tvr t2
| _ -> () 
1
usize would you think the creator of the language is an idiot or is it ok? xd T* + usize? 
1 1
T* + usize? 
ptr + x == (T *)((char *)ptr + x * sizeof ptr) from C?
ptr + x == (T *)((char *)ptr + x * sizeof ptr) from C? ptr + x == (T *)((char *)ptr + x * sizeof ptr) from C? 
removed from mod
i++ or ++i? i++ unless I need a precrement specificallyi++ or ++i? 
ptr + x == (T *)((char *)ptr + x * sizeof ptr) from C? ptr - ptr? 
usize? 
.
but pretty much stopped programming. Maybe I'll get on it some time
1
