Profile cover photo
Profile photo
Yawar Amin
135 followers -
I'm a futurist.
I'm a futurist.

135 followers
About
Posts

Post has attachment
Photo
Add a comment...

Post has attachment
BuckleScript Gradual Typing: Incremental Change
IN THE previous
post , I showed a basic example of overlaying an OCaml type over a
dynamically-typed JavaScript function, using BuckleScript's FFI feature.
In this post, I will show a slightly more complex example: binding to
the Web API's Intl . DateTimeFo...
Add a comment...

Post has attachment
Gradual Typing of JavaScript Using BuckleScript
USUALLY when we say 'gradual typing', we mean gradually adding type
annotations to a dynamically typed codebase like JavaScript or Python,
and then running it through a typechecker like Flow/TypeScript/mypy.
However, an equivalent approach is to leave the e...
Add a comment...

Post has attachment
Idiomatic F# Design
HERE are the basic points of idiomatic (according to me) F# design.
The idioms I present below are not the ones generally used in the F#
community; they are fairly controversial. But they are similar
to idioms used in the wider ML languages, and I genuinely...
Add a comment...

Post has attachment
Can F# be liberated from the .NET architecture?
Recently I've been thinking about the delicate situation that the F#
language designers find themselves in whenever they want to introduce
new features (especially semantics) into the language, or whenever the
C# team want to introduce features that may aff...
Add a comment...

Post has attachment
BuckleScript: a significant new OCaml to JavaScript compiler
RECENTLY I've been paying attention to the BuckleScript compiler from OCaml to JavaScript (ES5, to be exact). I'm seeing some
significant advances that it brings to the state of the art, and thought
I would share. A little background: I use Scala.js at work...
Add a comment...

Post has attachment
Nana
NANA is what I called him, but to the world he is the late Lutful Quadir Chowdhury, a well-loved husband, father, grandfather, prominent in the respect he earned from his large extended family, and a highly-regarded elder statesman of the South Asian bankin...
Add a comment...

Post has attachment
The Birkana hexadecimal number symbols
AMONG number systems, the hexadecimal system of counting (or 'radix') has a special place in the hearts of programmers, being closely related to binary, the fundamental number system used by all modern computers. Unlike decimal, which counts ten numbers (0 ...
Add a comment...

Post has attachment
The Essence of Phantom Types in Scala
The phantom of the type opera HEIKO Seeberger over at the Codecentric blog published an interesting post about using Scala's typelevel programming to encode phantom types in a
strict way so that you could tightly control the types that are allowed
to be pha...
Add a comment...

Post has attachment
How does the State monad work?
HANDLING state in a monadic way is one of the techniques Haskellers come to learn about. But how does it work, roughly? The following is a simplified, intuitional explanation of the state monad. It's basically a trick of function currying. Suppose you have ...
Add a comment...
Wait while more posts are being loaded