Our great sponsors
-
In Klister, which already has Scheme-like macros and Haskell-like types (polymorphism, algebraic types and higher-kinded types, but not yet fancier types like RankNTypes and GADTs), our plan to get the best of both worlds (lexical syntax and typed ASTs) is to separate parsing from macro evaluation. That is, users write their programs using the surface syntax of s-expressions, parsers parse those into typed ASTs, and macros are typed by the type of the ASTs they receive as input and produce as output. At this stage this is only a research idea, I don't know if that's going to work out yet, but I hope so!
-
In the video, the presenter says he doesn't know any other system with "type-aware hygienic macros". You may want to have a quick look at Scala 3, which also has such a system. See, for instance, this paper and also the precursor work by myself for Scala 2: https://github.com/epfldata/squid#publications
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Related posts
- Running tests from emacs
- Going into year 2 of Software Development Foundation Degree, have a particular liking for OOP and SQL, any tips, info or pointers on where to go from there?
- How to implement `if-else if -else if -else` with cat effect IO in Scala?
- Tmux, NeoVim, etc. to write pure Kotlin code?
- Type erased on implicit evidence check