Danila Fedorin
8f0f2eb35e
Finish up the Coq Advent of Code post.
7 hours ago
Danila Fedorin
234b795157
Add Coq advent of code post.
1 day ago
Danila Fedorin
e317c56c99
Add some shortcodes for making the game theory post nicer.
3 weeks ago
Danila Fedorin
29d12a9914
Publish new Idris post.
1 month ago
Danila Fedorin
b459e9cbfe
Update typesafe imperative language post draft.
1 month ago
Danila Fedorin
52abe73ef7
Make the typesafe imperative language work properly.
1 month ago
Danila Fedorin
f0fe481bcf
Add post about the typesafe imperative language.
1 month ago
Danila Fedorin
222446a937
Add non-color indication to highlighted lines.
1 month ago
Danila Fedorin
e7edd43034
Add draft warning.
2 months ago
Danila Fedorin
2bc2c282e1
Revert "Experimentally enable shortcodes"
This reverts commit 5cc92d3a9d
2 months ago
Danila Fedorin
5cc92d3a9d
Experimentally enable shortcodes
2 months ago
Danila Fedorin
4be8a25699
Add a label to codelines that includes the source file.
2 months ago
Danila Fedorin
d3421733e1
Update resume.
2 months ago
Danila Fedorin
4c099a54e8
Publish part 13.
2 months ago
Danila Fedorin
9f77f07ed2
Finish 13th part of the compiler series.
2 months ago
Danila Fedorin
04ab1a137c
Mark 13th post as draft
2 months ago
Danila Fedorin
53744ac772
Fix wording
2 months ago
Danila Fedorin
50a1c33adb
Adjust code lines.
2 months ago
Danila Fedorin
d153af5212
Get rid of more constructors and make mangled names optional.
2 months ago
Danila Fedorin
a336b27b6c
Remove unneeded explicit calls to std::string
2 months ago
Danila Fedorin
97eb4b6e3e
Fix silent error in set_mangled_name
2 months ago
Danila Fedorin
430768eac5
Add a TODO to part 13.
2 months ago
Danila Fedorin
5db864881a
Fix use of wrong environment for name mangling.
2 months ago
Danila Fedorin
d3b1047d37
Renamed the file since we have no optimization.
2 months ago
Danila Fedorin
98cac103c4
Update blog post, switching away from two sections.
2 months ago
Danila Fedorin
7226d66f67
Remove the parent method from type_env.
2 months ago
Danila Fedorin
8a352ed3ea
Roll back optimization changes.
2 months ago
Danila Fedorin
02f8306c7b
Use an instruction instead of a special-case boolean instruction.
2 months ago
Danila Fedorin
cf6f353f20
Change tagging to assume sign extension.
ARM and x86_64 require "real" pointers to be
sign-extended in their top bits. This means
a working pointer is guaranteed to have either "11"
as leading bits, or "00". So, to tag a "fake" pointer
which is an unboxed 32-bit integer, we simply toggle
the leading bit.
2 months ago
Danila Fedorin
7a631b3557
Make a few more things classes.
2 months ago
Danila Fedorin
5e13047846
Make global scope a class.
2 months ago
Danila Fedorin
c17d532802
Make type_mgr a class.
2 months ago
Danila Fedorin
55e4e61906
Make mangler a class and reformat graph.
2 months ago
Danila Fedorin
f2f88ab9ca
Make env a class.
2 months ago
Danila Fedorin
ba418d357f
Make type_env a class.
2 months ago
Danila Fedorin
0e3f16139d
Make llvm_context a class.
2 months ago
Danila Fedorin
55486d511f
Make some refactors for name mangling and encapsulation.
2 months ago
Danila Fedorin
6080094c41
Require mangled names for global variables.
2 months ago
Danila Fedorin
6b8d3b0f8a
Refactor errors and update post draft.
2 months ago
Danila Fedorin
725958137a
Factor type into case strategy constructor.
2 months ago
Danila Fedorin
1f6b4bef74
Start working on part 13 of compiler series.
2 months ago
Danila Fedorin
fe1e0a6de0
Switch to using FILE* and default YY_INPUT.
2 months ago
Danila Fedorin
1f3c42fc44
Change constructor visibility to global.
Constructors are always effectively global.
2 months ago
Danila Fedorin
8bf67c7dc3
Merge branch 'master' of https://dev.danilafe.com/Web-Projects/blog-static into master
2 months ago
Danila Fedorin
13214cee96
Try out unboxing integers.
2 months ago
Danila Fedorin
579c7bad92
Enable more syntax.
2 months ago
Danila Fedorin
f00a6a7783
Actually use the environment for binop functions.
2 months ago
Danila Fedorin
2a81fdd9fb
Stop using mangled names for local variables.
2 months ago
Danila Fedorin
17c59e595c
Add assertion regarding local name mangling.
2 months ago
Danila Fedorin
ad2576eae2
Move common code into loops.
2 months ago
