This post discusses a Haskell-based project that is the central component of my thesis: a fast, atomic-level structural search engine named "Suns". I will discuss what problem this search engine solves, why I chose Haskell for this project, and what were the pros and cons of my language choice. The Challenge Proteins are amazing molecules that control biology on the molecular level. If you are new
When developing Go packages that rely on specific features of the underlying platform or processor it is often necessary to provide a specialised implementation. Go does not have a preprocessor, a macro system, or a #define declaration to control the inclusion of platform specific code. Instead a system of tags and naming convention defined in the go/build package and supported by the go tool allo
Many other similar functions and operators are available. Composing Lenses Use . and pretend you're using a more mainstream language: outerLens . innerLens. s = [Data.Map.singleton "bob" 7, Data.Map.fromList [("alice", 5), ("kerry", 8)], Data.Map.singleton "harry" 6] t = element 1 . at "kerry" .~ Just 42 $ s -- t = [Data.Map.singleton "bob" 7, -- Data.Map.fromList [("alice", 5), ("kerry", 42)], --
A few months ago we gave a quick overview of our long-term plans with LambdaCube. One of the central elements in this vision is an intermediate representation (IR) that allows us to split the LambdaCube compiler, separating the front-end and back-end functionalities. Currently we’re reorganising the implementation into two packages: one to compile the EDSL to the IR, and the other to execute the I
It’s been a while but in the last post we had a short introduction into functional programming in general. Let’s actually dive into the basic concepts of the language. Single assignment & pattern matching In Erlang we should think variables in a mathematical sense of the term, which means that once you’ve bound a variable, you cannot change its value . If you state that X is 5, then it will always
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く