Ivo Gabe de Wolff

TypeScript - Javascript programmer; Open source projects: gulp-typescript - Brackets-icons

[PLRG :: Bristol @PLRG_bristol]

A massive thank you to @ivogabe for giving us a great talk yesterday on functional parallel array programming.
Hope you enjoyed visiting!

[Gabriele Keller @gckeller]

A new release of our parallel Haskell library/EDSL Accelerate is out, courtesy of @tlmcdonell. Lots of usability improvements, support for sum types, pattern matching - check out the details: https://t.co/0Ejm6LuTjD

[Wouter Swierstra @wouterswierstra]

We're hiring a PhD student to work with @TacticalGrace, @gckeller and myself on compiler verification, interactive theorem proving, smart contract languages, and functional programming. Please consider applying! https://t.co/MbJ40PK8pG

[Gabriele Keller @gckeller]

Our group is also hiring a PhD candidate for an exciting project on differential and probabilistic programming, supervised by Matthijs Vákár, one of the main developers of the Stan programming language. https://t.co/g4cDR1xayb

[Anders Hejlsberg @ahejlsberg]

Fun with functions! Strong typing of variadic higher order functions coming to TypeScript. https://t.co/2hNbTYfJ0I

[Ivo Gabe de Wolff @ivogabe]

gulp-typescript 5.0.0-alpha.1 is released! It includes support for TS2.9, source maps on declaration files and it will crash the gulp process on compiler errors. https://t.co/O4NMoVehIJ

[Ivo Gabe de Wolff @ivogabe]

Turing machines are nice but it takes some time to write them

[Ivo Gabe de Wolff @ivogabe]

Haskell: (==) . reverse. Turing machine:

[TypeScript @typescript]

TypeScript has reached the Top 20 in @redmonk's programming language rankings! https://t.co/HAOzypiltD

[Ivo Gabe de Wolff @ivogabe]

That moment when the whole team is blocked because of line ending issues..

[Ivo Gabe de Wolff @ivogabe]

@SeaRyanC Well we could make it more flexible by adding two flags right?

[Ivo Gabe de Wolff @ivogabe]

@kasgami you might want to take a look at dts-bundle or dts-generate

[Ivo Gabe de Wolff @ivogabe]

@kasgami If you're using AMD or systemjs you can set outFile to get a single .d.ts file. Though I'm not sure whether that's what you want

[Ivo Gabe de Wolff @ivogabe]

Today is the day..

[Ivo Gabe de Wolff @ivogabe]

Tuesday I will present my thesis there on Type Guards in TypeScript and the new control flow based type analysis

[Ivo Gabe de Wolff @ivogabe]

Going to Paris for a week to attend the conferences PEPM and POPL.

[Ivo Gabe de Wolff @ivogabe]

Happy new beer!

[Ivo Gabe de Wolff @ivogabe]

gulp-typescript 3.0 has just been released, following TypeScript 2.0. Breaking changes: https://t.co/yUd7wZewSr

[TypeScript @typescript]

TypeScript 2.0 is here!
https://t.co/AR0R1rJlm2

[Ivo Gabe de Wolff @ivogabe]

@SamVerschueren @typescriptlang TS2 supports `declare module "*";`, which types all unknown modules as any. Is that what you want?