GitHub - augustss/MicroHs: Haskell implemented with combinators
This repository contains an implementation of an extended subset of Haskell. It uses combinators for the runtime execution. The runtime system has minimal dependencies, and can be compiled even for micro-controllers. The boards/ directory contains some samples, e.g., some sample code for an STM32F407G-DISC1 board. The compiler can compile itself. There are two different ways to compile MicroHs: Us
Micro C, Part 0: Introduction – Joseph Morag
In this series, we will explore how to write a compiler for a small subset of C to LLVM in Haskell. Our language, Micro C, is basically a small subset of real C. We'll have basic numeric types, a real bool type, pointers, and structs. At the end of the series, we'll have a beautiful executable, mcc (Micro C Compiler), that takes one .mc source file and produces an executable. Why another LLVM tuto
Micro C, Part 1: Parsing – Joseph Morag
Welcome to the beginning of the compiler proper! If you haven't yet, check out part 0 for a description of the project and help setting up the development environment. A note about the presentation structure: We will be going through each phase of the compiler mostly in its entirety before moving onto the next phase. Most other tutorials and books don't do this. Instead, they build up the language
Haskellにインラインアセンブリを書く - Qiita
先日 inline-c という、Haskellのソースの中にインラインでCのコードを書けるようにするパッケージがリリースされました。これまでの類似のパッケージよりも使いやすい感じで、愚直にFFIを書いたり、ブリッジライブラリを書いたり使ったりするよりやっぱり楽なもんだなあと感心していたんですが、これってもしかしたらインラインのCのインラインにアセンブリ書けば、Haskellに直接インラインでアセンブリを書くこともできるんじゃないか？と、ふと思ったので、やってみたら普通にできましたという話です。 inline-c inline-c に関しては、GitHubレポジトリに丁寧な README.md があるので、詳しくはこちらを見てくださいというところなんですが、せっかくなので少し試してみましょうか。 {-# LANGUAGE QuasiQuotes #-} import qualified La
Ivory - index
Ivory Language The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell. The Ivory Language compiler is open source software. It is available on github and on hackage: We have two technical papers about Ivory, one covering the language itself and one describing our experiences in building a high-assurance autopilot using Ivory:
libc considered harmful
April 1, 2014 - ViperVM, C, libc, Haskell For my ViperVM project, I want to be able to manage memory at a very low-level (pinning pages into RAM, using custom allocator instead of malloc, allocating huge pages, setting execution flag, etc.). However using system calls through the legacy libc interface from Haskell is not appealing and imposes some constraints because the libc is unnecessarily stat
Haskell from C: Where are the for Loops? - FP Complete
If you’re coming from a language like C, Haskell can take some getting used to. It’s typical for a new language to feel a little different, but in Haskell the differences are more dramatic, and more fundamental. In particular… Where are the for loops? In most imperative languages, for loops are all over the place, and are used for a wide variety of different things. Whether you’re squaring every v
When Haskell Is Not faster than C · Jacques Mattheij
This article is in response to an earlier one comparing Haskell and C, which made the claim that Haskell beats out C when it comes to speed. On a Hacker News thread I made the bold claim that the C code is rife with problems and that it is tempting to fix it. I’ve earned a good part of my life’s income to date taking other people’s C code, cleaning it up, making it work and then making it work bet
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - jameysharp/corrode: C to Rust translator
GitHub - ifesdjeen/haskell-ffi-tutorial: A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop
https://kwangyulseo.com/2014/01/28/calling-c-library-functions-dynamically-in-haskell/
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/haskell-beats-C.pdf?from=https://research.microsoft.com/en-us/um/people/simonpj/papers/ndp/haskell-beats-C.pdf&type=exact