17 posts tagged: Tutorial
Type safe Django app, Part 3
In Part 2 we got a taste of using returns and created our first model methods. In this part, we will build out views that interact with databases and learn how to combine returns containers. This composition is the key to effectively using container types and where we will see the benefits of all our work.
Type safe Django app, Part 2
In Part 1 of this series, we looked at how to setup a python project with types, setup our project, and used some basic types. In this part we will start working with the database, implement custom database methods, and look at how to use returns to improve the safety of those methods.
Type safe Django app, Part 1
Django is a great framework for web development. Unfortunately, due to the nature of Python and web development in general, it often leads to hard to track down bugs and tangled code. We will take a look at one way to reign this in.
Django with Hy
Hy introduces a List that gives you all the power of macros and the elegant Lisp syntax while enabling the full power of Python.
CLI commands in Emacs
A few months ago, Gabriel Gonzalez wrote an excellent article on creating useful tools with Haskell. He used an example of a small CLI tool that aligns the equals signs of a multi-line text input. The article wrapped up by integrating this tool into vim.
Hierarchies in Hakyll
Creating hierarchy in a blog is a useful technique. It allows you to have different sections by type of content. It lets users navigate by their interests quickly. It makes your blog organized.