Phil Wadler: Featherweight Go
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined via erasure, in Go we use monomorphisation. Although monomorphisation is used widely, we are one of the first to formalise it. Our design also supports a solution to The Expres
岡崎体育 『感情のピクセル』Music Video - YouTube
■Major 2nd Album『XXL』http://amzn.asia/binCUvk ダウンロードはこちら→ https://okazakitaiiku.lnk.to/xxl_dl ■「MUSIC VIDEO」が「第20回文化庁メディア芸術祭」で「エンターテインメント部門 新人賞」を受賞した岡崎体育×寿司くんコンビが放つ新MV「感情のピクセル」公開！ ■岡崎体育オフィシャルサイト：http://okazakitaiiku.com ＜プロフィール＞京都在住の男性ソロプロジェクト。地元のスーパーマーケットで働きながら、自身の出自に因んだ音楽スタイル「盆地テクノ（BASIN TECHNO）」を掲げ、2012年より活動を開始。2016年4月に公開した「ミュージックビデオあるある」を題材にした「MUSIC VIDEO」が大きな話題を呼び、同年5月発売のメジャーデビューアルバム『BASIN
Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones
Keynote talk from Erlang USer Conference 2016 http://www.erlang-factory.com/euc2016/ Erlang and Haskell are childhood friends who grew up together. Throughout the years, they have learnt a lot from each other. And just because they have become adults does not mean the learning stops. GHC translates all of Haskell into a tiny but super-expressive intermediate language called Core, does a lot of o
Running a startup on Haskell
Summary Bryan O'Sullivan presents a case study of a small startup that chose Haskell for its server-side code, outlining the advantages and disadvantages of using Haskell to quickly create a solid solution. Bio Bryan O'Sullivan is an Irish hacker, writer, and entrepreneur who lives in San Francisco. He has written books on leading-edge topics in distributed systems and functional programming, inc
Atlas, The Next Generation - YouTube
A new version of Atlas, designed to operate outdoors and inside buildings. It is specialized for mobile manipulation. It is electrically powered and hydraulically actuated. It uses sensors in its body and legs to balance and LIDAR and stereo sensors in its head to avoid obstacles, assess the terrain, help with navigation and manipulate objects. This version of Atlas is about 5' 9" tall (about
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Top 50+ AWS Services Explained in 10 Minutes
Stephanie Weirich: "Strongly Typed System F in GHC"
Simon Peyton Jones & Co | GHC status report
Simon Peyton Jones how GHC type inference engine actually works
Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Rúnar Bjarnason: Adjunctions in Everyday Life
Bringing the Power of Haskell to the JVM by Rahul Muttineni @ Functional Conf 2016
1 07 High Performance Client Side Web Applications through Haskell EDSLs
RustConf 2016
3 01 A Functional Programmer's Guide to Homotopy Type Theory
2016 04 28 - Alexander Bernauer - A Tour of GHC 8 0
Easy Native GUIs in Haskell, Today!
Haskell-1-1
Keynote: Dependently-Typed Haskell - Stephanie Weirich
Add a type parameter! One 'simple' design change, a panoply of outcomes
