val dc = person {
  info {
    name = "Dylech30th"
    job = listOf(Student, SoftwareEngineer(ClientEngineer.of(Android, iOS, Windows, MacOS)))
    languages = listOf(English, Chinese, French, Latin.apply { +isLearning })
    pronouns("He" `or` "His")
    interests(Comparison.ORDERED) { +TypeTheory; +CategoricalSemantics; +Bangumi; +Programming; }
  }
  progammingSkills(Comparison.UNORDERED) {
      +Kotlin; +CSharp; +Scala; +OCaml; +FSharp; +Java; +Idris
  }
  social {
    website = Url("https://sora.ink")
    twitter = "@dylech30th"
  }
}
@JvmStatic
fun main() {
  dc.greet()
}

I'm Dylech30th, a student majoring applied mathematics who is passionate about theoretical computer science, you can call me dc for brevity. I'm willing to make new friends and often share my notes and essays at my blog, welcome to pay a visit if you want to contact me or want to make friends with me:).

• ⌨️ I love modern languages with exquisite design, such as C#, Scala, Haskell, and ML dialects like OCaml/F#. I'd like to cast criticisms on languages that are too conservative to explore practical features like Java and languages that tend to mix too many concepts from different realms but don't have a clue about how to arrange them in a reasonable way like C++.
• 🪓 I believe there are Good Designs and Bad Designs, which makes me not agree with the slogan "All languages are created equal" and "There is no good or bad between languages, only fit or not".
• 📖 I love reading books, currently I'm reading the papers about Algebraic Effects and Lawvere Theories.
• 📜 From a theoretical perspective, I love to explore the connections between math, CS, and linguistics from a high perspective, which means that: We make things categorical and study them structurally.
• 🔨 From a practical perspective, I love Compiler Construction, and Virtual Machine.

I'm the core developer of Pixeval, a third-party Pixiv client running on Windows and built atop of .NET 6 and WinUI 3, it took most of my free time, give a star if you are interested in it, and you can sponsor me if you like it

本物?偽物？

Utter garbage, this account hereby adheres to producing the State-of-the-art Shitcode.