Welcome

Is Not the Assignment Always Executed in Ruby?

Sat, 29 Mar 2025 12:44:35 +0900

I’m reading the pickaxe book to increase my command of the Ruby programming language. Now I came accross a point in the book that confuses me and I would like to confirm whether I am understanding correctly.

In the section Loops and Iterators > Variable Scope, Loops and Blocks of Chapter 9, the authors explain the scoping rules for blocks such as those used by loop and each saying

Normally the local variables created in these blokcs aren’t accessible outside the block; […] But, if at the time the block executes a local variable already exists with the same name as that of a variable in the block, the existing local varible will be used in the block. So its value will be available after the block finishes.

Write You a Programming language for Computable Functions: Syntax

Tue, 11 Oct 2022 07:17:55 +0900

This post is the first one in a series where I will walk through the implementation of an untyped version of PCF¹ in Haskell.

I will extend the original PCF with constant naturals, the basic arithmetic operations \(+, -, \times, /\), a list datatype with the primitive functions cons, head, tail and null. In addition, I add let ... in ... and let rec ... in ... constructs as syntactic sugar.

Reasoning with the HERMIT: Tool support for equational reasoning on GHC Core programs

Mon, 01 Feb 2021 08:43:25 +0900

Hurrah! This is my first post… It’s a report on my reading the paper

Andrew Farmer, Neil Sculthorpe, and Andy Gill. 2015. Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. In Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell (Haskell ‘15). Association for Computing Machinery, New York, NY, USA, 23–34.

Prelude

Equational Reasoning

Let’s set the stage with some examples from [1]. We can use the algebraic laws

Hello, Call Me Faustin

Wed, 30 Sep 2020 00:00:00 +0000

I am from Côte d’Ivoire in West Africa. I live in Japan.

I am a Software Engineer interested in the formal semantics of Programming Languages and the implementation of reliable and secure Distributed Systems both in research and in industry.

I am presently at Money Forward, Inc.. Before that I wrote code for datagusto Inc..