java inline_inline-java: 实现从Haskell调用任何JVM函数

最新推荐文章于 2024-01-26 01:12:00 发布

全宇宙的三姐

最新推荐文章于 2024-01-26 01:12:00 发布

阅读量81

点赞数

文章标签： java inline

本文链接：https://blog.csdn.net/weixin_42500477/article/details/114193282

版权

inline-java: Call any JVM function from Haskell

68747470733a2f2f636972636c6563692e636f6d2f67682f74776561672f696e6c696e652d6a6176612e7376673f7374796c653d737667 68747470733a2f2f62616467652e6275696c646b6974652e636f6d2f31343364373762316565633036626238363564363934646265363835663265643737313263616131323835326338383038652e737667

The Haskell standard includes a native foreign function interface (FFI). Using it can be a bit involved and only C support is implemented in GHC. inline-java lets you call any JVM function directly, from Haskell, without the need to write your own foreign import declarations using the FFI. In the style of inline-c for C and inline-r for calling R, inline-java lets you name any function to call inline in your code. It is implemented on top of the jni and jvm packages using a GHC Core plugin to orchestrate compilation and loading of the inlined Java snippets.

Example

Graphical Hello World using Java Swing:

{-# LANGUAGE DataKinds #-}

{-# LANGUAGE QuasiQuotes #-}

{-# LANGUAGE OverloadedStrings #-}

module Main where

import Data.Text (Text)

import Language.Java

import Language.Java.Inline

main :: IO ()

main = withJVM [] $ do

message

[java| {

javax.swing.JOptionPane.showMessageDialog(null, $message);

} |]

Building it

Requirements:

the Stack build tool (version 1.2 or above);

either, the Nix package manager,

or, OpenJDK and Gradle installed from your distro.

On OS X, you'll need to install the Legacy Java SE 6 runtime when prompted, even when using Nix.

To build:

$ stack build

You can optionally get Stack to download a JDK in a local sandbox (using Nix) for good build results reproducibility. This is the recommended way to build inline-java. Alternatively, you'll need it installed through your OS distribution's package manager for the next steps (and you'll need to tell Stack how to find the JVM header files and shared libraries).

To use Nix, set the following in your ~/.stack/config.yaml (or pass --nix to all Stack commands, see the Stack manual for more):

nix:

enable: true

Building the safe interface

There is [an experimental interface][safe-interface] which catches common memory management mistakes at compile time. This interface currently needs a fork of GHC which supports the LinearTypes language extension. Both the GHC fork and the safe interface can be built with:

$ stack --nix --stack-yaml stack-linear.yaml build inline-java

For examples of how to use the safe interface you can check the directory server or the wizzardo-http benchmark.