# Reason

A programming language built on OCaml's type system that compiles to native code, bytecode, and JavaScript.

This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles.

## Advent of Hardcaml

DevFeed: [Advent of Hardcaml](<https://devfeed.tech/articles/advent-of-hardcaml-20150.md>)

Original publisher: [Read original article](<https://blog.janestreet.com/advent-of-hardcaml-2024/>)

Author: Anish Singhani

Published: 2025-03-22T00:00:00Z

Content type: article

Language: en

Sources: [Jane Street](<https://devfeed.tech/sources/jane-street.md>)

Topics: [Advent of Code](<https://devfeed.tech/topics/advent-of-code.md>), [fpga](<https://devfeed.tech/topics/fpga.md>), [Reason](<https://devfeed.tech/topics/reason.md>), [Programming](<https://devfeed.tech/topics/programming.md>), [Algorithms](<https://devfeed.tech/topics/algorithms.md>), [Simulation](<https://devfeed.tech/topics/simulation.md>), [Open Source](<https://devfeed.tech/topics/open-source.md>)

Tags: [advent-of-code](<https://devfeed.tech/tags/advent-of-code.md>), [algorithms](<https://devfeed.tech/tags/algorithms.md>), [fpga](<https://devfeed.tech/tags/fpga.md>), [ocaml](<https://devfeed.tech/tags/ocaml.md>), [open-source](<https://devfeed.tech/tags/open-source.md>), [programming](<https://devfeed.tech/tags/programming.md>), [simulation](<https://devfeed.tech/tags/simulation.md>), [software](<https://devfeed.tech/tags/software.md>)

### AI overview

A Jane Street developer describes implementing Advent of Code 2024 puzzles on an FPGA using Hardcaml, an open-source hardware description language embedded in OCaml. The article discusses adapting algorithms to FPGA constraints and using Hardcaml for simulation, RTL compilation, hardware design, and synthesis.

### Source excerpt

Update: For the 2025 Advent of Code, we ran an Advent of FPGA Challenge where we invited the community to implement their own synthesizable solutions to this year's puzzles! We got over 200 submissions spanning a wide variety of HDL languages and hardware platforms, check out our favorite solutions in the results blog post

## Calling Procedures with Default Parameters using JDBC or jOOQ

DevFeed: [Calling Procedures with Default Parameters using JDBC or jOOQ](<https://devfeed.tech/articles/calling-procedures-with-default-parameters-using-jdbc-or-jooq-28932.md>)

Original publisher: [Read original article](<https://blog.jooq.org/calling-procedures-with-default-parameters-using-jdbc-or-jooq/>)

Author: lukaseder

Published: 2022-10-21T14:35:39Z

Content type: tutorial

Language: en

Sources: [jOOQ](<https://devfeed.tech/sources/jooq.md>)

Topics: [Code](<https://devfeed.tech/topics/code.md>), [Reason](<https://devfeed.tech/topics/reason.md>), [SQL](<https://devfeed.tech/topics/sql.md>), [Oracle Database](<https://devfeed.tech/topics/oracle-database.md>), [PostgreSQL](<https://devfeed.tech/topics/postgresql.md>)

Tags: [db2](<https://devfeed.tech/tags/db2.md>), [default-parameters](<https://devfeed.tech/tags/default-parameters.md>), [java](<https://devfeed.tech/tags/java.md>), [jdbc](<https://devfeed.tech/tags/jdbc.md>), [jooq](<https://devfeed.tech/tags/jooq.md>), [jooq-in-use](<https://devfeed.tech/tags/jooq-in-use.md>), [oracle](<https://devfeed.tech/tags/oracle.md>), [pl-pgsql](<https://devfeed.tech/tags/pl-pgsql.md>), [pl-sql](<https://devfeed.tech/tags/pl-sql.md>), [postgresql](<https://devfeed.tech/tags/postgresql.md>), [sql-server](<https://devfeed.tech/tags/sql-server.md>), [stored-functions](<https://devfeed.tech/tags/stored-functions.md>), [stored-procedures](<https://devfeed.tech/tags/stored-procedures.md>), [syntax](<https://devfeed.tech/tags/syntax.md>)

### AI overview

This tutorial explains how to call stored procedures with default parameters using JDBC or jOOQ. It shows how directly instantiating a procedure call allows Java code to omit parameters that have database-side defaults, and notes that syntax varies across supported relational database systems.

### Source excerpt

Using jOOQ's code generator to call stored procedures is a popular reason to use jOOQ. For example, when you have a procedure like the following Oracle PL/SQL procedure: jOOQ will generate code for you to call very simply, like this: This will execute the following, taking care of binding all IN and OUT parameters for ... Continue reading Calling Procedures with Default Parameters using JDBC or jOOQ ->

## Exploring Reason and GraphQL

DevFeed: [Exploring Reason and GraphQL](<https://devfeed.tech/articles/exploring-reason-and-graphql-23295.md>)

Original publisher: [Read original article](<https://www.apollographql.com/blog/exploring-reason-and-graphql-ff877df60d2a>)

Author: James Baxley III

Published: 2018-01-04T22:07:36Z

Content type: article

Language: en

Sources: [Apollo Blog](<https://devfeed.tech/sources/apollo-blog.md>)

Topics: [Reason](<https://devfeed.tech/topics/reason.md>), [OCaml](<https://devfeed.tech/topics/ocaml.md>), [GraphQL](<https://devfeed.tech/topics/graphql.md>), [JavaScript](<https://devfeed.tech/topics/javascript.md>), [Programming](<https://devfeed.tech/topics/programming.md>), [TypeScript](<https://devfeed.tech/topics/typescript.md>)

Tags: [backend](<https://devfeed.tech/tags/backend.md>), [graphql](<https://devfeed.tech/tags/graphql.md>), [javascript](<https://devfeed.tech/tags/javascript.md>), [ocaml](<https://devfeed.tech/tags/ocaml.md>), [programming](<https://devfeed.tech/tags/programming.md>), [programming-language](<https://devfeed.tech/tags/programming-language.md>), [typescript](<https://devfeed.tech/tags/typescript.md>)

### AI overview

The article describes an exploration of ReasonML, a programming language built on OCaml and compiled to JavaScript. It applies Reason to rebuilding a GraphQL endpoint and discusses modules, type definitions, and immutable fields, with TypeScript as a comparison point.

### Source excerpt

Over the holiday break, while the in-laws slept soundly and not a child was making a peep, I had the chance to play around with ReasonML. Reason is a new programming language built on top of OCaml and designed to be compiled into JavaScript. After spending a couple of years with TypeScript over the development of Apollo, I thought it would be fun to try another compile to JavaScript language. Why Reason?