<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Go</title><link>https://blog.ast.moe/en/tags/go/</link><description>Recent posts: Gorimuchu</description><generator>Hugo</generator><item><title>Static analysis of explicit purity constraints in Go: Design and verification of mikoto</title><link>https://blog.ast.moe/en/blog/2026-09-30-2/</link><pubDate>Wed, 30 Sep 2026 22:38:00 +0900</pubDate><guid>https://blog.ast.moe/en/blog/2026-09-30-2/</guid><description>&lt;h2 id="overview"&gt;Overview&lt;/h2&gt;
&lt;p&gt;I created mikoto (&lt;a href="https://github.com/ieee0824/mikoto"&gt;source&lt;/a&gt;), a tool that checks the length of Go functions and the purity constraints explicitly specified for functions. By annotating a function declaration with &lt;code&gt;//mikoto:pure&lt;/code&gt;, it inspects inputs and outputs that use only value types, access to package variables, modifications of referenced objects, pointer indirection, call targets, and so on. The implementation uses Go’s AST and type information, limiting the scope of inspection to function declarations within the same package.&lt;/p&gt;</description></item><item><title>I finally updated the Japanese phone number validation library after a long while.</title><link>https://blog.ast.moe/en/blog/2026-09-28/</link><pubDate>Mon, 28 Sep 2026 12:42:00 +0900</pubDate><guid>https://blog.ast.moe/en/blog/2026-09-28/</guid><description>&lt;p&gt;In 2018 I wrote an article titled “I Want to Validate Phone Numbers.” It was a brief post introducing the newly started &lt;a href="https://github.com/ieee0824/go-tel-num-parser-jp"&gt;go-tel-num-parser-jp&lt;/a&gt; project and showing how to use &lt;code&gt;IsTelNumber&lt;/code&gt;. (&lt;a href="https://blog.ast.moe/blog/2018-11-08/"&gt;source&lt;/a&gt;)&lt;/p&gt;
&lt;p&gt;I made a few more tweaks afterward, but the repository’s updates stopped in 2020. When I revisited it after a long time, I found that the phone number categories were still the same as back then, and there were some issues with the validation method. So, by looking at the currently published number information, I updated the number categories and validation logic (see pull request #4). (&lt;a href="https://github.com/ieee0824/go-tel-num-parser-jp/pull/4"&gt;PR #4&lt;/a&gt;)&lt;/p&gt;</description></item></channel></rss>