Inkyrius

The Girl Anachronism

 


 
This place is not a place of honour. No highly esteemed deed is commemorated here. Nothing valued is here.

 
Inkyrius or Inky or Kyrie are all fine.
Girl with a dash of Void.

 
Queer Trans Nerd. Mostly Harmless.
Interests include programming, formerly Minecraft modding, conlangs, worldbuilding, maps, typography, etc.

 



You must log in to comment.

in reply to @prophet's post:

i actually tried something one time. the original idea was to have a fairly generic description of categories and functors and just describe as much as possible in terms of that; that way youd be better able to program in different types of categories. even wanted to work on a custom syntax for it - some do-notation equivalent - but i didnt really end up getting around to it

unfortunately ghc the type checker limitations and compiler errors piled on until i just completely lost motivation on the project. so i decided to just make it a programming language instead x3

i think alternative preludes rock. let me know if its alright for me to add a Lattice typeclass so i dont have to keep going through the whole rigmarole of importing prelude to hide (||), then importing prelude qualified, and then redefining (||) just to make it work with predicates :3

(i seriously do not understand how ghc has been around for 3 decades and we still dont have this)

(and i apologize in advance for anything stupid i do in github im not really used to this thing xP)